fact: Definition resizeGen {A : Type} (n : nat) (g : G A) : G A := match g with | MkGen m => MkGen (fun _ => m n) end.
imports: Coq(String List ZArith Lia) mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool ssrnat eqtype seq) QuickChick(RandomQC RoseTrees Sets Tactics Producer)