Theorem QuotSMulTop.equivQuotTensor_naturality_mk

Modification history