fact: Definition embedqz x := let i := find (cface x) s0c in iter (findex face (nth x0c s0c i) x) face (nth x0m s0m i).
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry coloring)