`BookProof.ChapterWignerLittleGroup.hermOfMom_det` (p : Fin 4 → ℝ) : (hermOfMom p).det = ((p 0 ^ 2 - p 1 ^ 2 - p 2 ^ 2

Initializing...

`BookProof.ChapterWignerLittleGroup.hermOfMom_det` (p : Fin 4 → ℝ) : (hermOfMom p).det = ((p 0 ^ 2 - p 1 ^ 2 - p 2 ^ 2 - p 3 ^ 2 : ℝ) : ℂ) · Prove2Me