P
Initializing...
`BookProof.ChapterCPTHamiltonian.MassBZ_transpose` : (MassBZ)ᵀ = -MassBZ · Prove2Me