Theorem IsLocalization.coeSubmodule_mono

Modification history