fact: Definition isQuizR qz := let: Quiz q0 q1 := qz in isQaskR q0 && isQaskR q1.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry coloring)