Theorem IsLocalization.coeSubmodule_fg

Modification history