P
Initializing...
`BookProof.ChapterCPTHamiltonian.MassA_conjTranspose` : (MassA)ᴴ = -MassA · Prove2Me