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 | (68863 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 | (985 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 | (44709 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 | (761 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 | (1497 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 | (570 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 | (11380 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 | (976 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 | (603 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 | (298 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 | (460 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 | (476 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 | (811 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 | (1157 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 | (4018 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 | (162 entries) |

## L (axiom)

land [in Coq.Numbers.Cyclic.Int63.Int63]land_spec [in Coq.Numbers.Cyclic.Int63.Int63]

ldshiftexp [in Coq.Floats.PrimFloat]

ldshiftexp_spec [in Coq.Floats.FloatAxioms]

leb [in Coq.Floats.PrimFloat]

leb [in Coq.Numbers.Cyclic.Int63.Int63]

LebIsTotal.leb_total [in Coq.Structures.Orders]

LebIsTransitive.leb_trans [in Coq.Structures.Orders]

LebSpec.leb_le [in Coq.Structures.Orders]

leb_spec [in Coq.Numbers.Cyclic.Int63.Int63]

leb_spec [in Coq.Floats.FloatAxioms]

LeIsLtEq.le_lteq [in Coq.Structures.Orders]

Log2.log2 [in Coq.Numbers.NatInt.NZLog]

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

lor_spec [in Coq.Numbers.Cyclic.Int63.Int63]

lsl [in Coq.Numbers.Cyclic.Int63.Int63]

lsl_spec [in Coq.Numbers.Cyclic.Int63.Int63]

lsr [in Coq.Numbers.Cyclic.Int63.Int63]

lsr_spec [in Coq.Numbers.Cyclic.Int63.Int63]

ltb [in Coq.Floats.PrimFloat]

ltb [in Coq.Numbers.Cyclic.Int63.Int63]

LtbSpec.ltb_lt [in Coq.Structures.Orders]

ltb_spec [in Coq.Numbers.Cyclic.Int63.Int63]

ltb_spec [in Coq.Floats.FloatAxioms]

LtIsTotal.lt_total [in Coq.Structures.Orders]

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

lxor_spec [in Coq.Numbers.Cyclic.Int63.Int63]