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 | (69911 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 | (997 entries) |

Binder 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 | (45423 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 | (770 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 | (1516 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 | (576 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 | (11559 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 | (981 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 | (625 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 | (299 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 | (466 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 | (482 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 | (812 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 | (1156 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 | (4086 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 | (163 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.Lists.List]

last [in Coq.Vectors.VectorDef]

ldexp [in Coq.Floats.FloatOps]

ldiff [in Coq.Init.Nat]

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

le [in Coq.Bool.Bool]

leaf [in Coq.micromega.ZMicromega]

leA_Tree [in Coq.Sorting.Heap]

leb [in Coq.Init.Nat]

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.Strings.String]

length [in Coq.Init.Datatypes]

lex_exp [in Coq.Relations.Relation_Operators]

le_or_le_S [in Coq.Arith.Compare]

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]

le_min_r [in Coq.Arith.Min]

le_min_l [in Coq.Arith.Min]

le_max_r [in Coq.Arith.Max]

le_max_l [in Coq.Arith.Max]

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]

linear_order_T [in Coq.Reals.Cauchy.ConstructiveCauchyReals]

Listing [in Coq.Logic.FinFun]

list_contents [in Coq.Sorting.PermutSetoid]

list_byte_of_string [in Coq.Strings.String]

list_ascii_of_string [in Coq.Strings.String]

list_max [in Coq.Lists.List]

list_sum [in Coq.Lists.List]

list_prod [in Coq.Lists.List]

list_power [in Coq.Lists.List]

list_nth [in Coq.btauto.Algebra]

list_reifyl [in Coq.setoid_ring.Ncring_tac]

list_replace [in Coq.btauto.Reflect]

little_endian_of_string [in Coq.Strings.ByteVector]

little_endian_to_string [in Coq.Strings.ByteVector]

Little.double [in Coq.Init.Decimal]

Little.double [in Coq.Init.Hexadecimal]

Little.succ [in Coq.Init.Decimal]

Little.succ [in Coq.Init.Hexadecimal]

Little.succ_double [in Coq.Init.Decimal]

Little.succ_double [in Coq.Init.Hexadecimal]

ln [in Coq.Reals.Rpower]

lnorm [in Coq.Numbers.DecimalFacts]

lnorm [in Coq.Numbers.HexadecimalFacts]

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_unlockable [in Coq.ssr.ssreflect]

locked_with [in Coq.ssr.ssreflect]

loc_of_shr_record [in Coq.Floats.SpecFloat]

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]

lt [in Coq.Bool.Bool]

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 | (69911 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 | (997 entries) |

Binder 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 | (45423 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 | (770 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 | (1516 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 | (576 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 | (11559 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 | (981 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 | (625 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 | (299 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 | (466 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 | (482 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 | (812 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 | (1156 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 | (4086 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 | (163 entries) |