Theorem List.getElem_cyclicPermutations

Modification history