fact: Definition gborder (m : seq gpoint) := [pred d | halfg d \in m & halfg (gedge d) \notin m].
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(path order ssralg ssrnum ssrint div intdiv) fourcolor(grid)