Library Coq.omega.OmegaPlugin
Require
ZArith_base
.
Require
OmegaLemmas
.
Require
PreOmega
.