fact: Definition gtree_pair_partition t pt := let: GtreePair t0 t1 := pt in sgtree_partition (gtree_mem t) (gtree_mem t0) (gtree_mem t1).
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq) fourcolor(color chromogram)