Theorem Submodule.factor_comp

Modification history