Theorem Finset.sup_const

Modification history