Theorem List.mem_insert_iff

Modification history