Z (definition)
Zabs [in Coq.ZArith.zarith_aux]
Zcompare [in Coq.ZArith.fast_integer]
Zdiv [in Coq.ZArith.Zcomplements]
Zdiv2 [in Coq.ZArith.Zmisc]
Zdiv2_pos [in Coq.ZArith.Zmisc]
Zdiv_rest [in Coq.ZArith.Zpower]
Zdiv_rest_aux [in Coq.ZArith.Zpower]
Zeq_bool [in Coq.ZArith.Zmisc]
zerob [in Coq.Bool.Zerob]
Zero_suivi_de [in Coq.ZArith.fast_integer]
Zeven [in Coq.ZArith.Zmisc]
Zeven_bool [in Coq.ZArith.Zmisc]
Zge [in Coq.ZArith.zarith_aux]
Zge_bool [in Coq.ZArith.Zmisc]
Zgt [in Coq.ZArith.zarith_aux]
Zgt_bool [in Coq.ZArith.Zmisc]
Zle [in Coq.ZArith.zarith_aux]
Zle_bool [in Coq.ZArith.Zmisc]
Zlt [in Coq.ZArith.zarith_aux]
Zlt_bool [in Coq.ZArith.Zmisc]
Zmin [in Coq.ZArith.zarith_aux]
Zminus [in Coq.ZArith.zarith_aux]
Zmod [in Coq.ZArith.Zcomplements]
Zmult [in Coq.ZArith.fast_integer]
Zmult_plus_distr [in Coq.ZArith.zarith_aux]
Zmult_Zplus_distr [in Coq.ZArith.zarith_aux]
Zne [in Coq.ZArith.auxiliary]
Zneq_bool [in Coq.ZArith.Zmisc]
Zodd [in Coq.ZArith.Zmisc]
Zodd_bool [in Coq.ZArith.Zmisc]
Zopp [in Coq.ZArith.fast_integer]
Zplus [in Coq.ZArith.fast_integer]
Zpower [in Coq.ZArith.Zpower]
Zpower_nat [in Coq.ZArith.Zpower]
Zpower_pos [in Coq.ZArith.Zpower]
Zpred [in Coq.ZArith.zarith_aux]
Zs [in Coq.ZArith.zarith_aux]
Zsgn [in Coq.ZArith.zarith_aux]
Z_noteq_dec [in Coq.ZArith.ZArith_dec]
Z_notzerop [in Coq.ZArith.ZArith_dec]
Z_of_entier [in Coq.ZArith.Zmisc]