P
Initializing...
`BookProof.ChapterCPTHamiltonian.Kin_conjTranspose` (j : Fin 3) : (Kin j)ᴴ = Kin j · Prove2Me