P
Initializing...
`BookProof.ChapterCPTHamiltonian.MassBZ_sq` : MassBZ * MassBZ = -1 · Prove2Me