`BookProof.ChapterLorentzTranslation.transPhase_zero` (M : ℝ) (w : Fin 3 → ℝ) : transPhase M w 0 (0 : Fin 3 → ℝ) = 1

Initializing...

`BookProof.ChapterLorentzTranslation.transPhase_zero` (M : ℝ) (w : Fin 3 → ℝ) : transPhase M w 0 (0 : Fin 3 → ℝ) = 1 · Prove2Me