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) |

## R (abbreviation)

Raw.eqk [in Coq.FSets.FMapList]Raw.eqk [in Coq.FSets.FMapWeakList]

Raw.eqke [in Coq.FSets.FMapList]

Raw.eqke [in Coq.FSets.FMapWeakList]

Raw.In [in Coq.FSets.FMapList]

Raw.In [in Coq.FSets.FMapWeakList]

Raw.Inf [in Coq.FSets.FMapList]

Raw.int [in Coq.FSets.FMapAVL]

Raw.ltk [in Coq.FSets.FMapList]

Raw.MapsTo [in Coq.FSets.FMapList]

Raw.MapsTo [in Coq.FSets.FMapWeakList]

Raw.NoDupA [in Coq.FSets.FMapWeakList]

Raw.oee' [in Coq.FSets.FMapList]

Raw.oee' [in Coq.FSets.FMapWeakList]

Raw.Proofs.eqk [in Coq.FSets.FMapAVL]

Raw.Proofs.eqke [in Coq.FSets.FMapAVL]

Raw.Proofs.ltk [in Coq.FSets.FMapAVL]

Raw.Proofs.map2_opt [in Coq.FSets.FMapAVL]

Raw.Sort [in Coq.FSets.FMapList]

Raw.t [in Coq.FSets.FMapAVL]

Raw.t [in Coq.FSets.FMapAVL]

rD [in Coq.ssr.ssrbool]

reflect [in Coq.ssr.ssrbool]

ReflectF [in Coq.ssr.ssrbool]

ReflectT [in Coq.ssr.ssrbool]

refl_equal [in Coq.Init.Logic]

refl_id [in Coq.Init.Logic_Type]

RefutablePropositionExtensionality [in Coq.Logic.PropExtensionalityFacts]

RelationalChoice [in Coq.Logic.ChoiceFacts]

RepresentativeFunctionalChoice [in Coq.Logic.ChoiceFacts]

representative_boolean_partition [in Coq.Logic.ClassicalFacts]

rev_acc_rev [in Coq.Lists.List]

rev_acc [in Coq.Lists.List]

Rext [in Coq.setoid_ring.RealField]

right [in Coq.setoid_ring.Field_theory]

ring_correct [in Coq.setoid_ring.Field_theory]

ring_rw_pow_correct [in Coq.setoid_ring.Field_theory]

ring_rw_correct [in Coq.setoid_ring.Field_theory]

RmaxLess1 [in Coq.Reals.Rbasic_fun]

RmaxLess2 [in Coq.Reals.Rbasic_fun]

RmaxSym [in Coq.Reals.Rbasic_fun]

Rmin_2 [in Coq.Reals.Ranalysis2]

Rmin_pos [in Coq.Reals.Ranalysis2]

Rplus_lt_pos [in Coq.Reals.DiscrR]

Rset [in Coq.setoid_ring.RealField]

rtn1_trans_equiv [in Coq.Relations.Operators_Properties]

rtn1_trans [in Coq.Relations.Operators_Properties]

rtsn1_sym [in Coq.Relations.Operators_Properties]

rtsn1_trans [in Coq.Relations.Operators_Properties]

rtsn1_rts [in Coq.Relations.Operators_Properties]

rtsn1_trans [in Coq.Relations.Relation_Operators]

rtsn1_refl [in Coq.Relations.Relation_Operators]

rts_rtsn1_equiv [in Coq.Relations.Operators_Properties]

rts_rtsn1 [in Coq.Relations.Operators_Properties]

rts_rts1n_equiv [in Coq.Relations.Operators_Properties]

rts_rts1n [in Coq.Relations.Operators_Properties]

rts_1n_trans [in Coq.Relations.Operators_Properties]

rts1n_sym [in Coq.Relations.Operators_Properties]

rts1n_rts [in Coq.Relations.Operators_Properties]

rts1n_trans [in Coq.Relations.Relation_Operators]

rts1n_refl [in Coq.Relations.Relation_Operators]

rt1n_trans_equiv [in Coq.Relations.Operators_Properties]

rt1n_trans [in Coq.Relations.Operators_Properties]

R_rt1n [in Coq.Relations.Operators_Properties]

R_rtn1 [in Coq.Relations.Operators_Properties]

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) |