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 (72621 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 (1040 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 (47144 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 (790 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 (586 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 (11858 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 (1030 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 (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 (474 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 (881 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 (1439 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 (4242 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 (165 entries)

D (binder)

DC:20 [in Coq.micromega.DeclConstant]
DC:9 [in Coq.micromega.DeclConstant]
decide:4 [in Coq.Init.Tactics]
decide:8 [in Coq.Init.Tactics]
decQ:100 [in Coq.ssr.ssrbool]
default:120 [in Coq.Lists.List]
default:126 [in Coq.Lists.List]
default:142 [in Coq.Lists.List]
default:2 [in Coq.Lists.List]
def:30 [in Coq.btauto.Reflect]
def:31 [in Coq.Logic.Eqdep_dec]
def:355 [in Coq.micromega.Tauto]
def:44 [in Coq.btauto.Reflect]
def:48 [in Coq.btauto.Algebra]
def:49 [in Coq.btauto.Reflect]
def:5 [in Coq.funind.Recdef]
DEF:50 [in Coq.micromega.RMicromega]
def:54 [in Coq.btauto.Reflect]
def:59 [in Coq.btauto.Reflect]
def:63 [in Coq.btauto.Reflect]
delta:115 [in Coq.Reals.Ranalysis1]
delta:117 [in Coq.Reals.RiemannInt]
delta:139 [in Coq.Reals.RiemannInt]
delta:268 [in Coq.Reals.Ranalysis5]
delta:271 [in Coq.Reals.Ranalysis5]
delta:30 [in Coq.rtauto.Bintree]
delta:384 [in Coq.Reals.Rtopology]
delta:44 [in Coq.Reals.Rtopology]
delta:46 [in Coq.Reals.Rtopology]
delta:5 [in Coq.Reals.Rtopology]
delta:9 [in Coq.Reals.Rtopology]
del:100 [in Coq.Reals.RiemannInt]
del:105 [in Coq.Reals.RiemannInt]
del:110 [in Coq.Reals.RiemannInt]
del:144 [in Coq.Reals.RiemannInt]
del:148 [in Coq.Reals.RiemannInt]
del:152 [in Coq.Reals.RiemannInt]
del:155 [in Coq.Reals.RiemannInt]
del:159 [in Coq.Reals.RiemannInt]
del:163 [in Coq.Reals.RiemannInt]
del:167 [in Coq.Reals.RiemannInt]
del:171 [in Coq.Reals.RiemannInt]
del:176 [in Coq.Reals.RiemannInt]
del:180 [in Coq.Reals.RiemannInt]
del:185 [in Coq.Reals.RiemannInt]
del:413 [in Coq.Reals.Rtopology]
del:419 [in Coq.Reals.Rtopology]
del:440 [in Coq.Reals.Rtopology]
del:444 [in Coq.Reals.Rtopology]
del:448 [in Coq.Reals.Rtopology]
del:452 [in Coq.Reals.Rtopology]
del:62 [in Coq.Reals.Rtopology]
del:91 [in Coq.Reals.RiemannInt]
del:97 [in Coq.Reals.PSeries_reg]
del:99 [in Coq.Reals.PSeries_reg]
den:108 [in Coq.QArith.QArith_base]
den:114 [in Coq.QArith.QArith_base]
den:119 [in Coq.QArith.QArith_base]
den:121 [in Coq.QArith.QArith_base]
den:132 [in Coq.QArith.QArith_base]
den:2 [in Coq.Numbers.DecimalQ]
den:2 [in Coq.Numbers.HexadecimalR]
den:2 [in Coq.Numbers.HexadecimalQ]
den:2 [in Coq.Numbers.DecimalR]
den:301 [in Coq.setoid_ring.Field_theory]
den:306 [in Coq.setoid_ring.Field_theory]
den:337 [in Coq.setoid_ring.Field_theory]
den:346 [in Coq.setoid_ring.Field_theory]
den:350 [in Coq.setoid_ring.Field_theory]
den:359 [in Coq.setoid_ring.Field_theory]
den:370 [in Coq.setoid_ring.Field_theory]
den:6 [in Coq.Numbers.DecimalQ]
den:6 [in Coq.Numbers.HexadecimalQ]
den:77 [in Coq.Reals.Rdefinitions]
den:85 [in Coq.Reals.Rdefinitions]
den:90 [in Coq.QArith.QArith_base]
den:92 [in Coq.Reals.Rdefinitions]
den:95 [in Coq.QArith.QArith_base]
den:97 [in Coq.Reals.Rdefinitions]
den:97 [in Coq.QArith.QArith_base]
depth:677 [in Coq.MSets.MSetRBT]
devil:20 [in Coq.Vectors.VectorDef]
devil:21 [in Coq.Vectors.VectorDef]
devil:27 [in Coq.Vectors.VectorDef]
devil:38 [in Coq.Vectors.VectorDef]
devil:49 [in Coq.Vectors.VectorDef]
devil:8 [in Coq.Vectors.Fin]
devil:9 [in Coq.Vectors.Fin]
dexpr:174 [in Coq.Reals.Rderiv]
Df_neq:432 [in Coq.Reals.Ranalysis5]
Df_neq:415 [in Coq.Reals.Ranalysis5]
df:108 [in Coq.Reals.Rderiv]
Df:112 [in Coq.Reals.Rlimit]
df:113 [in Coq.Reals.Rderiv]
Df:141 [in Coq.Reals.Rderiv]
df:143 [in Coq.Reals.Rderiv]
df:183 [in Coq.Reals.Ranalysis1]
df:187 [in Coq.Reals.Ranalysis1]
Df:43 [in Coq.Reals.Rlimit]
df:62 [in Coq.Reals.Rderiv]
df:74 [in Coq.Reals.Rderiv]
df:95 [in Coq.Reals.Rderiv]
Dg:113 [in Coq.Reals.Rlimit]
dg:114 [in Coq.Reals.Rderiv]
Dg:142 [in Coq.Reals.Rderiv]
dg:144 [in Coq.Reals.Rderiv]
Dg:44 [in Coq.Reals.Rlimit]
dg:63 [in Coq.Reals.Rderiv]
dg:75 [in Coq.Reals.Rderiv]
digits:1 [in Coq.Numbers.Cyclic.Abstract.DoubleType]
dm:49 [in Coq.NArith.Ndist]
dn:462 [in Coq.Lists.List]
down:12 [in Coq.Reals.Rsqrt_def]
down:16 [in Coq.Reals.Rsqrt_def]
d_rev:38 [in Coq.Init.Decimal]
d_rev:47 [in Coq.Numbers.DecimalFacts]
d_rev:42 [in Coq.Numbers.DecimalFacts]
d_rev:38 [in Coq.Init.Hexadecimal]
d_rev:47 [in Coq.Numbers.HexadecimalFacts]
d_rev:42 [in Coq.Numbers.HexadecimalFacts]
d'':26 [in Coq.NArith.Ndist]
d'':38 [in Coq.NArith.Ndist]
d'':50 [in Coq.NArith.Ndist]
d':100 [in Coq.Numbers.DecimalFacts]
d':100 [in Coq.Numbers.HexadecimalFacts]
d':102 [in Coq.Numbers.DecimalFacts]
d':102 [in Coq.Numbers.HexadecimalFacts]
d':104 [in Coq.Numbers.DecimalFacts]
d':104 [in Coq.Numbers.HexadecimalFacts]
d':109 [in Coq.Numbers.DecimalFacts]
d':109 [in Coq.Numbers.HexadecimalFacts]
d':11 [in Coq.Numbers.DecimalN]
d':11 [in Coq.Numbers.DecimalZ]
d':11 [in Coq.Numbers.HexadecimalZ]
d':11 [in Coq.Numbers.HexadecimalN]
d':112 [in Coq.Numbers.DecimalFacts]
d':112 [in Coq.Numbers.HexadecimalFacts]
d':115 [in Coq.Numbers.DecimalFacts]
d':115 [in Coq.Numbers.HexadecimalFacts]
d':129 [in Coq.Numbers.DecimalFacts]
d':129 [in Coq.Numbers.HexadecimalFacts]
d':13 [in Coq.Numbers.HexadecimalPos]
d':13 [in Coq.Numbers.DecimalPos]
d':131 [in Coq.Numbers.DecimalFacts]
d':131 [in Coq.Numbers.HexadecimalFacts]
d':139 [in Coq.Numbers.DecimalFacts]
d':139 [in Coq.Numbers.HexadecimalFacts]
d':143 [in Coq.Numbers.DecimalFacts]
d':143 [in Coq.Numbers.HexadecimalFacts]
d':150 [in Coq.FSets.FMapAVL]
d':161 [in Coq.Lists.List]
d':169 [in Coq.Numbers.DecimalFacts]
d':169 [in Coq.Numbers.HexadecimalFacts]
d':171 [in Coq.Numbers.DecimalFacts]
d':171 [in Coq.Numbers.HexadecimalFacts]
d':173 [in Coq.Numbers.DecimalFacts]
d':173 [in Coq.Numbers.HexadecimalFacts]
d':18 [in Coq.NArith.Ndist]
d':186 [in Coq.Numbers.DecimalFacts]
d':186 [in Coq.Lists.List]
d':21 [in Coq.Numbers.DecimalN]
d':21 [in Coq.Numbers.HexadecimalN]
d':23 [in Coq.NArith.Ndist]
d':23 [in Coq.Numbers.HexadecimalNat]
d':23 [in Coq.Numbers.DecimalNat]
d':24 [in Coq.Numbers.DecimalFacts]
d':24 [in Coq.Numbers.HexadecimalFacts]
d':25 [in Coq.NArith.Ndist]
d':27 [in Coq.Numbers.DecimalFacts]
d':27 [in Coq.Numbers.HexadecimalFacts]
d':28 [in Coq.Init.Decimal]
d':28 [in Coq.Init.Hexadecimal]
d':32 [in Coq.NArith.Ndist]
d':33 [in Coq.Init.Decimal]
d':33 [in Coq.Init.Hexadecimal]
d':35 [in Coq.NArith.Ndist]
d':36 [in Coq.Numbers.HexadecimalR]
d':36 [in Coq.Numbers.DecimalR]
d':37 [in Coq.NArith.Ndist]
d':39 [in Coq.Numbers.HexadecimalNat]
d':39 [in Coq.Numbers.DecimalNat]
d':40 [in Coq.NArith.Ndist]
d':41 [in Coq.Numbers.HexadecimalNat]
d':41 [in Coq.Numbers.DecimalNat]
d':42 [in Coq.NArith.Ndist]
d':42 [in Coq.Numbers.HexadecimalR]
d':42 [in Coq.Numbers.DecimalR]
d':44 [in Coq.NArith.Ndist]
d':46 [in Coq.NArith.Ndist]
d':48 [in Coq.NArith.Ndist]
d':50 [in Coq.Numbers.DecimalQ]
d':50 [in Coq.Numbers.HexadecimalQ]
d':51 [in Coq.Numbers.HexadecimalNat]
d':51 [in Coq.Numbers.DecimalNat]
d':56 [in Coq.Numbers.DecimalQ]
d':56 [in Coq.Numbers.HexadecimalQ]
d':57 [in Coq.Numbers.HexadecimalPos]
d':57 [in Coq.Numbers.DecimalPos]
d':59 [in Coq.Numbers.HexadecimalPos]
d':59 [in Coq.Numbers.DecimalPos]
d':7 [in Coq.Numbers.DecimalString]
d':7 [in Coq.Numbers.HexadecimalString]
d':708 [in Coq.ssr.ssrbool]
d':713 [in Coq.ssr.ssrbool]
d':72 [in Coq.Numbers.DecimalPos]
d':721 [in Coq.ssr.ssrbool]
d':727 [in Coq.ssr.ssrbool]
d':76 [in Coq.Numbers.HexadecimalPos]
d':82 [in Coq.Numbers.DecimalFacts]
d':82 [in Coq.Numbers.HexadecimalFacts]
d':87 [in Coq.Numbers.DecimalFacts]
d':87 [in Coq.Numbers.HexadecimalFacts]
d':89 [in Coq.Numbers.DecimalFacts]
d':89 [in Coq.Numbers.HexadecimalFacts]
d':9 [in Coq.Numbers.DecimalN]
d':9 [in Coq.Numbers.DecimalZ]
d':9 [in Coq.Numbers.HexadecimalZ]
d':9 [in Coq.Numbers.HexadecimalN]
d':91 [in Coq.Numbers.DecimalFacts]
d':91 [in Coq.Numbers.HexadecimalFacts]
d':93 [in Coq.Numbers.DecimalFacts]
d':93 [in Coq.Numbers.HexadecimalFacts]
d':95 [in Coq.Numbers.DecimalFacts]
d':95 [in Coq.Numbers.HexadecimalFacts]
d':97 [in Coq.Numbers.DecimalFacts]
d':97 [in Coq.Numbers.HexadecimalFacts]
d':99 [in Coq.ZArith.Znumtheory]
D1':668 [in Coq.ssr.ssrbool]
d1':719 [in Coq.ssr.ssrbool]
D1:1 [in Coq.Reals.Rtopology]
d1:101 [in Coq.FSets.FMapAVL]
d1:112 [in Coq.Floats.SpecFloat]
D1:124 [in Coq.Reals.Rpower]
d1:1247 [in Coq.FSets.FMapAVL]
D1:125 [in Coq.Reals.Rtopology]
d1:1253 [in Coq.FSets.FMapAVL]
D1:15 [in Coq.Reals.Rtopology]
d1:1510 [in Coq.FSets.FMapAVL]
d1:1530 [in Coq.FSets.FMapAVL]
d1:1536 [in Coq.FSets.FMapAVL]
D1:18 [in Coq.Reals.Rtopology]
d1:224 [in Coq.Reals.Ranalysis5]
d1:228 [in Coq.Reals.Ranalysis5]
D1:32 [in Coq.Reals.Rtopology]
d1:34 [in Coq.Init.Decimal]
d1:34 [in Coq.Init.Hexadecimal]
d1:353 [in Coq.FSets.FMapFullAVL]
D1:48 [in Coq.Reals.Rtopology]
D1:52 [in Coq.Reals.Rtopology]
D1:55 [in Coq.Reals.Rtopology]
D1:57 [in Coq.Reals.Rtopology]
d1:718 [in Coq.ssr.ssrbool]
D1:98 [in Coq.Reals.Rpower]
D2':669 [in Coq.ssr.ssrbool]
d2:113 [in Coq.Floats.SpecFloat]
d2:1248 [in Coq.FSets.FMapAVL]
d2:1256 [in Coq.FSets.FMapAVL]
D2:126 [in Coq.Reals.Rtopology]
d2:1531 [in Coq.FSets.FMapAVL]
d2:1539 [in Coq.FSets.FMapAVL]
D2:16 [in Coq.Reals.Rtopology]
D2:19 [in Coq.Reals.Rtopology]
D2:2 [in Coq.Reals.Rtopology]
d2:225 [in Coq.Reals.Ranalysis5]
d2:229 [in Coq.Reals.Ranalysis5]
D2:33 [in Coq.Reals.Rtopology]
d2:35 [in Coq.Init.Decimal]
d2:35 [in Coq.Init.Hexadecimal]
d2:354 [in Coq.FSets.FMapFullAVL]
D2:49 [in Coq.Reals.Rtopology]
D2:53 [in Coq.Reals.Rtopology]
D2:56 [in Coq.Reals.Rtopology]
D2:58 [in Coq.Reals.Rtopology]
d3':729 [in Coq.ssr.ssrbool]
D3:34 [in Coq.Reals.Rtopology]
d3:728 [in Coq.ssr.ssrbool]
D:1 [in Coq.Reals.Rderiv]
d:1 [in Coq.Numbers.HexadecimalPos]
d:1 [in Coq.Numbers.HexadecimalNat]
d:1 [in Coq.Numbers.DecimalPos]
d:1 [in Coq.Numbers.DecimalNat]
d:10 [in Coq.QArith.Qabs]
d:10 [in Coq.Numbers.DecimalN]
d:10 [in Coq.Numbers.DecimalZ]
d:10 [in Coq.Numbers.HexadecimalZ]
d:10 [in Coq.Numbers.Cyclic.Int31.Int31]
D:10 [in Coq.Reals.Rtopology]
d:10 [in Coq.Numbers.HexadecimalN]
D:10 [in Coq.Program.Combinators]
D:100 [in Coq.Reals.Rlimit]
d:101 [in Coq.Numbers.DecimalFacts]
d:101 [in Coq.Numbers.HexadecimalFacts]
D:101 [in Coq.Reals.Rtopology]
d:102 [in Coq.ZArith.Znumtheory]
d:1020 [in Coq.FSets.FMapAVL]
d:1024 [in Coq.FSets.FMapAVL]
d:103 [in Coq.Numbers.DecimalFacts]
d:103 [in Coq.Numbers.HexadecimalFacts]
d:1031 [in Coq.Lists.List]
d:104 [in Coq.setoid_ring.Field_theory]
d:1046 [in Coq.Lists.List]
d:105 [in Coq.Numbers.DecimalFacts]
d:105 [in Coq.Numbers.HexadecimalFacts]
D:106 [in Coq.Reals.Rderiv]
d:106 [in Coq.Numbers.DecimalFacts]
d:106 [in Coq.Numbers.HexadecimalFacts]
D:107 [in Coq.Reals.Rtopology]
d:107 [in Coq.micromega.RMicromega]
d:108 [in Coq.Numbers.DecimalFacts]
d:108 [in Coq.Numbers.HexadecimalFacts]
d:109 [in Coq.micromega.RMicromega]
d:109 [in Coq.ZArith.Znumtheory]
d:11 [in Coq.Init.Number]
d:11 [in Coq.Numbers.HexadecimalNat]
d:11 [in Coq.Numbers.HexadecimalR]
d:11 [in Coq.Numbers.DecimalR]
d:11 [in Coq.Numbers.DecimalNat]
d:111 [in Coq.Numbers.Cyclic.Int31.Cyclic31]
d:111 [in Coq.Numbers.DecimalFacts]
d:111 [in Coq.Numbers.HexadecimalFacts]
d:111 [in Coq.micromega.RMicromega]
d:111 [in Coq.QArith.QArith_base]
D:112 [in Coq.Reals.Rderiv]
D:112 [in Coq.Reals.Rtopology]
D:112 [in Coq.Reals.Ranalysis5]
d:113 [in Coq.ZArith.Znumtheory]
d:114 [in Coq.Numbers.DecimalFacts]
d:114 [in Coq.Numbers.HexadecimalFacts]
D:114 [in Coq.Reals.Rtopology]
d:1140 [in Coq.FSets.FMapAVL]
d:1145 [in Coq.FSets.FMapAVL]
d:1149 [in Coq.FSets.FMapAVL]
d:117 [in Coq.Numbers.DecimalFacts]
d:117 [in Coq.Numbers.HexadecimalFacts]
d:119 [in Coq.Numbers.DecimalFacts]
d:119 [in Coq.Numbers.HexadecimalFacts]
D:119 [in Coq.Reals.Rlimit]
d:12 [in Coq.Numbers.HexadecimalPos]
d:12 [in Coq.Numbers.DecimalZ]
d:12 [in Coq.Numbers.HexadecimalZ]
D:12 [in Coq.Reals.Rtopology]
d:12 [in Coq.Numbers.DecimalPos]
d:120 [in Coq.Reals.Cauchy.ConstructiveRcomplete]
d:121 [in Coq.Numbers.Cyclic.Int31.Cyclic31]
D:121 [in Coq.Reals.Rtopology]
d:123 [in Coq.Numbers.Cyclic.Int31.Cyclic31]
D:123 [in Coq.Reals.Rpower]
d:1235 [in Coq.FSets.FMapAVL]
d:124 [in Coq.Numbers.DecimalFacts]
d:124 [in Coq.Floats.SpecFloat]
d:124 [in Coq.Numbers.HexadecimalFacts]
D:125 [in Coq.Reals.Rderiv]
d:125 [in Coq.NArith.BinNatDef]
d:126 [in Coq.NArith.BinNatDef]
d:127 [in Coq.Numbers.DecimalFacts]
d:127 [in Coq.Numbers.HexadecimalFacts]
d:127 [in Coq.NArith.BinNatDef]
d:128 [in Coq.Numbers.DecimalFacts]
d:128 [in Coq.Numbers.HexadecimalFacts]
d:128 [in Coq.Numbers.NatInt.NZDiv]
d:129 [in Coq.NArith.BinNatDef]
d:129 [in Coq.ZArith.Znumtheory]
d:13 [in Coq.Reals.Rderiv]
d:13 [in Coq.Numbers.DecimalN]
d:13 [in Coq.Numbers.HexadecimalN]
d:13 [in Coq.Numbers.Cyclic.Int63.Sint63]
d:130 [in Coq.Numbers.DecimalFacts]
D:130 [in Coq.Reals.Rpower]
d:130 [in Coq.Numbers.HexadecimalFacts]
d:130 [in Coq.NArith.BinNatDef]
d:1301 [in Coq.FSets.FMapAVL]
d:1305 [in Coq.FSets.FMapAVL]
d:131 [in Coq.NArith.BinNatDef]
d:1317 [in Coq.FSets.FMapAVL]
d:132 [in Coq.Numbers.DecimalFacts]
d:132 [in Coq.Lists.List]
d:132 [in Coq.Numbers.HexadecimalFacts]
d:132 [in Coq.Numbers.NatInt.NZDiv]
d:133 [in Coq.Numbers.DecimalFacts]
d:133 [in Coq.Numbers.HexadecimalFacts]
d:134 [in Coq.Numbers.DecimalFacts]
d:134 [in Coq.Numbers.HexadecimalFacts]
d:134 [in Coq.Reals.Cauchy.ConstructiveCauchyReals]
d:135 [in Coq.Lists.List]
d:138 [in Coq.Numbers.DecimalFacts]
d:138 [in Coq.Numbers.HexadecimalFacts]
D:14 [in Coq.Reals.Rderiv]
d:14 [in Coq.Init.Decimal]
d:14 [in Coq.Numbers.DecimalString]
d:14 [in Coq.Init.Hexadecimal]
d:14 [in Coq.Numbers.DecimalZ]
d:14 [in Coq.Numbers.HexadecimalString]
d:14 [in Coq.Numbers.HexadecimalZ]
D:14 [in Coq.Reals.Rtopology]
d:140 [in Coq.Numbers.DecimalFacts]
d:140 [in Coq.Numbers.HexadecimalFacts]
d:141 [in Coq.Numbers.DecimalFacts]
d:141 [in Coq.Floats.SpecFloat]
d:141 [in Coq.Numbers.HexadecimalFacts]
d:142 [in Coq.Numbers.DecimalFacts]
d:142 [in Coq.Numbers.HexadecimalFacts]
d:144 [in Coq.Numbers.Cyclic.ZModulo.ZModulo]
d:144 [in Coq.Numbers.DecimalFacts]
d:144 [in Coq.Numbers.HexadecimalFacts]
d:145 [in Coq.Numbers.DecimalFacts]
d:145 [in Coq.Floats.SpecFloat]
d:145 [in Coq.Numbers.HexadecimalFacts]
d:145 [in Coq.Reals.PSeries_reg]
d:147 [in Coq.Lists.List]
d:15 [in Coq.Numbers.DecimalQ]
d:15 [in Coq.Numbers.HexadecimalQ]
d:15 [in Coq.Numbers.Cyclic.Int63.Sint63]
d:150 [in Coq.Lists.List]
d:151 [in Coq.FSets.FMapAVL]
d:152 [in Coq.Numbers.DecimalFacts]
d:152 [in Coq.FSets.FMapAVL]
d:152 [in Coq.Numbers.HexadecimalFacts]
d:152 [in Coq.Reals.PSeries_reg]
d:153 [in Coq.Numbers.DecimalFacts]
d:153 [in Coq.Lists.List]
d:153 [in Coq.Numbers.HexadecimalFacts]
d:154 [in Coq.Numbers.DecimalFacts]
d:154 [in Coq.Numbers.HexadecimalFacts]
d:155 [in Coq.Numbers.DecimalFacts]
d:155 [in Coq.Numbers.HexadecimalFacts]
d:157 [in Coq.Lists.List]
d:159 [in Coq.Reals.PSeries_reg]
d:16 [in Coq.Numbers.HexadecimalNat]
d:16 [in Coq.Numbers.HexadecimalZ]
d:16 [in Coq.Numbers.DecimalNat]
d:160 [in Coq.Lists.List]
D:161 [in Coq.Reals.Rtopology]
d:164 [in Coq.Lists.List]
D:164 [in Coq.Reals.Rtopology]
d:167 [in Coq.Numbers.DecimalFacts]
d:167 [in Coq.Numbers.HexadecimalFacts]
d:168 [in Coq.Numbers.DecimalFacts]
d:168 [in Coq.Lists.List]
d:168 [in Coq.Numbers.HexadecimalFacts]
d:17 [in Coq.Init.Decimal]
d:17 [in Coq.NArith.Ndist]
d:17 [in Coq.Init.Hexadecimal]
d:17 [in Coq.Numbers.DecimalN]
d:17 [in Coq.Numbers.HexadecimalN]
d:17 [in Coq.Numbers.Cyclic.Int63.Sint63]
d:170 [in Coq.Numbers.DecimalFacts]
d:170 [in Coq.Numbers.HexadecimalFacts]
D:171 [in Coq.Reals.Rderiv]
d:172 [in Coq.Numbers.DecimalFacts]
d:172 [in Coq.Lists.List]
d:172 [in Coq.Numbers.HexadecimalFacts]
d:172 [in Coq.Numbers.Integer.Abstract.ZDivFloor]
d:176 [in Coq.Numbers.Integer.Abstract.ZDivFloor]
d:177 [in Coq.Lists.List]
d:178 [in Coq.PArith.BinPosDef]
d:18 [in Coq.Numbers.DecimalString]
d:18 [in Coq.Numbers.HexadecimalString]
d:18 [in Coq.Numbers.HexadecimalZ]
d:180 [in Coq.Lists.List]
d:182 [in Coq.PArith.BinPosDef]
d:185 [in Coq.Numbers.DecimalFacts]
d:185 [in Coq.Lists.List]
d:185 [in Coq.PArith.BinPosDef]
d:189 [in Coq.PArith.BinPosDef]
d:19 [in Coq.Numbers.HexadecimalNat]
d:19 [in Coq.Numbers.DecimalN]
d:19 [in Coq.Numbers.HexadecimalN]
d:19 [in Coq.Numbers.DecimalNat]
d:192 [in Coq.PArith.BinPosDef]
d:194 [in Coq.PArith.BinPosDef]
d:196 [in Coq.PArith.BinPosDef]
d:198 [in Coq.PArith.BinPosDef]
d:2 [in Coq.Numbers.DecimalString]
d:2 [in Coq.Numbers.DecimalN]
d:2 [in Coq.Numbers.DecimalZ]
d:2 [in Coq.Numbers.HexadecimalString]
d:2 [in Coq.Numbers.HexadecimalZ]
d:2 [in Coq.Numbers.HexadecimalN]
d:20 [in Coq.Init.Decimal]
d:20 [in Coq.Numbers.DecimalString]
d:20 [in Coq.Numbers.HexadecimalPos]
d:20 [in Coq.Init.Hexadecimal]
d:20 [in Coq.Lists.ListDec]
d:20 [in Coq.Numbers.HexadecimalNat]
d:20 [in Coq.Numbers.DecimalN]
D:20 [in Coq.Classes.CMorphisms]
d:20 [in Coq.Numbers.HexadecimalString]
d:20 [in Coq.Numbers.HexadecimalN]
d:20 [in Coq.Numbers.DecimalPos]
d:20 [in Coq.Numbers.DecimalNat]
D:201 [in Coq.Reals.Rtopology]
d:208 [in Coq.Reals.Rfunctions]
d:21 [in Coq.Init.Decimal]
d:21 [in Coq.Numbers.DecimalString]
D:21 [in Coq.Classes.Morphisms]
d:21 [in Coq.Numbers.DecimalQ]
d:21 [in Coq.NArith.Ndist]
d:21 [in Coq.Init.Hexadecimal]
d:21 [in Coq.Numbers.HexadecimalString]
d:21 [in Coq.Numbers.HexadecimalZ]
D:21 [in Coq.Reals.Rtopology]
d:21 [in Coq.Numbers.HexadecimalQ]
d:212 [in Coq.Lists.List]
d:215 [in Coq.Lists.List]
d:217 [in Coq.Lists.List]
d:22 [in Coq.Numbers.HexadecimalPos]
d:22 [in Coq.NArith.Ndist]
d:22 [in Coq.Numbers.HexadecimalNat]
d:22 [in Coq.Numbers.DecimalPos]
d:22 [in Coq.Numbers.DecimalNat]
d:222 [in Coq.Lists.List]
d:222 [in Coq.QArith.QArith_base]
d:227 [in Coq.Lists.List]
d:23 [in Coq.Init.Decimal]
d:23 [in Coq.Numbers.DecimalFacts]
d:23 [in Coq.Numbers.DecimalString]
d:23 [in Coq.Init.Hexadecimal]
d:23 [in Coq.Numbers.HexadecimalFacts]
d:23 [in Coq.Numbers.HexadecimalString]
d:23 [in Coq.micromega.ZifySint63]
D:23 [in Coq.Reals.Rtopology]
d:24 [in Coq.Numbers.DecimalString]
d:24 [in Coq.Numbers.HexadecimalPos]
d:24 [in Coq.NArith.Ndist]
d:24 [in Coq.Numbers.HexadecimalString]
D:24 [in Coq.Reals.Rtopology]
d:24 [in Coq.Numbers.DecimalPos]
d:246 [in Coq.Sorting.Permutation]
d:25 [in Coq.Init.Decimal]
d:25 [in Coq.Numbers.DecimalFacts]
d:25 [in Coq.Numbers.HexadecimalPos]
d:25 [in Coq.Init.Hexadecimal]
d:25 [in Coq.Lists.ListDec]
d:25 [in Coq.Numbers.HexadecimalNat]
d:25 [in Coq.Numbers.HexadecimalFacts]
D:25 [in Coq.Reals.Rtopology]
d:25 [in Coq.Numbers.DecimalPos]
d:25 [in Coq.Numbers.DecimalNat]
d:26 [in Coq.Numbers.DecimalFacts]
d:26 [in Coq.Numbers.HexadecimalPos]
d:26 [in Coq.Numbers.HexadecimalNat]
d:26 [in Coq.FSets.FMapAVL]
d:26 [in Coq.Numbers.HexadecimalFacts]
d:26 [in Coq.Numbers.DecimalPos]
d:26 [in Coq.Numbers.DecimalNat]
d:27 [in Coq.Init.Decimal]
d:27 [in Coq.Numbers.HexadecimalPos]
d:27 [in Coq.Numbers.DecimalQ]
d:27 [in Coq.NArith.Ndist]
d:27 [in Coq.Init.Hexadecimal]
d:27 [in Coq.Numbers.HexadecimalQ]
d:27 [in Coq.Numbers.DecimalPos]
d:27 [in Coq.Logic.FinFun]
d:274 [in Coq.Vectors.VectorSpec]
d:278 [in Coq.Vectors.VectorSpec]
d:28 [in Coq.Numbers.DecimalString]
d:28 [in Coq.Numbers.HexadecimalPos]
d:28 [in Coq.NArith.Ndist]
d:28 [in Coq.Numbers.HexadecimalString]
d:28 [in Coq.Numbers.DecimalPos]
d:284 [in Coq.micromega.RingMicromega]
d:287 [in Coq.Vectors.VectorSpec]
d:29 [in Coq.NArith.Ndist]
d:29 [in Coq.Numbers.HexadecimalNat]
d:29 [in Coq.micromega.ZifySint63]
D:29 [in Coq.Reals.Rtopology]
d:29 [in Coq.Numbers.DecimalNat]
D:292 [in Coq.Reals.Rtopology]
d:3 [in Coq.QArith.Qabs]
d:3 [in Coq.Numbers.HexadecimalNat]
d:3 [in Coq.Numbers.Cyclic.Int63.PrimInt63]
d:3 [in Coq.QArith.Qround]
d:3 [in Coq.Numbers.DecimalNat]
d:30 [in Coq.NArith.Ndist]
d:30 [in Coq.Numbers.HexadecimalNat]
d:30 [in Coq.Numbers.DecimalNat]
D:302 [in Coq.Reals.Rtopology]
d:304 [in Coq.ssr.ssrbool]
d:31 [in Coq.Init.Decimal]
d:31 [in Coq.Numbers.DecimalQ]
d:31 [in Coq.NArith.Ndist]
d:31 [in Coq.Init.Hexadecimal]
d:31 [in Coq.Numbers.HexadecimalNat]
D:31 [in Coq.Reals.Rtopology]
d:31 [in Coq.Numbers.HexadecimalQ]
d:31 [in Coq.Numbers.DecimalNat]
D:31 [in Coq.Sorting.Heap]
D:319 [in Coq.Reals.Rtopology]
d:32 [in Coq.Init.Decimal]
d:32 [in Coq.Numbers.HexadecimalPos]
d:32 [in Coq.Init.Hexadecimal]
d:32 [in Coq.Numbers.HexadecimalNat]
d:32 [in Coq.Numbers.HexadecimalR]
d:32 [in Coq.Numbers.DecimalR]
d:32 [in Coq.Numbers.DecimalPos]
d:32 [in Coq.Numbers.DecimalNat]
d:321 [in Coq.Lists.List]
D:323 [in Coq.Reals.Rtopology]
d:325 [in Coq.Reals.RIneq]
D:328 [in Coq.Reals.Rtopology]
d:33 [in Coq.Numbers.HexadecimalPos]
d:33 [in Coq.NArith.Ndist]
d:33 [in Coq.Numbers.DecimalPos]
d:34 [in Coq.Reals.Abstract.ConstructiveReals]
d:34 [in Coq.Numbers.DecimalString]
d:34 [in Coq.NArith.Ndist]
d:34 [in Coq.Numbers.HexadecimalString]
d:34 [in Coq.Numbers.HexadecimalR]
d:34 [in Coq.Numbers.DecimalR]
d:34 [in Coq.Logic.FinFun]
d:35 [in Coq.Numbers.Cyclic.Int31.Cyclic31]
d:35 [in Coq.Numbers.DecimalString]
d:35 [in Coq.Numbers.HexadecimalNat]
d:35 [in Coq.FSets.FMapAVL]
d:35 [in Coq.Numbers.HexadecimalString]
D:35 [in Coq.Reals.Rtopology]
d:35 [in Coq.Numbers.HexadecimalR]
d:35 [in Coq.Numbers.DecimalR]
d:35 [in Coq.Numbers.DecimalNat]
d:36 [in Coq.Numbers.DecimalString]
d:36 [in Coq.NArith.Ndist]
d:36 [in Coq.Numbers.HexadecimalString]
D:36 [in Coq.Reals.Rtopology]
d:361 [in Coq.Lists.List]
d:367 [in Coq.Lists.List]
d:37 [in Coq.Init.Decimal]
d:37 [in Coq.Numbers.DecimalFacts]
d:37 [in Coq.Numbers.DecimalString]
d:37 [in Coq.Init.Hexadecimal]
d:37 [in Coq.Numbers.HexadecimalNat]
d:37 [in Coq.Numbers.HexadecimalFacts]
d:37 [in Coq.Numbers.HexadecimalString]
D:37 [in Coq.Reals.Rlimit]
d:37 [in Coq.Numbers.DecimalNat]
d:38 [in Coq.Numbers.HexadecimalNat]
D:38 [in Coq.Reals.Rtopology]
d:38 [in Coq.Reals.Cauchy.ConstructiveCauchyRealsMult]
d:38 [in Coq.Numbers.DecimalNat]
d:39 [in Coq.Numbers.DecimalString]
d:39 [in Coq.Numbers.Natural.Abstract.NPow]
d:39 [in Coq.NArith.Ndist]
d:39 [in Coq.Numbers.HexadecimalString]
D:39 [in Coq.Reals.Rtopology]
d:4 [in Coq.Numbers.HexadecimalPos]
d:4 [in Coq.Numbers.Cyclic.Int63.PrimInt63]
d:4 [in Coq.Numbers.DecimalPos]
d:4 [in Coq.Reals.ClassicalConstructiveReals]
d:40 [in Coq.Numbers.HexadecimalNat]
d:40 [in Coq.Numbers.DecimalNat]
d:41 [in Coq.Numbers.DecimalQ]
d:41 [in Coq.NArith.Ndist]
d:41 [in Coq.FSets.FMapAVL]
d:41 [in Coq.Numbers.HexadecimalR]
d:41 [in Coq.Numbers.HexadecimalQ]
d:41 [in Coq.Numbers.DecimalR]
d:43 [in Coq.Numbers.HexadecimalPos]
d:43 [in Coq.Numbers.Natural.Abstract.NPow]
d:43 [in Coq.NArith.Ndist]
d:43 [in Coq.Numbers.HexadecimalNat]
d:43 [in Coq.Numbers.DecimalPos]
d:43 [in Coq.Numbers.DecimalNat]
d:44 [in Coq.Numbers.HexadecimalPos]
d:44 [in Coq.Numbers.DecimalPos]
d:447 [in Coq.Numbers.Cyclic.Int63.Uint63]
d:45 [in Coq.NArith.Ndist]
d:46 [in Coq.Init.Decimal]
d:46 [in Coq.Numbers.DecimalQ]
d:46 [in Coq.Init.Hexadecimal]
d:46 [in Coq.Numbers.HexadecimalQ]
d:460 [in Coq.Lists.List]
d:47 [in Coq.Numbers.HexadecimalPos]
d:47 [in Coq.NArith.Ndist]
d:47 [in Coq.Numbers.HexadecimalNat]
d:47 [in Coq.Numbers.DecimalPos]
d:47 [in Coq.Numbers.DecimalNat]
D:48 [in Coq.Reals.Ranalysis1]
d:48 [in Coq.Numbers.HexadecimalPos]
d:48 [in Coq.Numbers.DecimalQ]
D:48 [in Coq.Reals.Rlimit]
d:48 [in Coq.Numbers.HexadecimalQ]
d:48 [in Coq.Numbers.DecimalPos]
d:49 [in Coq.Numbers.DecimalQ]
d:49 [in Coq.Numbers.HexadecimalNat]
d:49 [in Coq.Numbers.HexadecimalQ]
d:49 [in Coq.Numbers.DecimalNat]
D:49 [in Coq.rtauto.Rtauto]
D:5 [in Coq.Reals.Rderiv]
d:5 [in Coq.Init.Decimal]
d:5 [in Coq.Init.Hexadecimal]
d:5 [in Coq.Numbers.HexadecimalNat]
d:5 [in Coq.Numbers.DecimalN]
d:5 [in Coq.Numbers.DecimalZ]
d:5 [in Coq.Numbers.HexadecimalZ]
d:5 [in Coq.Numbers.HexadecimalN]
d:5 [in Coq.Reals.PSeries_reg]
d:5 [in Coq.Numbers.DecimalNat]
d:50 [in Coq.Numbers.HexadecimalNat]
D:50 [in Coq.Reals.Rtopology]
d:50 [in Coq.Numbers.DecimalNat]
d:503 [in Coq.micromega.Tauto]
d:51 [in Coq.Numbers.NatInt.NZPow]
D:51 [in Coq.Reals.Rtopology]
D:52 [in Coq.Reals.Rderiv]
D:52 [in Coq.Reals.Rlimit]
d:52 [in Coq.micromega.Refl]
d:525 [in Coq.Lists.List]
d:53 [in Coq.Init.Decimal]
d:53 [in Coq.Numbers.HexadecimalPos]
d:53 [in Coq.Init.Hexadecimal]
d:53 [in Coq.Numbers.DecimalPos]
d:54 [in Coq.Reals.R_sqrt]
d:55 [in Coq.Reals.Ranalysis2]
d:55 [in Coq.Numbers.HexadecimalPos]
d:55 [in Coq.Numbers.NatInt.NZPow]
d:55 [in Coq.Numbers.DecimalQ]
d:55 [in Coq.Numbers.HexadecimalQ]
d:55 [in Coq.Numbers.DecimalPos]
d:55 [in Coq.ZArith.Znumtheory]
d:554 [in Coq.Lists.List]
d:56 [in Coq.Reals.Runcountable]
d:56 [in Coq.Numbers.HexadecimalPos]
D:56 [in Coq.Reals.Rlimit]
d:56 [in Coq.Numbers.DecimalPos]
D:57 [in Coq.Reals.Rderiv]
d:58 [in Coq.Init.Decimal]
d:58 [in Coq.Numbers.HexadecimalPos]
d:58 [in Coq.Init.Hexadecimal]
d:58 [in Coq.Numbers.DecimalPos]
d:59 [in Coq.Reals.Ranalysis2]
d:59 [in Coq.FSets.FMapAVL]
D:59 [in Coq.Reals.Rlimit]
d:6 [in Coq.Init.Decimal]
d:6 [in Coq.Numbers.DecimalString]
d:6 [in Coq.Numbers.HexadecimalPos]
d:6 [in Coq.Init.Hexadecimal]
d:6 [in Coq.Numbers.HexadecimalString]
d:6 [in Coq.Numbers.HexadecimalR]
d:6 [in Coq.Numbers.DecimalR]
d:6 [in Coq.Numbers.DecimalPos]
d:600 [in Coq.MSets.MSetRBT]
D:61 [in Coq.Reals.Rderiv]
d:61 [in Coq.Init.Decimal]
d:61 [in Coq.FSets.FMapFullAVL]
d:61 [in Coq.Init.Hexadecimal]
d:61 [in Coq.ZArith.Znumtheory]
d:612 [in Coq.ssr.ssrbool]
d:616 [in Coq.Lists.List]
d:62 [in Coq.Numbers.DecimalFacts]
d:62 [in Coq.Numbers.HexadecimalFacts]
d:63 [in Coq.Init.Decimal]
d:63 [in Coq.Numbers.HexadecimalPos]
d:63 [in Coq.setoid_ring.Field_theory]
d:63 [in Coq.Init.Nat]
d:63 [in Coq.Init.Hexadecimal]
d:64 [in Coq.Reals.Runcountable]
d:64 [in Coq.Numbers.DecimalFacts]
d:64 [in Coq.Numbers.HexadecimalPos]
d:64 [in Coq.micromega.QMicromega]
d:64 [in Coq.Numbers.HexadecimalFacts]
D:64 [in Coq.Reals.Rlimit]
d:64 [in Coq.Numbers.DecimalPos]
d:64 [in Coq.ZArith.Znumtheory]
d:65 [in Coq.Init.Decimal]
d:65 [in Coq.Numbers.HexadecimalPos]
d:65 [in Coq.FSets.FMapFullAVL]
d:65 [in Coq.Init.Hexadecimal]
d:66 [in Coq.Numbers.DecimalFacts]
d:66 [in Coq.Numbers.HexadecimalPos]
d:66 [in Coq.micromega.QMicromega]
d:66 [in Coq.Numbers.HexadecimalFacts]
d:67 [in Coq.Numbers.DecimalFacts]
d:67 [in Coq.setoid_ring.Field_theory]
d:67 [in Coq.Init.Nat]
d:67 [in Coq.Numbers.HexadecimalFacts]
d:67 [in Coq.ZArith.Zpower]
d:68 [in Coq.Init.Decimal]
d:68 [in Coq.Numbers.DecimalFacts]
d:68 [in Coq.Numbers.HexadecimalPos]
d:68 [in Coq.Init.Nat]
d:68 [in Coq.Init.Hexadecimal]
d:68 [in Coq.Numbers.HexadecimalFacts]
d:68 [in Coq.Numbers.DecimalPos]
d:685 [in Coq.MSets.MSetRBT]
d:687 [in Coq.MSets.MSetRBT]
d:69 [in Coq.Init.Decimal]
d:69 [in Coq.Init.Hexadecimal]
d:69 [in Coq.micromega.QMicromega]
D:69 [in Coq.Reals.Rtopology]
d:69 [in Coq.ZArith.Znumtheory]
d:7 [in Coq.Numbers.DecimalN]
d:7 [in Coq.Numbers.DecimalZ]
d:7 [in Coq.Numbers.HexadecimalZ]
d:7 [in Coq.Numbers.HexadecimalN]
d:70 [in Coq.Numbers.DecimalFacts]
d:70 [in Coq.ZArith.BinIntDef]
d:70 [in Coq.Numbers.HexadecimalFacts]
d:70 [in Coq.ZArith.Zpower]
D:70 [in Coq.Reals.Rlimit]
d:70 [in Coq.Numbers.DecimalPos]
d:707 [in Coq.ssr.ssrbool]
d:71 [in Coq.ZArith.BinIntDef]
d:71 [in Coq.Numbers.DecimalPos]
d:712 [in Coq.ssr.ssrbool]
d:72 [in Coq.ZArith.BinIntDef]
d:72 [in Coq.Numbers.HexadecimalPos]
d:72 [in Coq.Init.Nat]
D:72 [in Coq.Reals.Rtopology]
d:72 [in Coq.ZArith.Znumtheory]
d:720 [in Coq.ssr.ssrbool]
d:726 [in Coq.ssr.ssrbool]
D:73 [in Coq.Reals.Rderiv]
d:73 [in Coq.Init.Nat]
d:73 [in Coq.Reals.Rdefinitions]
d:74 [in Coq.ZArith.BinIntDef]
d:74 [in Coq.Numbers.HexadecimalPos]
d:74 [in Coq.setoid_ring.Field_theory]
D:74 [in Coq.Reals.Rtopology]
d:75 [in Coq.Numbers.DecimalFacts]
d:75 [in Coq.Numbers.HexadecimalPos]
d:75 [in Coq.Numbers.HexadecimalFacts]
d:75 [in Coq.ZArith.Znumtheory]
d:76 [in Coq.Numbers.DecimalFacts]
d:76 [in Coq.ZArith.BinIntDef]
d:76 [in Coq.Numbers.HexadecimalFacts]
D:76 [in Coq.Reals.Rlimit]
d:76 [in Coq.micromega.ZMicromega]
d:78 [in Coq.ZArith.BinIntDef]
d:79 [in Coq.Numbers.DecimalFacts]
d:79 [in Coq.Numbers.HexadecimalFacts]
d:8 [in Coq.Reals.Rderiv]
d:8 [in Coq.Numbers.DecimalString]
d:8 [in Coq.Numbers.HexadecimalPos]
d:8 [in Coq.Numbers.DecimalQ]
d:8 [in Coq.Numbers.DecimalN]
d:8 [in Coq.Numbers.DecimalZ]
d:8 [in Coq.Numbers.HexadecimalString]
d:8 [in Coq.Numbers.HexadecimalZ]
d:8 [in Coq.Numbers.Cyclic.Int31.Int31]
d:8 [in Coq.Numbers.HexadecimalN]
d:8 [in Coq.Numbers.HexadecimalQ]
d:8 [in Coq.Numbers.DecimalPos]
d:80 [in Coq.Numbers.DecimalFacts]
d:80 [in Coq.Numbers.HexadecimalFacts]
d:81 [in Coq.Numbers.DecimalFacts]
d:81 [in Coq.setoid_ring.Field_theory]
d:81 [in Coq.Reals.Rdefinitions]
d:81 [in Coq.Numbers.HexadecimalFacts]
d:83 [in Coq.Numbers.DecimalFacts]
d:83 [in Coq.Numbers.HexadecimalFacts]
d:84 [in Coq.Numbers.DecimalFacts]
d:84 [in Coq.Numbers.HexadecimalFacts]
D:84 [in Coq.Reals.Rlimit]
d:84 [in Coq.ZArith.Znumtheory]
d:85 [in Coq.Numbers.DecimalFacts]
d:85 [in Coq.setoid_ring.Field_theory]
d:85 [in Coq.Numbers.HexadecimalFacts]
d:86 [in Coq.Numbers.DecimalFacts]
d:86 [in Coq.Numbers.HexadecimalFacts]
d:87 [in Coq.Init.Nat]
d:87 [in Coq.QArith.QArith_base]
d:878 [in Coq.Lists.List]
d:88 [in Coq.Numbers.DecimalFacts]
d:88 [in Coq.Init.Nat]
d:88 [in Coq.Numbers.HexadecimalFacts]
D:88 [in Coq.Reals.Rtopology]
d:89 [in Coq.Init.Nat]
D:9 [in Coq.Reals.Rderiv]
d:9 [in Coq.Numbers.HexadecimalPos]
d:9 [in Coq.Numbers.DecimalQ]
d:9 [in Coq.Numbers.Cyclic.Int31.Int31]
d:9 [in Coq.Numbers.HexadecimalQ]
d:9 [in Coq.Numbers.DecimalPos]
d:90 [in Coq.Numbers.DecimalFacts]
d:90 [in Coq.Numbers.HexadecimalFacts]
D:90 [in Coq.Reals.Rlimit]
d:902 [in Coq.Lists.List]
d:91 [in Coq.setoid_ring.Field_theory]
d:91 [in Coq.ZArith.Znumtheory]
d:92 [in Coq.Numbers.DecimalFacts]
D:92 [in Coq.Reals.Rpower]
d:92 [in Coq.Numbers.HexadecimalFacts]
D:92 [in Coq.Reals.Rtopology]
d:927 [in Coq.Lists.List]
D:93 [in Coq.Reals.Rderiv]
d:94 [in Coq.Numbers.DecimalFacts]
d:94 [in Coq.Numbers.HexadecimalFacts]
d:95 [in Coq.setoid_ring.Field_theory]
D:95 [in Coq.Reals.Rlimit]
d:953 [in Coq.Lists.List]
d:96 [in Coq.Numbers.DecimalFacts]
d:96 [in Coq.Numbers.HexadecimalFacts]
D:96 [in Coq.Reals.Rtopology]
D:97 [in Coq.Reals.Rpower]
d:98 [in Coq.Numbers.DecimalFacts]
d:98 [in Coq.Numbers.HexadecimalFacts]
D:98 [in Coq.Reals.Rtopology]
d:98 [in Coq.ZArith.Znumtheory]
d:99 [in Coq.Numbers.DecimalFacts]
d:99 [in Coq.Numbers.HexadecimalFacts]



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 (72621 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 (1040 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 (47144 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 (790 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 (586 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 (11858 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 (1030 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 (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 (474 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 (881 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 (1439 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 (4242 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 (165 entries)