Theorem Finset.Finset.filter_false_of_mem

Modification history