P
Initializing...
`BookProof.ChapterCPTHamiltonian.KinZ_transpose` (j : Fin 3) : (KinZ j)ᵀ = KinZ j · Prove2Me