proposition: Lemma semColor : semProd genColor <--> [set : color].
proof: Proof. rewrite /genColor. rewrite semElements. intros c. destruct c; simpl; unfold setT; tauto. Qed.
imports: mathcomp(ssreflect ssrnat ssrbool eqtype) List String Lia QuickChick(QuickChick) QuickChick.RedBlack(redblack testing)