Theorem List.nthLe_cyclicPermutations

Modification history