fact: Definition is_redblack_bool (t : tree) : bool := is_black_balanced t && has_no_red_red Red t.
imports: QuickChick(QuickChick Generators) Lia mathcomp(ssreflect ssrnat ssrbool eqtype) QuickChick.RedBlack(redblack) List String