fact: Variables (G : hypermap) (p : pred G) (e n f : sig p -> sig p).
imports: mathcomp(all_ssreflect) GraphTheory(edone preliminaries bij) fourcolor(hypermap geometry cfmap jordan color coloring combinatorial4ct) fourcolor(walkup)