P
Initializing...
`BookProof.ChapterCPTHamiltonian.MassA_sq` : MassA * MassA = -1 · Prove2Me