Theorem Finset.Finset.filter_erase

Modification history