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 | (25892 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 | (1000 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 | (809 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 | (1611 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 | (586 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 | (11840 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 | (957 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 | (627 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 | (307 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 | (477 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 | (493 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 | (903 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 | (1211 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 | (4907 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 | (164 entries) |

## A (abbreviation)

a [in Coq.ssr.ssrbool]absoption_orb [in Coq.Bool.Bool]

absoption_andb [in Coq.Bool.Bool]

acc [in Coq.Logic.ConstructiveEpsilon]

Acc_iter_2 [in Coq.Init.Wf]

Acc_iter [in Coq.Init.Wf]

add [in Coq.Numbers.Cyclic.Int63.Uint63]

addc [in Coq.Numbers.Cyclic.Int63.Uint63]

addcarryc [in Coq.Numbers.Cyclic.Int63.Uint63]

addmuldiv [in Coq.Numbers.Cyclic.Int63.Uint63]

AllS [in Coq.Lists.List]

andb_prop2 [in Coq.Bool.Bool]

andb_true_intro2 [in Coq.Bool.Bool]

andb_neg_b [in Coq.Bool.Bool]

andb_true_b [in Coq.Bool.Bool]

andb_b_true [in Coq.Bool.Bool]

andb_false_b [in Coq.Bool.Bool]

andb_b_false [in Coq.Bool.Bool]

app [in Coq.Lists.List]

app_length [in Coq.Lists.List]

app_assoc_reverse [in Coq.Lists.List]

app_nil_end [in Coq.Lists.List]

app_ass [in Coq.Lists.List]

asr [in Coq.Numbers.Cyclic.Int63.Sint63]

ass_app [in Coq.Lists.List]

atan_right_inv [in Coq.Reals.Ratan]

AvlProofs.map2_opt [in Coq.FSets.FMapFullAVL]