Theorem Submodule.quotOfListConsSMulTopEquivQuotSMulTopInner_naturality

Modification history