Theorem Submodule.quotientEquivOfIsCompl_apply_mk_coe

Modification history