Theorem Submodule.factor_mk

Modification history