Theorem IsLocalization.coeSubmodule_sup

Modification history