P
Initializing...
Nonsingular smooth homotopy equivalence to the four-sphere is a diffeomorphism · Prove2Me