Theorem Submodule.factor_comp_apply

Modification history