Theorem Finset.erase_eq

Modification history