`BookProof.ChapterA4h.not_localizable_zeroMomentum` (m₁ m₂ : ℝ) (h : m₁ ^ 2 + m₂ ^ 2 ≠ 0) : ¬ Localizable (fun _ => 0) m₁ m₂

Initializing...

`BookProof.ChapterA4h.not_localizable_zeroMomentum` (m₁ m₂ : ℝ) (h : m₁ ^ 2 + m₂ ^ 2 ≠ 0) : ¬ Localizable (fun _ => 0) m₁ m₂ · Prove2Me