Z (instance)
ZBitsProp.b2z_wd [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.clearbit_wd [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.div2_wd [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.eqf_equiv [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.land_wd [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.ldiff_wd [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.lnot_wd [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.lor_wd [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.lxor_wd [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.ones_wd [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.setbit_wd [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.shiftl_wd [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.shiftr_wd [in Coq.Numbers.Integer.Abstract.ZBits]
ZBitsProp.testbit_eqf [in Coq.Numbers.Integer.Abstract.ZBits]
ZEuclid.div_wd [in Coq.ZArith.Zeuclid]
ZEuclid.mod_wd [in Coq.ZArith.Zeuclid]
ZGcdProp.Bezout_wd [in Coq.Numbers.Integer.Abstract.ZGcd]
ZLcmProp.lcm_wd [in Coq.Numbers.Integer.Abstract.ZLcm]
Zminus_eqm [in Coq.ZArith.Zdiv]
ZModuloCyclicType.ops [in Coq.Numbers.Cyclic.ZModulo.ZModulo]
ZModuloCyclicType.specs [in Coq.Numbers.Cyclic.ZModulo.ZModulo]
zmod_specs [in Coq.Numbers.Cyclic.ZModulo.ZModulo]
zmod_ops [in Coq.Numbers.Cyclic.ZModulo.ZModulo]
Zmult_eqm [in Coq.ZArith.Zdiv]
Zopp_eqm [in Coq.ZArith.Zdiv]
ZPairsAxiomsMod.add_wd [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
ZPairsAxiomsMod.eq_equiv [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
ZPairsAxiomsMod.lt_wd [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
ZPairsAxiomsMod.mul_wd [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
ZPairsAxiomsMod.opp_wd [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
ZPairsAxiomsMod.pair_wd [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
ZPairsAxiomsMod.pred_wd [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
ZPairsAxiomsMod.sub_wd [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
ZPairsAxiomsMod.succ_wd [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
Zplus_eqm [in Coq.ZArith.Zdiv]
ZSgnAbsProp.abs_wd [in Coq.Numbers.Integer.Abstract.ZSgnAbs]
ZSgnAbsProp.sgn_wd [in Coq.Numbers.Integer.Abstract.ZSgnAbs]
ZTypeIsZAxioms.add_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.compare_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.div_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.eqb_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.eq_equiv [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.leb_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.ltb_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.lt_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.mod_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.mul_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.opp_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.pow_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.pred_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.quot_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.rem_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.sub_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.succ_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]
ZTypeIsZAxioms.testbit_wd [in Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms]