P
Initializing...
$\mathrm{Diff}^r(M)$ and its (weak) $C^r$ topology · Prove2Me