`BookProof.ChapterWignerLittleGroupOrbits.hermOfMom_injective` {p q : Fin 4 → ℝ} (h : hermOfMom p = hermOfMom q) : ∀ i, p i = q i

Initializing...

`BookProof.ChapterWignerLittleGroupOrbits.hermOfMom_injective` {p q : Fin 4 → ℝ} (h : hermOfMom p = hermOfMom q) : ∀ i, p i = q i · Prove2Me