fact: Definition cflip_swap (i j : 'I_m) : {ffun 'I_m -> bool} := [ffun x => if x == i then (j < i) else if x == j then (j < i) else false].
imports: mathcomp(all_ssreflect perm algebra.zmodp) mathcomp(zify) more_tuple