Theorem QuotSMulTop.equivTensorQuot_naturality

Modification history