fact: Definition switch x y (f : G -> G) := [fun z => if z == x then f y else if z == y then f x else f z].
imports: mathcomp(all_ssreflect) GraphTheory(edone preliminaries bij) fourcolor(hypermap geometry cfmap jordan color coloring combinatorial4ct) fourcolor(walkup)