`BookProof.ChapterCPTHamiltonian.MassB_eq_cast` : MassB = (Int.castRingHom ℂ).mapMatrix MassBZ

Initializing...

`BookProof.ChapterCPTHamiltonian.MassB_eq_cast` : MassB = (Int.castRingHom ℂ).mapMatrix MassBZ · Prove2Me