`BookProof.ChapterFreeFieldBornFiberTwo.bornMapSphere_not_injective` (hn : 0 < n) : ¬ Function.Injective (bornMapSphere n)

Initializing...

`BookProof.ChapterFreeFieldBornFiberTwo.bornMapSphere_not_injective` (hn : 0 < n) : ¬ Function.Injective (bornMapSphere n) · Prove2Me