Theorem Finset.sup'_mul₀

Modification history