fact: Definition cfquiz : quiz := if cpradius2 cp (cpksize cp) then cfquiz_rec (nseq (cprsize cp) (RingQuestion false 0 Qask0)) cp else noquiz.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry color coloring patch cfmap quiz)