Theorem List.mem_cyclicPermutations_self

Modification history