Theorem Finset.erase_inter

Modification history