P
Initializing...
`BookProof.ChapterPauliFundamental.G_span` : Submodule.span ℂ (Set.range G) = ⊤ · Prove2Me