fact: Definition cflip_merge m1 m2 (c1 : connector m1) (c2 : connector m2) := [ffun i => match split i with | inl x => cflip c1 x | inr x => cflip c2 x end].
imports: mathcomp(all_ssreflect perm algebra.zmodp) mathcomp(zify) more_tuple