fact: Variables (G Gd Gr : hypermap) (hd : Gd -> G) (hr : Gr -> G).
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry jordan color coloring)