Theorem List.exists_duplicate_iff_not_nodup

Modification history