Theorem List.length_mem_cyclicPermutations

Modification history