Theorem List.exists_mem_cons_of_exists

Modification history