Theorem Finset.filter_nonempty_iff

Modification history