P
Initializing...
$\mathrm{Diff}(D^4 \text{ rel } \partial)$ is path-connected · Prove2Me