Theorem Trivialization.contMDiffAt_iff

Modification history