Def Submodule.prodEquivOfClosedCompl

Modification history