fact: Definition valid_quiz := [/\ isQuizR qz, fitqz x0c qz, simple s0c & fband s0c =i ac].
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry coloring)