Theorem QuotSMulTop.equivQuotTensor_naturality

Modification history