fact: Definition ctree_sel t : color -> ctree := match t with | CtreeNode t1 t2 t3 => palette CtreeEmpty t1 t2 t3 | _ => fun _ => CtreeEmpty end.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq) fourcolor(color)