Theorem IsLocalization.coeSubmodule_span

Modification history