Theorem Submodule.toLocalizedQuotient'_mk

Modification history