Theorem Finset.erase_val

Modification history