Theorem List.head?_cyclicPermutations

Modification history