(* *)
(**************************************************************************)
-set "baseuri" "cic:/matita/nat/iteration2".
-
include "nat/primes.ma".
include "nat/ord.ma".
include "nat/generic_iter_p.ma".
include "nat/count.ma".(*necessary just to use bool_to_nat and bool_to_nat_andb*)
-
(* sigma_p on nautral numbers is a specialization of sigma_p_gen *)
definition sigma_p: nat \to (nat \to bool) \to (nat \to nat) \to nat \def
\lambda n, p, g. (iter_p_gen n p nat g O plus).