Proof — Exotic spheres
Statement
7-sphere with multiple differential structures; differential topology. Proved in ZFC.
Source
Fields Medal 1962. 7-sphere with multiple differential structures; differential topology. Proved in ZFC.
Domains
mathematics