Theorem Finset.sup'_const

Modification history