Theorem Finset.sup_cons

Modification history