Theorem List.cyclicPermutations_ne_nil

Modification history