`BookProof.ChapterA4g.transPhase_abs` (p a : Fin 3 → ℝ) : ‖transPhase p a‖ = 1 · Prove2Me

P

Initializing...

`BookProof.ChapterA4g.transPhase_abs` (p a : Fin 3 → ℝ) : ‖transPhase p a‖ = 1 · Prove2Me