`BookProof.ChapterA4h.not_localizable_of_tachyon` (p : Fin 3 → ℝ) (m₁ m₂ : ℝ) (h : p 0 ^ 2 + p 1 ^ 2 + p 2 ^ 2 < m₁ ^ 2 + m₂ ^ 2) : ¬ Localizable p m₁ m₂

Initializing...

`BookProof.ChapterA4h.not_localizable_of_tachyon` (p : Fin 3 → ℝ) (m₁ m₂ : ℝ) (h : p 0 ^ 2 + p 1 ^ 2 + p 2 ^ 2 < m₁ ^ 2 + m₂ ^ 2) : ¬ Localizable p m₁ m₂ · Prove2Me