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 | (21801 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 | (910 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 | (729 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 | (1464 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 | (494 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 | (10179 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 | (676 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 | (537 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 | (374 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 | (287 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 | (457 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 | (616 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 | (1332 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 | (3609 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 | (137 entries) |

## Q (definition)

Qabs [in Coq.QArith.Qabs]Qcabs [in Coq.QArith.Qcabs]

Qccompare [in Coq.QArith.Qcanon]

Qcdiv [in Coq.QArith.Qcanon]

Qceiling [in Coq.QArith.Qround]

Qcft [in Coq.QArith.Qcanon]

Qcinv [in Coq.QArith.Qcanon]

Qcle [in Coq.QArith.Qcanon]

Qclt [in Coq.QArith.Qcanon]

Qcminus [in Coq.QArith.Qcanon]

Qcmult [in Coq.QArith.Qcanon]

Qcompare [in Coq.QArith.QArith_base]

Qcopp [in Coq.QArith.Qcanon]

Qcplus [in Coq.QArith.Qcanon]

Qcpower [in Coq.QArith.Qcanon]

Qcrt [in Coq.QArith.Qcanon]

Qc_eq_bool [in Coq.QArith.Qcanon]

qdeduce [in Coq.micromega.QMicromega]

Qdiv [in Coq.QArith.QArith_base]

Qeq [in Coq.QArith.QArith_base]

Qeq_bool [in Coq.QArith.QArith_base]

Qeval_op1 [in Coq.micromega.QMicromega]

Qeval_nformula [in Coq.micromega.QMicromega]

Qeval_formula' [in Coq.micromega.QMicromega]

Qeval_formula [in Coq.micromega.QMicromega]

Qeval_op2 [in Coq.micromega.QMicromega]

Qeval_expr' [in Coq.micromega.QMicromega]

Qeval_expr [in Coq.micromega.QMicromega]

Qeval_nformula [in Coq.micromega.RMicromega]

Qfloor [in Coq.QArith.Qround]

QHasMinMax.max [in Coq.QArith.Qminmax]

QHasMinMax.max_r [in Coq.QArith.Qminmax]

QHasMinMax.max_l [in Coq.QArith.Qminmax]

QHasMinMax.min [in Coq.QArith.Qminmax]

QHasMinMax.min_r [in Coq.QArith.Qminmax]

QHasMinMax.min_l [in Coq.QArith.Qminmax]

Qinv [in Coq.QArith.QArith_base]

Qle [in Coq.QArith.QArith_base]

Qle_bool [in Coq.QArith.QArith_base]

Qlt [in Coq.QArith.QArith_base]

Qmax [in Coq.QArith.Qminmax]

Qmin [in Coq.QArith.Qminmax]

Qminus [in Coq.QArith.QArith_base]

Qminus' [in Coq.QArith.Qreduction]

Qmult [in Coq.QArith.QArith_base]

Qmult' [in Coq.QArith.Qreduction]

Qnegate [in Coq.micromega.QMicromega]

Qnormalise [in Coq.micromega.QMicromega]

Qopp [in Coq.QArith.QArith_base]

Qplus [in Coq.QArith.QArith_base]

Qplus' [in Coq.QArith.Qreduction]

Qpower [in Coq.QArith.QArith_base]

Qpower_positive [in Coq.QArith.QArith_base]

Qred [in Coq.QArith.Qreduction]

QReval_formula [in Coq.micromega.RMicromega]

Qsft [in Coq.QArith.Qfield]

Qsrt [in Coq.QArith.Qfield]

QTautoChecker [in Coq.micromega.QMicromega]

qunsat [in Coq.micromega.QMicromega]

QWeakChecker [in Coq.micromega.QMicromega]

QWitness [in Coq.micromega.QMicromega]

Q_as_OT.compare_spec [in Coq.QArith.QOrderedType]

Q_as_OT.le_lteq [in Coq.QArith.QOrderedType]

Q_as_OT.compare [in Coq.QArith.QOrderedType]

Q_as_OT.le [in Coq.QArith.QOrderedType]

Q_as_OT.lt [in Coq.QArith.QOrderedType]

Q_as_DT.eqb_eq [in Coq.QArith.QOrderedType]

Q_as_DT.eqb [in Coq.QArith.QOrderedType]

Q_as_DT.eq_equiv [in Coq.QArith.QOrderedType]

Q_as_DT.eq [in Coq.QArith.QOrderedType]

Q_as_DT.t [in Coq.QArith.QOrderedType]

Q_of_Rcst [in Coq.micromega.RMicromega]

Q2Qc [in Coq.QArith.Qcanon]

Q2R [in Coq.QArith.Qreals]

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 | (21801 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 | (910 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 | (729 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 | (1464 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 | (494 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 | (10179 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 | (676 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 | (537 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 | (374 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 | (287 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 | (457 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 | (616 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 | (1332 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 | (3609 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 | (137 entries) |