P
Initializing...
`BookProof.ChapterCPTHamiltonian.MassB_conjTranspose` : (MassB)ᴴ = -MassB · Prove2Me