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 | (25986 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 | (1001 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 | (811 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 | (1769 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 | (588 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 | (960 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 | (11900 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 | (508 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 | (479 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 | (495 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 | (905 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 | (1199 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 | (4898 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 | (166 entries) |

## L (constructor)

left [in Stdlib.Init.Specif]left_sym [in Stdlib.Relations.Relation_Operators]

left_slex [in Stdlib.Relations.Relation_Operators]

left_lex [in Stdlib.Relations.Relation_Operators]

le_bb [in Stdlib.Relations.Relation_Operators]

le_ab [in Stdlib.Relations.Relation_Operators]

le_aa [in Stdlib.Relations.Relation_Operators]

le_S [in Stdlib.Init.Peano]

le_n [in Stdlib.Init.Peano]

le_sup [in Stdlib.Wellfounded.Well_Ordering]

linear_poly [in Stdlib.btauto.Algebra]

linear_cst [in Stdlib.btauto.Algebra]

ListCompareEq [in Stdlib.Lists.List]

ListCompareGt [in Stdlib.Lists.List]

ListCompareLonger [in Stdlib.Lists.List]

ListCompareLt [in Stdlib.Lists.List]

ListCompareShorter [in Stdlib.Lists.List]

list_reifyl [in Stdlib.setoid_ring.Ncring_tac]

loc_Inexact [in Stdlib.Floats.SpecFloat]

loc_Exact [in Stdlib.Floats.SpecFloat]

Lower_Bound_definition [in Stdlib.Sets.Cpo]

LSorted_consn [in Stdlib.Sorting.Sorted]

LSorted_cons1 [in Stdlib.Sorting.Sorted]

LSorted_nil [in Stdlib.Sorting.Sorted]

Lt [in Stdlib.Init.Datatypes]

LT [in Stdlib.Structures.OrderedType]

Lt_tl [in Stdlib.Relations.Relation_Operators]

Lt_hd [in Stdlib.Relations.Relation_Operators]

Lt_nil [in Stdlib.Relations.Relation_Operators]

Lub_definition [in Stdlib.Sets.Cpo]