Theorem List.head_cyclicPermutations

Modification history