P
Initializing...
`BookProof.ChapterCPTHamiltonian.MassB_sq` : MassB * MassB = -1 · Prove2Me