Theorem List.IsRotated.cyclicPermutations

Modification history