Def Submodule.quotOfListConsSMulTopEquivQuotSMulTopInner

Modification history