Theorem Diffeomorph.toPartialHomeomorph_mdifferentiable

Modification history