P
Initializing...
Freedman 1.6, smoothing step — a punctured homotopy four-sphere is almost smooth · Prove2Me