Theorem Finset.sup_const_le

Modification history