Theorem Finset.filter_true

Modification history