Theorem IsLocalization.coeSubmodule_isPrincipal

Modification history