Theorem SmoothBumpCovering.embeddingPiTangent_injective_mfderiv

Modification history