fact: Definition snipd_face x := if x \in r then face (edge (prev r x)) else face x.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap jordan color geometry patch)