fact: Definition sctree_partition (st st' st'' : colseq -> bool) := forall et, (if st et then eqb else orb) (st' et) (st'' et) = false.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq) fourcolor(color chromogram gtree ctree)