`BookProof.ChapterFreeFieldBornQuotient.isQuotientMap_bornMapSphere` : Topology.IsQuotientMap (bornMapSphere n)

Initializing...

`BookProof.ChapterFreeFieldBornQuotient.isQuotientMap_bornMapSphere` : Topology.IsQuotientMap (bornMapSphere n) · Prove2Me