Theorem List.Duplicate.not_nodup

Modification history