Theorem List.cyclicPermutations_eq_nil_iff

Modification history