Theorem Finset.erase_ssubset_insert

Modification history