Theorem List.exists_mem_cons_iff

Modification history