Theorem Finset.filter_insert

Modification history