Theorem List.Mem.duplicate_cons_self

Modification history