Theorem Finset.Finset.filter_insert

Modification history