Theorem Finset.not_nonempty_iff_eq_empty

Modification history