fact: Definition hmap_union (G1 G2 : hypermap) := Hypermap (sumf_cancel3 (@edgeK G1) (@edgeK G2)).
imports: mathcomp(all_ssreflect) GraphTheory(edone preliminaries bij) fourcolor(hypermap geometry cfmap jordan color coloring combinatorial4ct) fourcolor(walkup)