proposition: Lemma switchK : switch (switch c) = c.
proof: Proof. apply/comp_graph_eqP. by rewrite /comp_graph_eqb /= switchK_edges !eqxx. Qed.
imports: mathcomp(all_ssreflect ssralg fingroup zmodp poly ssrnum) mathcomp(matrix perm) ssr_ext ssralg_ext fdist subgraph_partition tanner