Theorem QuotSMulTop.equivTensorQuot_naturality_mk

Modification history