`BookProof.ChapterLorentzTranslation.properTime_zero` (w : Fin 3 → ℝ) : properTime w 0 (0 : Fin 3 → ℝ) = 0

Initializing...

`BookProof.ChapterLorentzTranslation.properTime_zero` (w : Fin 3 → ℝ) : properTime w 0 (0 : Fin 3 → ℝ) = 0 · Prove2Me