fact: Fixpoint rqs_walk (qs : rqseq) (p : seq G0) {struct p} : seq G0 := match qs, p with | rqd :: qs', u :: p' => let rq := rqd : ring_question in nseq (isk rq) u ++ walkq (node u) rq ++ rqs_walk qs' p' | _, _ => [::] end.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry color coloring patch cfmap quiz)