`BookProof.ChapterCPTHamiltonian.diracHamOp_conjTranspose` (k : Fin 3 → ℝ) (m1 m2 : ℝ) : (diracHamOp k m1 m2)ᴴ = -diracHamOp k m1 m2

Initializing...

`BookProof.ChapterCPTHamiltonian.diracHamOp_conjTranspose` (k : Fin 3 → ℝ) (m1 m2 : ℝ) : (diracHamOp k m1 m2)ᴴ = -diracHamOp k m1 m2 · Prove2Me