fact: Fixpoint createRange (n : nat) (acc : list nat) : list nat := match n with | O => List.rev (cons O acc) | S n' => createRange n' (cons n acc) end.
imports: Coq(String List ZArith Lia) mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool ssrnat eqtype seq) QuickChick(RandomQC RoseTrees Sets Tactics Producer)