P
Initializing...
`BookProof.ChapterCPTHamiltonian.MassAZ_transpose` : (MassAZ)ᵀ = -MassAZ · Prove2Me