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 | (22221 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 | (923 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 | (744 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 | (1480 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 | (501 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 | (10364 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 | (910 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 | (573 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 | (386 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 | (286 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 | (465 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 | (632 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 | (1133 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 | (3679 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 | (145 entries) |

## L (definition)

L [in Coq.Vectors.Fin]land [in Coq.Numbers.Cyclic.ZModulo.ZModulo]

land [in Coq.Init.Nat]

land31 [in Coq.Numbers.Cyclic.Int31.Int31]

last [in Coq.Vectors.VectorDef]

last [in Coq.Lists.List]

ldiff [in Coq.Init.Nat]

ldiff31 [in Coq.Numbers.Cyclic.Int31.Int31]

leaf [in Coq.micromega.ZMicromega]

leA_Tree [in Coq.Sorting.Heap]

leb [in Coq.Init.Nat]

leb [in Coq.Bool.Bool]

left_transitive [in Coq.ssr.ssrbool]

left_loop [in Coq.ssr.ssrfun]

left_commutative [in Coq.ssr.ssrfun]

left_id [in Coq.ssr.ssrfun]

left_distributive [in Coq.ssr.ssrfun]

left_zero [in Coq.ssr.ssrfun]

left_injective [in Coq.ssr.ssrfun]

left_inverse [in Coq.ssr.ssrfun]

lel [in Coq.Lists.List]

length [in Coq.Init.Datatypes]

length [in Coq.Strings.String]

lex_exp [in Coq.Relations.Relation_Operators]

le_max_r [in Coq.Arith.Max]

le_max_l [in Coq.Arith.Max]

le_or_le_S [in Coq.Arith.Compare]

le_min_r [in Coq.Arith.Min]

le_min_l [in Coq.Arith.Min]

le_lt_eq_dec [in Coq.Arith.Compare_dec]

le_gt_dec [in Coq.Arith.Compare_dec]

le_ge_dec [in Coq.Arith.Compare_dec]

le_le_S_dec [in Coq.Arith.Compare_dec]

le_lt_dec [in Coq.Arith.Compare_dec]

Lget [in Coq.rtauto.Bintree]

limit_in [in Coq.Reals.Rlimit]

limit1_in [in Coq.Reals.Rlimit]

linear_search_smallest [in Coq.Logic.ConstructiveEpsilon]

linear_search [in Coq.Logic.ConstructiveEpsilon]

Listing [in Coq.Logic.FinFun]

list_nth [in Coq.btauto.Algebra]

list_reifyl [in Coq.setoid_ring.Ncring_tac]

list_contents [in Coq.Sorting.PermutSetoid]

list_replace [in Coq.btauto.Reflect]

list_byte_of_string [in Coq.Strings.String]

list_ascii_of_string [in Coq.Strings.String]

list_prod [in Coq.Lists.List]

list_power [in Coq.Lists.List]

little_endian_of_string [in Coq.Strings.ByteVector]

little_endian_to_string [in Coq.Strings.ByteVector]

Little.double [in Coq.Init.Decimal]

Little.succ [in Coq.Init.Decimal]

Little.succ_double [in Coq.Init.Decimal]

ln [in Coq.Reals.Rpower]

lnorm [in Coq.Numbers.DecimalFacts]

lnot31 [in Coq.Numbers.Cyclic.Int31.Int31]

Locally_confluent [in Coq.Sets.Relations_3]

locally_confluent [in Coq.Sets.Relations_3]

locked [in Coq.ssr.ssreflect]

locked_with [in Coq.ssr.ssreflect]

log_near [in Coq.ZArith.Zlogarithm]

log_inf_correct2 [in Coq.ZArith.Zlogarithm]

log_inf_correct1 [in Coq.ZArith.Zlogarithm]

log_sup [in Coq.ZArith.Zlogarithm]

log_inf [in Coq.ZArith.Zlogarithm]

log2 [in Coq.Init.Nat]

log2_iter [in Coq.Init.Nat]

lor [in Coq.Numbers.Cyclic.ZModulo.ZModulo]

lor [in Coq.Init.Nat]

lor31 [in Coq.Numbers.Cyclic.Int31.Int31]

lshiftl [in Coq.Numbers.Cyclic.Int31.Cyclic31]

lt [in Coq.Init.Peano]

ltb [in Coq.Init.Nat]

ltof [in Coq.Arith.Wf_nat]

lt_or_eq [in Coq.Arith.Compare]

lt_ge_dec [in Coq.Arith.Bool_nat]

lt_eq_lt_dec [in Coq.Arith.Compare_dec]

lub [in Coq.Reals.SeqProp]

lxor [in Coq.Numbers.Cyclic.ZModulo.ZModulo]

lxor [in Coq.Init.Nat]

lxor31 [in Coq.Numbers.Cyclic.Int31.Int31]

L_R [in Coq.Vectors.Fin]

l2i [in Coq.Numbers.Cyclic.Int31.Cyclic31]

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 | (22221 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 | (923 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 | (744 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 | (1480 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 | (501 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 | (10364 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 | (910 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 | (573 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 | (386 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 | (286 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 | (465 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 | (632 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 | (1133 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 | (3679 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 | (145 entries) |