fact: Definition ext2_matte := Matte (ext_mdisk_ne d) ext2_mring_cycle ext2_mring_simple ext2_mring_def.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(path order ssralg ssrnum ssrint div intdiv) fourcolor(grid)