Theorem Associates.sup_mul_inf

Modification history