Def Submodule.quotientEquivOfIsCompl

Modification history