`BookProof.ChapterWignerOrbitClassification.eq_zero_of_energy_zero` {p : Fin 4 → ℝ} (hmass : 0 ≤ minkSq p) (h0 : p 0 = 0) : ∀ i, p i = 0

Initializing...

`BookProof.ChapterWignerOrbitClassification.eq_zero_of_energy_zero` {p : Fin 4 → ℝ} (hmass : 0 ≤ minkSq p) (h0 : p 0 = 0) : ∀ i, p i = 0 · Prove2Me