The chart-defined $C^1$ topology equals the tangent-map $C^1$ topology on $\mathrm{Diff}^1(M)$

Initializing...

The chart-defined $C^1$ topology equals the tangent-map $C^1$ topology on $\mathrm{Diff}^1(M)$ · Prove2Me