Theorem List.nodup_permutations_iff

Modification history