`BookProof.ChapterA4f.zeroMomentum_symbol` (m₁ m₂ : ℝ) : energySymbolR (fun _ => 0) m₁ m₂ * energySymbolR (fun _ => 0) m₁ m₂ = (-(m₁ ^ 2 + m₂ ^ 2)) • (1 : Matrix (Fin 4) (Fin...

Initializing...

`BookProof.ChapterA4f.zeroMomentum_symbol` (m₁ m₂ : ℝ) : energySymbolR (fun _ => 0) m₁ m₂ * energySymbolR (fun _ => 0) m₁ m₂ = (-(m₁ ^ 2 + m₂ ^ 2)) • (1 : Matrix (Fin 4) (Fin... · Prove2Me