Theorem Finset.filter_and

Modification history