P
Initializing...
Smale: $\mathrm{Diff}(S^2)\simeq O(3)$ · Prove2Me