Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (18795 entries)
Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (548 entries)
Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (203 entries)
Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (67 entries)
Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (8930 entries)
Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (338 entries)
Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (422 entries)
Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (644 entries)
Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1237 entries)
Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (209 entries)
Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2932 entries)
Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (703 entries)
Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (699 entries)
Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1456 entries)
Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (407 entries)

## Z (axiom)

ZAxiom.succ_pred [in Coq.Numbers.Integer.Abstract.ZAxioms]
ZDivSpecific.mod_neg_bound [in Coq.Numbers.Integer.Abstract.ZAxioms]
ZDivSpecific.mod_pos_bound [in Coq.Numbers.Integer.Abstract.ZAxioms]
ZeroSuccPred.pred [in Coq.Numbers.NatInt.NZAxioms]
ZeroSuccPred.succ [in Coq.Numbers.NatInt.NZAxioms]
ZeroSuccPred.zero [in Coq.Numbers.NatInt.NZAxioms]
ZType.abs [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.add [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.compare [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.div [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.div_eucl [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.div2 [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.eqb [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.even [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.gcd [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.land [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.ldiff [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.leb [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.log2 [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.lor [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.ltb [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.lxor [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.max [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.min [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.minus_one [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.modulo [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.mul [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.odd [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.of_Z [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.one [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.opp [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.pow [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.pow_N [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.pow_pos [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.pred [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.quot [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.rem [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.sgn [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.shiftl [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.shiftr [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_div2 [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_lxor [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_ldiff [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_lor [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_land [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_shiftl [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_shiftr [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_testbit [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_odd [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_even [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_abs [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_sgn [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_gcd [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_rem [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_quot [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_modulo [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_div [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_div_eucl [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_log2 [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_sqrt [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_pow [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_pow_N [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_pow_pos [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_square [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_mul [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_opp [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_sub [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_pred [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_add [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_succ [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_m1 [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_2 [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_1 [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_0 [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_max [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_min [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_leb [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_ltb [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_eqb [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_compare [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.spec_of_Z [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.sqrt [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.square [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.sub [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.succ [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.t [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.testbit [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.to_Z [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.two [in Coq.Numbers.Integer.SpecViaZ.ZSig]
ZType.zero [in Coq.Numbers.Integer.SpecViaZ.ZSig]

Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (18795 entries)
Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (548 entries)
Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (203 entries)
Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (67 entries)
Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (8930 entries)
Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (338 entries)
Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (422 entries)
Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (644 entries)
Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1237 entries)
Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (209 entries)
Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2932 entries)
Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (703 entries)
Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (699 entries)
Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1456 entries)
Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (407 entries)