P
Initializing...
Farrell–Hsiang: $\pi_i\,\mathrm{Diff}(D^n)\otimes\mathbb Q$ in the stable range · Prove2Me