Theorem List.mem_cons

Modification history