Theorem List.Nodup.cyclicPermutations

Modification history