`BookProof.ChapterFreeFieldBornQuotient.surjective_bornMapSphere` : Function.Surjective (bornMapSphere n)

Initializing...

`BookProof.ChapterFreeFieldBornQuotient.surjective_bornMapSphere` : Function.Surjective (bornMapSphere n) · Prove2Me