Theorem List.get_cyclicPermutations

Modification history