Theorem SmoothBumpCovering.comp_embeddingPiTangent_mfderiv

Modification history