Theorem BumpCovering.contMDiff_toPartitionOfUnity

Modification history