`BookProof.ChapterLorentzTranslation.gamma_sq` (w : Fin 3 → ℝ) : gamma w ^ 2 = 1 + ∑ i, (w i) ^ 2

Initializing...

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