Def Submodule.prodEquivOfIsCompl

Modification history