Theorem UniqueMDiffOn.smooth_bundle_preimage

Modification history