Theorem Finset.sup'_le

Modification history