fact: Definition cpcolor (cp : cprog) := ctree_cons_rot (cpcolor0 (rev cp)).
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry color coloring cfmap ctree)