`BookProof.ChapterLorentzTranslation.gamma_nonneg` (w : Fin 3 → ℝ) : 0 ≤ gamma w · Prove2Me

P

Initializing...

`BookProof.ChapterLorentzTranslation.gamma_nonneg` (w : Fin 3 → ℝ) : 0 ≤ gamma w · Prove2Me