fact: Definition ctransp {m} (c : connector m) := [forall i, (clink c i != i) ==> ((clink c i == i.+1 :> nat) || (clink c i == i.-1 :> nat))] && [forall i, ~~(cflip c i)].
imports: mathcomp(all_ssreflect perm algebra.zmodp) mathcomp(zify) more_tuple