Theorem Finset.sup_singleton_eq_self

Modification history