fact: Definition skip_edge1 := [fun x => if ez == z then edge x else if face (edge x) == z then ez else if edge x == z then edge nz else edge x].
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap)