Theorem List.cyclicPermutations_injective

Modification history