`BookProof.ChapterCPTHamiltonian.MassA_eq_cast` : MassA = (Int.castRingHom ℂ).mapMatrix MassAZ

Initializing...

`BookProof.ChapterCPTHamiltonian.MassA_eq_cast` : MassA = (Int.castRingHom ℂ).mapMatrix MassAZ · Prove2Me