Theorem Finset.sups_eq_empty

Modification history