fact: Definition point_matte := Matte pmatte_ne pmring_cycle pmring_simple pmring_def.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(path order ssralg ssrnum ssrint div intdiv) fourcolor(grid)