`BookProof.ChapterWignerLittleGroupOrbits.hermOfMom_eq_zero_iff` {p : Fin 4 → ℝ} : hermOfMom p = 0 ↔ ∀ i, p i = 0

Initializing...

`BookProof.ChapterWignerLittleGroupOrbits.hermOfMom_eq_zero_iff` {p : Fin 4 → ℝ} : hermOfMom p = 0 ↔ ∀ i, p i = 0 · Prove2Me