fact: Definition store_cf_qz qz (sym : bool) t := store_qz qz (if sym then t else store_qz (flipqz qz) t).
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry color coloring quiz cfmap) fourcolor(cfquiz cfreducible)