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 (73252 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 (47569 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 (800 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 (1555 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 (592 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 (11846 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 (629 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 (494 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 (912 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 (1503 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 (4428 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)

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:266 [in Coq.Reals.Ranalysis5]
delta:269 [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:424 [in Coq.Reals.Ranalysis5]
Df_neq:407 [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:467 [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':139 [in Coq.ZArith.Znumtheory]
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':72 [in Coq.Numbers.DecimalPos]
D':737 [in Coq.ssr.ssrbool]
D':748 [in Coq.ssr.ssrbool]
d':76 [in Coq.Numbers.HexadecimalPos]
D':762 [in Coq.ssr.ssrbool]
d':786 [in Coq.ssr.ssrbool]
d':791 [in Coq.ssr.ssrbool]
d':799 [in Coq.ssr.ssrbool]
d':805 [in Coq.ssr.ssrbool]
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]
D1':690 [in Coq.ssr.ssrbool]
d1':797 [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:222 [in Coq.Reals.Ranalysis5]
d1:226 [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:796 [in Coq.ssr.ssrbool]
D1:98 [in Coq.Reals.Rpower]
D2':691 [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:223 [in Coq.Reals.Ranalysis5]
d2:227 [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':807 [in Coq.ssr.ssrbool]
D3:34 [in Coq.Reals.Rtopology]
d3:806 [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.ssr.ssrfun]
d:101 [in Coq.Numbers.HexadecimalFacts]
D:101 [in Coq.Reals.Rtopology]
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:104 [in Coq.setoid_ring.Field_theory]
d:104 [in Coq.ZArith.Znumtheory]
d:1043 [in Coq.Lists.List]
d:105 [in Coq.Numbers.DecimalFacts]
d:105 [in Coq.Numbers.HexadecimalFacts]
d:1058 [in Coq.Lists.List]
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: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:110 [in Coq.Reals.Ranalysis5]
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: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:117 [in Coq.ZArith.Znumtheory]
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.Numbers.Natural.Abstract.NDiv]
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:123 [in Coq.ZArith.Znumtheory]
d:1235 [in Coq.FSets.FMapAVL]
d:124 [in Coq.Numbers.DecimalFacts]
d:124 [in Coq.Numbers.Natural.Abstract.NDiv]
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.ZArith.Znumtheory]
d:129 [in Coq.NArith.BinNatDef]
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:135 [in Coq.ZArith.Znumtheory]
d:136 [in Coq.Numbers.NatInt.NZDiv]
d:138 [in Coq.Numbers.DecimalFacts]
d:138 [in Coq.Numbers.HexadecimalFacts]
d:138 [in Coq.ZArith.Znumtheory]
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:142 [in Coq.ZArith.Znumtheory]
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:149 [in Coq.ZArith.Znumtheory]
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:153 [in Coq.ZArith.Znumtheory]
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:169 [in Coq.ZArith.Znumtheory]
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.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:21 [in Coq.Init.Decimal]
d:21 [in Coq.Numbers.DecimalString]
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:215 [in Coq.Lists.List]
d:217 [in Coq.Reals.Rfunctions]
d:218 [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:220 [in Coq.Lists.List]
d:222 [in Coq.QArith.QArith_base]
d:225 [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:230 [in Coq.Lists.List]
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: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.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:263 [in Coq.Sorting.Permutation]
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:28 [in Coq.Numbers.DecimalString]
d:28 [in Coq.Numbers.HexadecimalPos]
d:28 [in Coq.NArith.Ndist]
d:28 [in Coq.Lists.ListDec]
d:28 [in Coq.Numbers.HexadecimalString]
d:28 [in Coq.Numbers.DecimalPos]
d:280 [in Coq.micromega.RingMicromega]
d:282 [in Coq.Vectors.VectorSpec]
d:286 [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:295 [in Coq.Vectors.VectorSpec]
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.Classes.Morphisms]
d:30 [in Coq.NArith.Ndist]
d:30 [in Coq.Numbers.HexadecimalNat]
d:30 [in Coq.Numbers.DecimalNat]
d:30 [in Coq.Logic.FinFun]
D:302 [in Coq.Reals.Rtopology]
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:314 [in Coq.ssr.ssrbool]
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:323 [in Coq.Reals.Rtopology]
d:324 [in Coq.Lists.List]
D:328 [in Coq.Reals.Rtopology]
d:33 [in Coq.Numbers.HexadecimalPos]
d:33 [in Coq.NArith.Ndist]
d:33 [in Coq.Lists.ListDec]
d:33 [in Coq.Numbers.DecimalPos]
d:331 [in Coq.Reals.RIneq]
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: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:366 [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:37 [in Coq.Logic.FinFun]
d:372 [in Coq.Lists.List]
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:465 [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:53 [in Coq.Init.Decimal]
d:53 [in Coq.Numbers.HexadecimalPos]
d:53 [in Coq.Init.Hexadecimal]
d:53 [in Coq.Numbers.DecimalPos]
d:530 [in Coq.Lists.List]
d:55 [in Coq.Reals.Ranalysis2]
d:55 [in Coq.Numbers.HexadecimalPos]
d:55 [in Coq.Numbers.NatInt.NZPow]
d:55 [in Coq.Reals.R_sqrt]
d:55 [in Coq.Numbers.DecimalQ]
d:55 [in Coq.Numbers.HexadecimalQ]
d:55 [in Coq.Numbers.DecimalPos]
d:559 [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:57 [in Coq.ZArith.Znumtheory]
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:62 [in Coq.Numbers.DecimalFacts]
d:62 [in Coq.Numbers.HexadecimalFacts]
d:621 [in Coq.Lists.List]
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:63 [in Coq.ZArith.Znumtheory]
d:634 [in Coq.ssr.ssrbool]
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: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:66 [in Coq.ZArith.Znumtheory]
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.Numbers.Natural.Abstract.NDiv0]
d:69 [in Coq.Init.Hexadecimal]
d:69 [in Coq.micromega.QMicromega]
D:69 [in Coq.Reals.Rtopology]
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:71 [in Coq.ZArith.BinIntDef]
d:71 [in Coq.Numbers.DecimalPos]
d:71 [in Coq.ZArith.Znumtheory]
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:73 [in Coq.Reals.Rderiv]
d:73 [in Coq.Numbers.Natural.Abstract.NDiv0]
d:73 [in Coq.Init.Nat]
d:73 [in Coq.Reals.Rdefinitions]
D:736 [in Coq.ssr.ssrbool]
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:74 [in Coq.ZArith.Znumtheory]
D:747 [in Coq.ssr.ssrbool]
d:75 [in Coq.Numbers.DecimalFacts]
d:75 [in Coq.Numbers.HexadecimalPos]
d:75 [in Coq.Numbers.HexadecimalFacts]
D:756 [in Coq.ssr.ssrbool]
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:761 [in Coq.ssr.ssrbool]
d:77 [in Coq.ZArith.Znumtheory]
d:78 [in Coq.ZArith.BinIntDef]
d:785 [in Coq.ssr.ssrbool]
d:79 [in Coq.Numbers.DecimalFacts]
d:79 [in Coq.Numbers.HexadecimalFacts]
d:790 [in Coq.ssr.ssrbool]
d:798 [in Coq.ssr.ssrbool]
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:804 [in Coq.ssr.ssrbool]
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: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: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:890 [in Coq.Lists.List]
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:91 [in Coq.setoid_ring.Field_theory]
d:91 [in Coq.ZArith.Znumtheory]
d:914 [in Coq.Lists.List]
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:93 [in Coq.Reals.Rderiv]
d:939 [in Coq.Lists.List]
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:96 [in Coq.Numbers.DecimalFacts]
d:96 [in Coq.Numbers.HexadecimalFacts]
D:96 [in Coq.Reals.Rtopology]
d:965 [in Coq.Lists.List]
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: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 (73252 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 (47569 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 (800 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 (1555 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 (592 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 (11846 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 (629 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 (494 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 (912 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 (1503 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 (4428 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)