fact: Definition cfun c t := [tuple let min := min (tnth t i) (tnth t (clink c i)) in let max := max (tnth t i) (tnth t (clink c i)) in if i <= clink c i then if cflip c i then max else min else if cflip c i then min else max| i < m].
imports: mathcomp(all_ssreflect perm algebra.zmodp) mathcomp(zify) more_tuple