Theorem Submodule.mk_quotientEquivOfIsCompl_apply

Modification history