Theorem Finset.filter_empty

Modification history