P
Initializing...
`BookProof.ChapterA4g.transPhase_zero` (p : Fin 3 → ℝ) : transPhase p 0 = 1 · Prove2Me