Theorem SmoothBumpCovering.embeddingPiTangent_injOn

Modification history