fact: Definition prop_balanced_preserves_balanced (n : nat) := let fuel := 10 in forAllMaybe (genSizedST (fun t => balanced n t) fuel) (fun (t : Tree nat) => forAll (choose (0,10)) (fun x => balanced_preserves_balanced fuel n x t)).
imports: QuickChick(QuickChick) mathcomp(ssrbool)