Theorem Finset.eq_empty_or_nonempty

Modification history