fact: Definition bad_small_arity qa := match qa with | Qa9 => true | Qa10 => true | Qa11 => true | _ => false end.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry color coloring patch cfmap quiz)