Theorem List.Duplicate.mem_cons_self

Modification history