fact: Definition rev_snipd_ring : seq rev_snipd_disk := snipd_ring planarG scycRrr.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry patch sew snip color chromogram) fourcolor(coloring kempe)