Theorem List.mem_cyclicPermutations_iff

Modification history