P
Initializing...
`BookProof.ChapterNote68AllModes.norm_stdVec` (i : Fin 3) : ‖stdVec i‖ = 1 · Prove2Me