proposition: Lemma card_cpmap cp : #|cpmap cp| = cpcard cp.
proof: Proof. by elim: cp => [|[] cp //=]; rewrite ?card_ecp ?card_bool // => ->. Qed.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap jordan geometry color chromogram) fourcolor(coloring patch snip sew revsnip kempe) fourcolor(ctree initctree gtree initgtree ctreerestrict) fourcolor(gtreerestrict cfmap cfcolor kempetree)