P
Initializing...
`BookProof.ChapterCPTHamiltonian.Kin_sq` (j : Fin 3) : Kin j * Kin j = 1 · Prove2Me