Theorem Finset.Nonempty.csSup_eq_max'

Modification history