fact: Variables (T1 T2 : finType) (f1 : T1 -> T1) (f2 : T2 -> T2).
imports: mathcomp(all_ssreflect) GraphTheory(edone preliminaries bij) fourcolor(hypermap geometry cfmap jordan color coloring combinatorial4ct) fourcolor(walkup)