Theorem IsLocalization.coeSubmodule_strictMono

Modification history