Theorem SmoothBumpCovering.embeddingPiTangent_injective

Modification history