`BookProof.ChapterA4h.localizable_iff_massShell` (p : Fin 3 → ℝ) (m₁ m₂ : ℝ) : Localizable p m₁ m₂ ↔ p 0 ^ 2 + p 1 ^ 2 + p 2 ^ 2 = m₁ ^ 2 + m₂ ^ 2

Initializing...

`BookProof.ChapterA4h.localizable_iff_massShell` (p : Fin 3 → ℝ) (m₁ m₂ : ℝ) : Localizable p m₁ m₂ ↔ p 0 ^ 2 + p 1 ^ 2 + p 2 ^ 2 = m₁ ^ 2 + m₂ ^ 2 · Prove2Me