P
Initializing...
Kervaire–Milnor: $|\pi_0\,\mathrm{Diff}(S^6)| = 56$ · Prove2Me