Theorem SmoothBumpCovering.embeddingPiTangent_coe

Modification history