Theorem Finset.sup'_div₀

Modification history