`BookProof.ChapterFreeFieldBornQuotient.continuous_bornMapSphere` : Continuous (bornMapSphere n)

Initializing...

`BookProof.ChapterFreeFieldBornQuotient.continuous_bornMapSphere` : Continuous (bornMapSphere n) · Prove2Me