Theorem Submodule.factor_surjective

Modification history