Theorem Finset.Finset.filter_and_not

Modification history