Theorem contMDiff_prod_module_iff

Modification history