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 | (72746 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 | (1016 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 | (47311 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 | (787 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 | (1547 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 | (584 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 | (11763 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 | (959 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 | (627 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 | (308 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 | (475 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 | (492 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 | (903 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 | (1448 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 | (4360 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 | (166 entries) |

## T (definition)

t [in Coq.Numbers.Cyclic.ZModulo.ZModulo]t [in Coq.Init.Nat]

Tadd [in Coq.rtauto.Bintree]

tag [in Coq.ssr.ssrfun]

Tagged [in Coq.ssr.ssrfun]

tagged [in Coq.ssr.ssrfun]

Tagged2 [in Coq.ssr.ssrfun]

tagged2 [in Coq.ssr.ssrfun]

tagged2' [in Coq.ssr.ssrfun]

tag_of_sig [in Coq.ssr.ssrfun]

tag_of_tag2 [in Coq.ssr.ssrfun]

tag2 [in Coq.ssr.ssrfun]

tail [in Coq.micromega.Env]

tail_mul [in Coq.Init.Nat]

tail_addmul [in Coq.Init.Nat]

tail_add [in Coq.Init.Nat]

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

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

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

take [in Coq.Vectors.VectorDef]

tan [in Coq.Reals.Rtrigo1]

tand [in Coq.Reals.Rtrigo_calc]

tanh [in Coq.Reals.Rtrigo_def]

tauto_checker [in Coq.micromega.Tauto]

tearing_elem_fst [in Coq.Reals.Runcountable]

tearing_sequences [in Coq.Reals.Runcountable]

ternary_operation [in Coq.Classes.RelationClasses]

testbit [in Coq.Init.Nat]

test_field [in Coq.QArith.Qcanon]

TFormula [in Coq.micromega.Tauto]

Tget [in Coq.rtauto.Bintree]

tg_alt [in Coq.Reals.AltSeries]

TheCanonical.get [in Coq.ssr.ssreflect]

TheCanonical.get_by [in Coq.ssr.ssreflect]

tl [in Coq.Lists.Streams]

tl [in Coq.Lists.List]

tl [in Coq.Vectors.VectorDef]

Tmap [in Coq.rtauto.Bintree]

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

toDeg [in Coq.Reals.Rtrigo_calc]

TOMaxEqDec_to_Compare.compare [in Coq.Structures.GenericMinMax]

toRad [in Coq.Reals.Rtrigo_calc]

torn_number [in Coq.Reals.Runcountable]

total [in Coq.ssr.ssrbool]

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

to_bits [in Coq.Init.Byte]

to_list [in Coq.Numbers.DecimalFacts]

to_nat [in Coq.Strings.OctalString]

to_Z [in Coq.Strings.OctalString]

to_pos [in Coq.Strings.OctalString]

to_N [in Coq.Strings.OctalString]

to_nat [in Coq.Strings.HexString]

to_Z [in Coq.Strings.HexString]

to_pos [in Coq.Strings.HexString]

to_N [in Coq.Strings.HexString]

to_num_int [in Coq.Init.Nat]

to_hex_int [in Coq.Init.Nat]

to_int [in Coq.Init.Nat]

to_num_hex_uint [in Coq.Init.Nat]

to_num_uint [in Coq.Init.Nat]

to_hex_uint [in Coq.Init.Nat]

to_little_hex_uint [in Coq.Init.Nat]

to_uint [in Coq.Init.Nat]

to_little_uint [in Coq.Init.Nat]

to_nat [in Coq.Arith.Cantor]

to_hex_number [in Coq.Reals.Rdefinitions]

to_number [in Coq.Reals.Rdefinitions]

to_hexadecimal [in Coq.Reals.Rdefinitions]

to_decimal [in Coq.Reals.Rdefinitions]

to_list [in Coq.Numbers.HexadecimalFacts]

to_nat [in Coq.Strings.BinaryString]

to_Z [in Coq.Strings.BinaryString]

to_pos [in Coq.Strings.BinaryString]

to_N [in Coq.Strings.BinaryString]

to_nat [in Coq.Vectors.Fin]

to_N [in Coq.Strings.Byte]

to_nat [in Coq.Strings.Byte]

to_Z [in Coq.Numbers.Cyclic.Int63.Uint63]

to_Z_rec [in Coq.Numbers.Cyclic.Int63.Uint63]

to_Z [in Coq.Numbers.Cyclic.Int63.Sint63]

to_list [in Coq.Vectors.VectorDef]

to_Bvector [in Coq.Strings.ByteVector]

to_string [in Coq.Strings.ByteVector]

to_hex_number [in Coq.QArith.QArith_base]

to_number [in Coq.QArith.QArith_base]

to_hexadecimal [in Coq.QArith.QArith_base]

to_decimal [in Coq.QArith.QArith_base]

transitive [in Coq.ssr.ssrbool]

Transitive [in Coq.Sets.Relations_1]

transitive [in Coq.Relations.Relation_Definitions]

transp [in Coq.Relations.Relation_Operators]

transpose [in Coq.Lists.SetoidList]

transpose_restr2 [in Coq.Lists.SetoidList]

transpose_restr [in Coq.Lists.SetoidList]

transpose2 [in Coq.Lists.SetoidList]

trans_ord [in Coq.Structures.OrdersTac]

Tremove [in Coq.rtauto.Bintree]

triv_div [in Coq.setoid_ring.InitialRing]

TrueP [in Coq.Logic.ClassicalFacts]

true_predicate [in Coq.Classes.RelationClasses]

TTLB_to_OTF.le_lteq [in Coq.Structures.Orders]

TTLB_to_OTF.eqb [in Coq.Structures.Orders]

TTLB_to_OTF.compare [in Coq.Structures.Orders]

TTLB_to_OTF.lt [in Coq.Structures.Orders]

TTLB_to_OTF.eq [in Coq.Structures.Orders]

TTLB_to_OTF.le [in Coq.Structures.Orders]

TTLB_to_OTF.t [in Coq.Structures.Orders]

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

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

two [in Coq.Floats.PrimFloat]

two [in Coq.Init.Nat]

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

two_p [in Coq.ZArith.Zpower]

two_power_pos [in Coq.ZArith.Zpower]

two_power_nat [in Coq.ZArith.Zpower]

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

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 | (72746 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 | (1016 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 | (47311 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 | (787 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 | (1547 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 | (584 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 | (11763 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 | (959 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 | (627 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 | (308 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 | (475 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 | (492 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 | (903 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 | (1448 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 | (4360 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 | (166 entries) |