Theorem List.cyclicPermutations_inj

Modification history