Def Submodule.quotOfListConsSMulTopEquivQuotSMulTopOuter

Modification history