fact: Definition qzt_put (qa1 qa2 qa3 : qarity) q1 q2 q3 := if 8 < qa1 then qzt_put3 qa1 qa2 qa3 q1 q2 q3 else qzt_put3rot qa1 qa2 qa3 q1 q2 q3.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry color coloring quiz cfmap) fourcolor(cfquiz cfreducible)