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 | (21799 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 | (910 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 | (727 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 | (1464 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 | (494 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 | (10179 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 | (676 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 | (537 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 | (374 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 | (287 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 | (457 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 | (616 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 | (1332 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 | (3609 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 | (137 entries) |

## S (abbreviation)

sequence_minorant [in Coq.Reals.SeqProp]sequence_majorant [in Coq.Reals.SeqProp]

SetoidFunctionalChoice [in Coq.Logic.ChoiceFacts]

shiftl [in Coq.Numbers.Natural.Peano.NPeano]

shiftl_spec_low [in Coq.Numbers.Natural.Peano.NPeano]

shiftl_spec_high [in Coq.Numbers.Natural.Peano.NPeano]

shiftr [in Coq.Numbers.Natural.Peano.NPeano]

shiftr_spec [in Coq.Numbers.Natural.Peano.NPeano]

sigS [in Coq.Init.Specif]

sigS_ind [in Coq.Init.Specif]

sigS_rec [in Coq.Init.Specif]

sigS_rect [in Coq.Init.Specif]

sigS2 [in Coq.Init.Specif]

sigS2_ind [in Coq.Init.Specif]

sigS2_rec [in Coq.Init.Specif]

sigS2_rect [in Coq.Init.Specif]

SimpleSetoidFunctionalChoice [in Coq.Logic.ChoiceFacts]

Snd [in Coq.Classes.RelationPairs]

sndT [in Coq.Init.Datatypes]

some [in Coq.ssr.ssrfun]

sort [in Coq.Sorting.Sorted]

SortA [in Coq.Lists.SetoidList]

sort_rect [in Coq.Sorting.Sorted]

sort_inv [in Coq.Sorting.Sorted]

Sort.Sorted [in Coq.Sorting.Mergesort]

sqrt [in Coq.Numbers.Natural.Peano.NPeano]

sqrt_spec [in Coq.Numbers.Natural.Peano.NPeano]

sqrt_iter_spec [in Coq.Numbers.Natural.Peano.NPeano]

sqrt_iter [in Coq.Numbers.Natural.Peano.NPeano]

square [in Coq.Numbers.Natural.Peano.NPeano]

square_spec [in Coq.Numbers.Natural.Peano.NPeano]

SsrMatchingSyntax.LHS [in Coq.ssrmatching.ssrmatching]

SsrMatchingSyntax.RHS [in Coq.ssrmatching.ssrmatching]

Step [in Coq.NArith.Ndigits]

sval [in Coq.ssr.ssrfun]

SwapProd [in Coq.Wellfounded.Lexicographic_Product]

Symprod [in Coq.Wellfounded.Lexicographic_Product]

sym_JMeq [in Coq.Logic.JMeq]

sym_not_equal [in Coq.Init.Logic]

sym_equal [in Coq.Init.Logic]

sym_not_eq [in Coq.Init.Logic]

sym_eq [in Coq.Init.Logic]

sym_not_id [in Coq.Init.Logic_Type]

sym_id [in Coq.Init.Logic_Type]

SYM1 [in Coq.ZArith.BinInt]

SYM2 [in Coq.ZArith.BinInt]

SYM3 [in Coq.ZArith.BinInt]

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 | (21799 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 | (910 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 | (727 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 | (1464 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 | (494 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 | (10179 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 | (676 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 | (537 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 | (374 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 | (287 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 | (457 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 | (616 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 | (1332 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 | (3609 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 | (137 entries) |