Theorem ContMDiff.codRestrict_sphere

Modification history