Theorem Finset.mem_of_mem_cons_of_ne

Modification history