Theorem Finset.mem_of_mem_erase

Modification history