Theorem List.Duplicate.duplicate_cons

Modification history