Theorem SmoothBumpCovering.embeddingPiTangent_ker_mfderiv

Modification history