Theorem Finset.erase_insert_eq_erase

Modification history