Theorem IsLocalization.coeSubmodule_le_coeSubmodule

Modification history