Theorem Finset.sups_nonempty

Modification history