`BookProof.ChapterCPTHamiltonian.KinZ_anticomm` (i j : Fin 3) (h : i ≠ j) : KinZ i * KinZ j + KinZ j * KinZ i = 0

Initializing...

`BookProof.ChapterCPTHamiltonian.KinZ_anticomm` (i j : Fin 3) (h : i ≠ j) : KinZ i * KinZ j + KinZ j * KinZ i = 0 · Prove2Me