Theorem Trivialization.contMDiffOn_iff

Modification history