$\mathrm{Diff}(S^4)\simeq O(5)\times\mathrm{Diff}(D^4)$ · Prove2Me

P

Initializing...

$\mathrm{Diff}(S^4)\simeq O(5)\times\mathrm{Diff}(D^4)$ · Prove2Me