fact: Definition simple_hmap := forall x y : G, x != y -> cnode x y -> ~~ cnode (edge x) (edge y).
imports: mathcomp(all_ssreflect) GraphTheory(edone preliminaries bij) fourcolor(hypermap geometry cfmap jordan color coloring combinatorial4ct) fourcolor(walkup)