`BookProof.ChapterLorentzTranslation.mass_shell` (w : Fin 3 → ℝ) : gamma w ^ 2

Initializing...

`BookProof.ChapterLorentzTranslation.mass_shell` (w : Fin 3 → ℝ) : gamma w ^ 2 - ∑ i, (w i) ^ 2 = 1 · Prove2Me