fact: Definition ltColor (c1 c2: color) : Prop := match c1, c2 with | Red, Black => True | _, _ => False end.
imports: QuickChick(QuickChick Generators) Lia mathcomp(ssreflect ssrnat ssrbool eqtype) QuickChick.RedBlack(redblack) List String Relations Wellfounded Lexicographic_Product