fact: Definition semGenSize {A : Type} (g : G A) (s : nat) : set A := codom (run g s).
imports: Coq(String List ZArith Lia) mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool ssrnat eqtype seq) QuickChick(RandomQC RoseTrees Sets Tactics Producer)