| 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 | (72679 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 | (47172 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 | (791 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 | (1553 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 | (585 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 | (11862 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 | (493 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 | (896 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 | (1443 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) |
S (binder)
sAbs:201 [in Coq.Reals.Abstract.ConstructiveSum]sAbs:216 [in Coq.Reals.Abstract.ConstructiveSum]
sa:10 [in Coq.Classes.SetoidClass]
sa:12 [in Coq.Classes.CEquivalence]
sa:12 [in Coq.Classes.Equivalence]
sa:15 [in Coq.Classes.CEquivalence]
sa:15 [in Coq.Classes.Equivalence]
sa:22 [in Coq.Classes.SetoidClass]
sa:24 [in Coq.Classes.SetoidClass]
sa:6 [in Coq.Classes.SetoidClass]
sa:8 [in Coq.Classes.SetoidClass]
sa:9 [in Coq.Classes.CEquivalence]
sa:9 [in Coq.Classes.Equivalence]
scale:6 [in Coq.Reals.Cauchy.ConstructiveCauchyReals]
second_index:51 [in Coq.Reals.Runcountable]
sep:74 [in Coq.Strings.String]
se:3 [in Coq.Floats.FloatOps]
sf:449 [in Coq.setoid_ring.Field_theory]
shift:234 [in Coq.Reals.Abstract.ConstructiveSum]
shr:12 [in Coq.Floats.FloatOps]
sign:3 [in Coq.Numbers.Cyclic.Abstract.DoubleType]
sig_not_dec:108 [in Coq.Reals.Abstract.ConstructiveLUB]
sig_forall_dec:107 [in Coq.Reals.Abstract.ConstructiveLUB]
sig:39 [in Coq.Classes.Morphisms]
sig:39 [in Coq.Classes.CMorphisms]
size1:406 [in Coq.MSets.MSetRBT]
size1:682 [in Coq.MSets.MSetRBT]
size2:407 [in Coq.MSets.MSetRBT]
size2:683 [in Coq.MSets.MSetRBT]
size:29 [in Coq.Array.PArray]
size:36 [in Coq.Array.PArray]
size:399 [in Coq.MSets.MSetRBT]
size:408 [in Coq.MSets.MSetRBT]
size:49 [in Coq.Numbers.Cyclic.Int63.Uint63]
size:60 [in Coq.Array.PArray]
size:676 [in Coq.MSets.MSetRBT]
size:684 [in Coq.MSets.MSetRBT]
si:164 [in Coq.Numbers.Cyclic.Int31.Int31]
si:170 [in Coq.Numbers.Cyclic.Int31.Int31]
si:21 [in Coq.Numbers.Cyclic.Int31.Int31]
si:29 [in Coq.Numbers.Cyclic.Int31.Int31]
si:39 [in Coq.Numbers.Cyclic.Int31.Int31]
si:59 [in Coq.Numbers.Cyclic.Int31.Cyclic31]
si:65 [in Coq.Numbers.Cyclic.Int31.Cyclic31]
SI:80 [in Coq.Reals.Runcountable]
si:91 [in Coq.Numbers.Cyclic.Int31.Int31]
specs:174 [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
specs:197 [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
sp:316 [in Coq.ssr.ssrbool]
sp:408 [in Coq.ssr.ssrbool]
sp:410 [in Coq.ssr.ssrbool]
sp:417 [in Coq.ssr.ssrbool]
sp:451 [in Coq.ssr.ssrbool]
sreq:119 [in Coq.setoid_ring.InitialRing]
sreq:120 [in Coq.setoid_ring.InitialRing]
sreq:121 [in Coq.setoid_ring.InitialRing]
sreq:125 [in Coq.setoid_ring.InitialRing]
sreq:126 [in Coq.setoid_ring.InitialRing]
sreq:127 [in Coq.setoid_ring.InitialRing]
sr:329 [in Coq.ssr.ssrbool]
stack:13 [in Coq.Sorting.Mergesort]
stack:16 [in Coq.Sorting.Mergesort]
stack:20 [in Coq.Sorting.Mergesort]
stack:23 [in Coq.Sorting.Mergesort]
stack:36 [in Coq.Sorting.Mergesort]
stack:38 [in Coq.Sorting.Mergesort]
stack:40 [in Coq.Sorting.Mergesort]
stack:41 [in Coq.Sorting.Mergesort]
stack:42 [in Coq.Sorting.Mergesort]
stack:45 [in Coq.Sorting.Mergesort]
stack:9 [in Coq.Sorting.Mergesort]
start:17 [in Coq.Logic.ConstructiveEpsilon]
start:23 [in Coq.Logic.ConstructiveEpsilon]
start:25 [in Coq.Logic.ConstructiveEpsilon]
start:28 [in Coq.Logic.ConstructiveEpsilon]
start:33 [in Coq.Logic.ConstructiveEpsilon]
start:38 [in Coq.Logic.ConstructiveEpsilon]
start:51 [in Coq.Logic.ConstructiveEpsilon]
start:55 [in Coq.Logic.ConstructiveEpsilon]
start:65 [in Coq.Logic.ConstructiveEpsilon]
start:68 [in Coq.Logic.ConstructiveEpsilon]
start:70 [in Coq.Logic.ConstructiveEpsilon]
start:80 [in Coq.Logic.ConstructiveEpsilon]
start:891 [in Coq.Lists.List]
start:896 [in Coq.Lists.List]
start:898 [in Coq.Lists.List]
start:900 [in Coq.Lists.List]
start:904 [in Coq.Lists.List]
start:906 [in Coq.Lists.List]
start:909 [in Coq.Lists.List]
start:912 [in Coq.Lists.List]
start:914 [in Coq.Lists.List]
statement:8 [in Coq.ssr.ssreflect]
step:78 [in Coq.ssr.ssreflect]
step:82 [in Coq.ssr.ssreflect]
step:87 [in Coq.ssr.ssreflect]
Streicher_K:178 [in Coq.Logic.EqdepFacts]
st:125 [in Coq.MSets.MSetEqProperties]
st:125 [in Coq.FSets.FSetEqProperties]
st:126 [in Coq.MSets.MSetProperties]
st:126 [in Coq.FSets.FSetProperties]
st:134 [in Coq.MSets.MSetProperties]
st:134 [in Coq.FSets.FSetProperties]
sT:15 [in Coq.ssr.ssreflect]
sT:22 [in Coq.ssr.ssreflect]
sT:28 [in Coq.ssr.ssreflect]
st:281 [in Coq.MSets.MSetProperties]
st:281 [in Coq.FSets.FSetProperties]
st:289 [in Coq.MSets.MSetProperties]
st:289 [in Coq.FSets.FSetProperties]
st:544 [in Coq.FSets.FMapFacts]
st:681 [in Coq.FSets.FMapFacts]
st:690 [in Coq.FSets.FMapFacts]
st:700 [in Coq.FSets.FMapFacts]
subl:54 [in Coq.Classes.Morphisms]
subl:56 [in Coq.Classes.CMorphisms]
subr:57 [in Coq.Classes.Morphisms]
subr:60 [in Coq.Classes.CMorphisms]
subset_r1:327 [in Coq.MSets.MSetGenTree]
subset_l1:318 [in Coq.MSets.MSetGenTree]
subset_r1:73 [in Coq.MSets.MSetGenTree]
subset_l1:68 [in Coq.MSets.MSetGenTree]
sub:10 [in Coq.Numbers.Cyclic.Int63.Ring63]
sub:10 [in Coq.Numbers.Cyclic.Int31.Ring31]
sub:6 [in Coq.setoid_ring.Ncring]
sub:64 [in Coq.Classes.Morphisms]
sub:67 [in Coq.Classes.Morphisms]
sub:67 [in Coq.Classes.CMorphisms]
sub:71 [in Coq.Classes.CMorphisms]
sx:53 [in Coq.Floats.SpecFloat]
sx:60 [in Coq.Floats.SpecFloat]
symb:40 [in Coq.Classes.CEquivalence]
symb:40 [in Coq.Classes.Equivalence]
symmetric_eq:45 [in Coq.Logic.Adjointification]
szero:65 [in Coq.Floats.SpecFloat]
s'':149 [in Coq.FSets.FSetPositive]
s'':150 [in Coq.FSets.FSetCompat]
s'':154 [in Coq.FSets.FSetInterface]
s'':158 [in Coq.FSets.FSetInterface]
s'':189 [in Coq.FSets.FSetInterface]
s'':194 [in Coq.FSets.FSetInterface]
s'':199 [in Coq.FSets.FSetInterface]
s'':201 [in Coq.FSets.FSetBridge]
s'':21 [in Coq.FSets.FSetBridge]
s'':213 [in Coq.FSets.FSetBridge]
s'':22 [in Coq.FSets.FSetFacts]
s'':225 [in Coq.FSets.FSetBridge]
s'':231 [in Coq.FSets.FSetPositive]
s'':25 [in Coq.FSets.FSetBridge]
s'':26 [in Coq.FSets.FSetCompat]
s'':29 [in Coq.FSets.FSetBridge]
s'':39 [in Coq.MSets.MSetProperties]
s'':39 [in Coq.FSets.FSetProperties]
s'':43 [in Coq.MSets.MSetProperties]
s'':43 [in Coq.FSets.FSetProperties]
s'':47 [in Coq.MSets.MSetProperties]
s'':47 [in Coq.FSets.FSetProperties]
s':100 [in Coq.MSets.MSetInterface]
s':101 [in Coq.Lists.SetoidList]
s':102 [in Coq.MSets.MSetGenTree]
s':104 [in Coq.FSets.FSetBridge]
s':104 [in Coq.MSets.MSetWeakList]
s':104 [in Coq.FSets.FSetInterface]
s':106 [in Coq.MSets.MSetProperties]
s':106 [in Coq.FSets.FSetProperties]
s':107 [in Coq.FSets.FSetBridge]
s':108 [in Coq.MSets.MSetWeakList]
s':11 [in Coq.FSets.FSetBridge]
s':113 [in Coq.MSets.MSetWeakList]
s':117 [in Coq.MSets.MSetWeakList]
s':118 [in Coq.MSets.MSetInterface]
s':12 [in Coq.FSets.FSetToFiniteSet]
s':12 [in Coq.MSets.MSetToFiniteSet]
s':121 [in Coq.Lists.SetoidList]
s':122 [in Coq.MSets.MSetInterface]
s':122 [in Coq.MSets.MSetWeakList]
s':122 [in Coq.Lists.SetoidList]
s':123 [in Coq.MSets.MSetPositive]
s':126 [in Coq.MSets.MSetInterface]
s':126 [in Coq.MSets.MSetWeakList]
s':126 [in Coq.FSets.FSetInterface]
s':126 [in Coq.FSets.FSetPositive]
s':126 [in Coq.MSets.MSetPositive]
s':1274 [in Coq.FSets.FMapAVL]
s':1276 [in Coq.FSets.FMapAVL]
s':128 [in Coq.FSets.FSetBridge]
s':129 [in Coq.FSets.FSetInterface]
s':129 [in Coq.FSets.FSetPositive]
s':130 [in Coq.FSets.FSetBridge]
s':130 [in Coq.MSets.MSetProperties]
s':130 [in Coq.FSets.FSetProperties]
s':130 [in Coq.Lists.SetoidList]
s':131 [in Coq.MSets.MSetWeakList]
s':131 [in Coq.Lists.SetoidList]
s':132 [in Coq.FSets.FSetBridge]
s':133 [in Coq.FSets.FSetInterface]
s':134 [in Coq.FSets.FSetBridge]
s':135 [in Coq.MSets.MSetWeakList]
s':136 [in Coq.FSets.FSetBridge]
s':137 [in Coq.MSets.MSetList]
s':138 [in Coq.FSets.FSetBridge]
s':14 [in Coq.MSets.MSetEqProperties]
s':14 [in Coq.FSets.FSetToFiniteSet]
s':14 [in Coq.FSets.FSetEqProperties]
s':14 [in Coq.MSets.MSetToFiniteSet]
s':140 [in Coq.Lists.SetoidList]
s':142 [in Coq.MSets.MSetList]
s':144 [in Coq.FSets.FSetBridge]
s':145 [in Coq.FSets.FSetInterface]
s':145 [in Coq.FSets.FSetCompat]
s':146 [in Coq.MSets.MSetList]
s':146 [in Coq.FSets.FSetPositive]
s':148 [in Coq.FSets.FSetPositive]
s':148 [in Coq.MSets.MSetPositive]
s':149 [in Coq.FSets.FSetCompat]
s':150 [in Coq.FSets.FSetInterface]
s':150 [in Coq.MSets.MSetPositive]
s':151 [in Coq.MSets.MSetList]
s':152 [in Coq.MSets.MSetPositive]
s':152 [in Coq.FSets.FSetCompat]
s':153 [in Coq.FSets.FSetInterface]
s':154 [in Coq.MSets.MSetPositive]
s':154 [in Coq.FSets.FSetCompat]
s':1555 [in Coq.FSets.FMapAVL]
s':156 [in Coq.MSets.MSetList]
s':156 [in Coq.FSets.FSetCompat]
s':157 [in Coq.FSets.FSetInterface]
s':159 [in Coq.MSets.MSetProperties]
s':159 [in Coq.FSets.FSetProperties]
s':159 [in Coq.FSets.FSetCompat]
s':16 [in Coq.FSets.FSetCompat]
s':160 [in Coq.MSets.MSetList]
s':161 [in Coq.FSets.FSetInterface]
s':162 [in Coq.MSets.MSetPositive]
s':164 [in Coq.FSets.FSetPositive]
s':165 [in Coq.MSets.MSetList]
s':166 [in Coq.FSets.FSetPositive]
s':167 [in Coq.Lists.SetoidList]
s':168 [in Coq.FSets.FSetPositive]
s':168 [in Coq.MSets.MSetPositive]
s':17 [in Coq.FSets.FSetBridge]
s':170 [in Coq.MSets.MSetList]
s':170 [in Coq.FSets.FSetPositive]
s':170 [in Coq.MSets.MSetPositive]
s':170 [in Coq.Lists.SetoidList]
s':170 [in Coq.FSets.FSetCompat]
s':171 [in Coq.FSets.FSetBridge]
s':172 [in Coq.FSets.FSetPositive]
s':172 [in Coq.MSets.MSetPositive]
s':174 [in Coq.MSets.MSetList]
s':174 [in Coq.FSets.FSetPositive]
s':174 [in Coq.MSets.MSetPositive]
s':175 [in Coq.MSets.MSetProperties]
s':175 [in Coq.FSets.FSetProperties]
s':176 [in Coq.FSets.FSetInterface]
s':176 [in Coq.FSets.FSetPositive]
s':178 [in Coq.MSets.MSetProperties]
s':178 [in Coq.FSets.FSetPositive]
s':178 [in Coq.FSets.FSetProperties]
s':179 [in Coq.MSets.MSetList]
s':18 [in Coq.MSets.MSetList]
s':181 [in Coq.MSets.MSetProperties]
s':181 [in Coq.FSets.FSetProperties]
s':182 [in Coq.Lists.SetoidList]
s':183 [in Coq.FSets.FSetBridge]
s':183 [in Coq.MSets.MSetList]
s':184 [in Coq.FSets.FSetInterface]
s':185 [in Coq.Lists.SetoidList]
s':186 [in Coq.FSets.FSetPositive]
s':188 [in Coq.FSets.FSetInterface]
s':19 [in Coq.MSets.MSetEqProperties]
s':19 [in Coq.FSets.FSetToFiniteSet]
s':19 [in Coq.MSets.MSetWeakList]
s':19 [in Coq.MSets.MSetList]
s':19 [in Coq.FSets.FSetEqProperties]
s':19 [in Coq.MSets.MSetToFiniteSet]
s':192 [in Coq.MSets.MSetInterface]
s':192 [in Coq.FSets.FSetPositive]
s':193 [in Coq.FSets.FSetInterface]
s':194 [in Coq.FSets.FSetPositive]
s':195 [in Coq.MSets.MSetInterface]
s':195 [in Coq.MSets.MSetProperties]
s':195 [in Coq.FSets.FSetProperties]
s':196 [in Coq.FSets.FSetPositive]
s':198 [in Coq.FSets.FSetInterface]
s':198 [in Coq.FSets.FSetPositive]
s':2 [in Coq.FSets.FSetCompat]
s':20 [in Coq.FSets.FSetBridge]
s':200 [in Coq.FSets.FSetBridge]
s':201 [in Coq.FSets.FSetCompat]
s':203 [in Coq.FSets.FSetBridge]
s':203 [in Coq.FSets.FSetInterface]
s':205 [in Coq.MSets.MSetProperties]
s':205 [in Coq.FSets.FSetProperties]
s':205 [in Coq.FSets.FSetCompat]
s':206 [in Coq.FSets.FSetBridge]
s':206 [in Coq.FSets.FSetInterface]
s':207 [in Coq.FSets.FSetCompat]
s':208 [in Coq.MSets.MSetProperties]
s':208 [in Coq.FSets.FSetProperties]
s':209 [in Coq.FSets.FSetBridge]
s':21 [in Coq.MSets.MSetWeakList]
s':21 [in Coq.FSets.FSetFacts]
s':210 [in Coq.MSets.MSetProperties]
s':210 [in Coq.FSets.FSetProperties]
s':211 [in Coq.MSets.MSetList]
s':212 [in Coq.FSets.FSetBridge]
s':212 [in Coq.FSets.FSetInterface]
s':213 [in Coq.MSets.MSetInterface]
s':213 [in Coq.MSets.MSetProperties]
s':213 [in Coq.FSets.FSetProperties]
s':214 [in Coq.MSets.MSetPositive]
s':215 [in Coq.MSets.MSetInterface]
s':215 [in Coq.FSets.FSetBridge]
s':215 [in Coq.MSets.MSetProperties]
s':215 [in Coq.FSets.FSetProperties]
s':217 [in Coq.MSets.MSetInterface]
s':217 [in Coq.MSets.MSetPositive]
s':218 [in Coq.FSets.FSetBridge]
s':218 [in Coq.MSets.MSetProperties]
s':218 [in Coq.FSets.FSetProperties]
s':219 [in Coq.MSets.MSetInterface]
s':220 [in Coq.MSets.MSetProperties]
s':220 [in Coq.MSets.MSetPositive]
s':220 [in Coq.FSets.FSetProperties]
s':221 [in Coq.MSets.MSetInterface]
s':221 [in Coq.FSets.FSetBridge]
s':222 [in Coq.MSets.MSetProperties]
s':222 [in Coq.FSets.FSetProperties]
s':224 [in Coq.FSets.FSetBridge]
s':227 [in Coq.FSets.FSetBridge]
s':23 [in Coq.FSets.FSetCompat]
s':230 [in Coq.FSets.FSetBridge]
s':230 [in Coq.FSets.FSetPositive]
s':233 [in Coq.FSets.FSetBridge]
s':233 [in Coq.FSets.FSetPositive]
s':239 [in Coq.MSets.MSetInterface]
s':24 [in Coq.FSets.FSetBridge]
s':25 [in Coq.MSets.MSetWeakList]
s':25 [in Coq.MSets.MSetList]
s':25 [in Coq.FSets.FSetFacts]
s':25 [in Coq.FSets.FSetCompat]
s':250 [in Coq.MSets.MSetProperties]
s':250 [in Coq.FSets.FSetProperties]
s':256 [in Coq.FSets.FSetBridge]
s':259 [in Coq.MSets.MSetProperties]
s':259 [in Coq.MSets.MSetGenTree]
s':259 [in Coq.FSets.FSetProperties]
s':26 [in Coq.MSets.MSetInterface]
s':260 [in Coq.MSets.MSetList]
s':262 [in Coq.MSets.MSetProperties]
s':262 [in Coq.MSets.MSetList]
s':262 [in Coq.FSets.FSetProperties]
s':264 [in Coq.FSets.FSetInterface]
s':264 [in Coq.FSets.FSetPositive]
s':266 [in Coq.FSets.FSetPositive]
s':267 [in Coq.MSets.MSetProperties]
s':267 [in Coq.FSets.FSetProperties]
s':269 [in Coq.FSets.FSetPositive]
s':27 [in Coq.MSets.MSetWeakList]
s':27 [in Coq.FSets.FSetInterface]
s':272 [in Coq.MSets.MSetList]
s':272 [in Coq.FSets.FSetPositive]
s':273 [in Coq.MSets.MSetProperties]
s':273 [in Coq.FSets.FSetProperties]
s':274 [in Coq.MSets.MSetInterface]
s':276 [in Coq.FSets.FSetPositive]
s':277 [in Coq.MSets.MSetProperties]
s':277 [in Coq.FSets.FSetProperties]
s':278 [in Coq.MSets.MSetInterface]
s':278 [in Coq.FSets.FSetPositive]
s':28 [in Coq.FSets.FSetBridge]
s':281 [in Coq.FSets.FSetPositive]
s':284 [in Coq.FSets.FSetPositive]
s':285 [in Coq.MSets.MSetProperties]
s':285 [in Coq.FSets.FSetProperties]
s':287 [in Coq.MSets.MSetInterface]
s':288 [in Coq.FSets.FSetPositive]
s':29 [in Coq.MSets.MSetInterface]
s':290 [in Coq.FSets.FSetPositive]
s':293 [in Coq.FSets.FSetPositive]
s':296 [in Coq.FSets.FSetBridge]
s':296 [in Coq.FSets.FSetPositive]
s':299 [in Coq.MSets.MSetInterface]
s':299 [in Coq.FSets.FSetBridge]
s':299 [in Coq.MSets.MSetProperties]
s':30 [in Coq.FSets.FSetFacts]
s':303 [in Coq.FSets.FSetBridge]
s':303 [in Coq.MSets.MSetPositive]
s':303 [in Coq.FSets.FSetProperties]
s':305 [in Coq.MSets.MSetPositive]
s':306 [in Coq.MSets.MSetInterface]
s':307 [in Coq.MSets.MSetProperties]
s':31 [in Coq.MSets.MSetList]
s':310 [in Coq.MSets.MSetInterface]
s':311 [in Coq.FSets.FSetProperties]
s':313 [in Coq.MSets.MSetInterface]
s':32 [in Coq.FSets.FSetBridge]
s':32 [in Coq.FSets.FSetCompat]
s':33 [in Coq.FSets.FSetFacts]
s':332 [in Coq.MSets.MSetInterface]
s':338 [in Coq.MSets.MSetGenTree]
s':34 [in Coq.FSets.FSetBridge]
s':34 [in Coq.FSets.FSetCompat]
s':341 [in Coq.MSets.MSetInterface]
s':345 [in Coq.MSets.MSetInterface]
s':347 [in Coq.MSets.MSetInterface]
s':349 [in Coq.MSets.MSetInterface]
s':35 [in Coq.MSets.MSetProperties]
s':35 [in Coq.FSets.FSetProperties]
s':36 [in Coq.MSets.MSetFacts]
s':36 [in Coq.MSets.MSetList]
s':36 [in Coq.FSets.FSetCompat]
s':365 [in Coq.FSets.FMapFullAVL]
s':38 [in Coq.MSets.MSetProperties]
s':38 [in Coq.FSets.FSetProperties]
s':38 [in Coq.FSets.FSetCompat]
s':390 [in Coq.MSets.MSetRBT]
s':393 [in Coq.FSets.FSetPositive]
s':394 [in Coq.MSets.MSetRBT]
s':395 [in Coq.FSets.FSetPositive]
s':4 [in Coq.FSets.FSetInterface]
s':4 [in Coq.MSets.MSetRBT]
s':40 [in Coq.MSets.MSetList]
s':41 [in Coq.MSets.MSetEqProperties]
s':41 [in Coq.FSets.FSetEqProperties]
s':42 [in Coq.MSets.MSetProperties]
s':42 [in Coq.FSets.FSetProperties]
s':44 [in Coq.MSets.MSetEqProperties]
s':44 [in Coq.FSets.FSetEqProperties]
s':46 [in Coq.MSets.MSetProperties]
s':46 [in Coq.FSets.FSetProperties]
s':5 [in Coq.MSets.MSetProperties]
s':5 [in Coq.FSets.FSetProperties]
s':5 [in Coq.FSets.FSetCompat]
s':56 [in Coq.MSets.MSetProperties]
s':56 [in Coq.FSets.FSetProperties]
s':59 [in Coq.MSets.MSetWeakList]
s':6 [in Coq.FSets.FSetToFiniteSet]
s':6 [in Coq.MSets.MSetToFiniteSet]
s':60 [in Coq.FSets.FSetBridge]
s':60 [in Coq.MSets.MSetProperties]
s':60 [in Coq.FSets.FSetProperties]
s':60 [in Coq.FSets.FSetCompat]
s':61 [in Coq.MSets.MSetEqProperties]
s':61 [in Coq.FSets.FSetEqProperties]
s':62 [in Coq.MSets.MSetWeakList]
s':63 [in Coq.FSets.FSetCompat]
s':64 [in Coq.MSets.MSetEqProperties]
s':64 [in Coq.FSets.FSetEqProperties]
s':66 [in Coq.FSets.FSetCompat]
s':69 [in Coq.FSets.FSetCompat]
s':7 [in Coq.FSets.FSetBridge]
s':7 [in Coq.FSets.FSetInterface]
s':715 [in Coq.MSets.MSetRBT]
s':717 [in Coq.MSets.MSetRBT]
s':719 [in Coq.MSets.MSetRBT]
s':72 [in Coq.FSets.FSetCompat]
s':73 [in Coq.MSets.MSetEqProperties]
s':73 [in Coq.MSets.MSetProperties]
s':73 [in Coq.FSets.FSetEqProperties]
s':73 [in Coq.FSets.FSetProperties]
s':74 [in Coq.MSets.MSetList]
s':75 [in Coq.FSets.FSetCompat]
s':78 [in Coq.FSets.FSetCompat]
s':8 [in Coq.FSets.FSetToFiniteSet]
s':8 [in Coq.MSets.MSetToFiniteSet]
s':81 [in Coq.FSets.FSetCompat]
s':84 [in Coq.FSets.FSetCompat]
s':9 [in Coq.MSets.MSetProperties]
s':9 [in Coq.FSets.FSetProperties]
s':90 [in Coq.PArith.BinPosDef]
s':96 [in Coq.FSets.FSetBridge]
s':96 [in Coq.MSets.MSetList]
s':97 [in Coq.MSets.MSetInterface]
s':98 [in Coq.FSets.FSetDecide]
s':98 [in Coq.MSets.MSetDecide]
s':99 [in Coq.MSets.MSetProperties]
s':99 [in Coq.MSets.MSetList]
s':99 [in Coq.MSets.MSetGenTree]
s':99 [in Coq.FSets.FSetProperties]
s1x:146 [in Coq.MSets.MSetRBT]
s1':322 [in Coq.MSets.MSetInterface]
s1':328 [in Coq.MSets.MSetInterface]
s1':341 [in Coq.MSets.MSetGenTree]
s1:10 [in Coq.Strings.String]
s1:103 [in Coq.Strings.String]
S1:106 [in Coq.micromega.ZifyClasses]
s1:107 [in Coq.FSets.FSetDecide]
s1:107 [in Coq.MSets.MSetDecide]
s1:107 [in Coq.Structures.OrderedTypeEx]
s1:108 [in Coq.Strings.String]
s1:111 [in Coq.Structures.OrderedTypeEx]
s1:116 [in Coq.Structures.OrderedTypeEx]
s1:116 [in Coq.Reals.RiemannInt_SF]
s1:117 [in Coq.Lists.SetoidList]
s1:118 [in Coq.FSets.FSetDecide]
s1:118 [in Coq.MSets.MSetDecide]
s1:120 [in Coq.micromega.ZifyClasses]
s1:121 [in Coq.MSets.MSetRBT]
s1:124 [in Coq.FSets.FSetDecide]
s1:124 [in Coq.MSets.MSetDecide]
S1:126 [in Coq.micromega.ZifyClasses]
s1:126 [in Coq.Lists.SetoidList]
s1:131 [in Coq.MSets.MSetRBT]
s1:134 [in Coq.Reals.RiemannInt_SF]
s1:136 [in Coq.micromega.ZifyClasses]
S1:136 [in Coq.setoid_ring.Ring_polynom]
s1:141 [in Coq.MSets.MSetRBT]
S1:146 [in Coq.micromega.EnvRing]
s1:147 [in Coq.micromega.ZifyClasses]
s1:147 [in Coq.MSets.MSetRBT]
S1:150 [in Coq.micromega.EnvRing]
S1:151 [in Coq.setoid_ring.Ring_polynom]
s1:1514 [in Coq.FSets.FMapAVL]
S1:152 [in Coq.micromega.EnvRing]
s1:1521 [in Coq.FSets.FMapAVL]
s1:153 [in Coq.micromega.ZifyClasses]
S1:154 [in Coq.micromega.EnvRing]
s1:1543 [in Coq.FSets.FMapAVL]
s1:1548 [in Coq.FSets.FMapAVL]
S1:155 [in Coq.setoid_ring.Ring_polynom]
s1:157 [in Coq.micromega.ZifyClasses]
S1:157 [in Coq.setoid_ring.Ring_polynom]
S1:159 [in Coq.setoid_ring.Ring_polynom]
s1:160 [in Coq.Lists.SetoidList]
s1:161 [in Coq.micromega.ZifyClasses]
s1:165 [in Coq.micromega.ZifyClasses]
s1:169 [in Coq.micromega.ZifyClasses]
s1:17 [in Coq.Sets.Uniset]
s1:176 [in Coq.Lists.SetoidList]
s1:19 [in Coq.Strings.String]
s1:20 [in Coq.Sets.Uniset]
S1:23 [in Coq.micromega.ZifyClasses]
s1:230 [in Coq.FSets.FSetInterface]
s1:24 [in Coq.Strings.String]
s1:24 [in Coq.Sets.Uniset]
s1:25 [in Coq.Lists.Streams]
s1:26 [in Coq.Strings.String]
s1:26 [in Coq.Sets.Uniset]
s1:27 [in Coq.FSets.FSetDecide]
s1:27 [in Coq.MSets.MSetDecide]
s1:277 [in Coq.setoid_ring.Field_theory]
s1:28 [in Coq.Strings.String]
s1:283 [in Coq.setoid_ring.Field_theory]
s1:29 [in Coq.FSets.FSetDecide]
s1:29 [in Coq.MSets.MSetDecide]
s1:3 [in Coq.Strings.String]
s1:30 [in Coq.Lists.Streams]
s1:31 [in Coq.Strings.String]
s1:316 [in Coq.MSets.MSetInterface]
s1:32 [in Coq.Lists.Streams]
s1:321 [in Coq.MSets.MSetInterface]
s1:327 [in Coq.MSets.MSetInterface]
s1:333 [in Coq.MSets.MSetGenTree]
s1:339 [in Coq.MSets.MSetGenTree]
s1:34 [in Coq.Strings.String]
s1:34 [in Coq.MSets.MSetAVL]
s1:36 [in Coq.Lists.Streams]
s1:36 [in Coq.Strings.String]
s1:363 [in Coq.MSets.MSetGenTree]
s1:368 [in Coq.MSets.MSetGenTree]
s1:370 [in Coq.MSets.MSetGenTree]
s1:374 [in Coq.MSets.MSetGenTree]
s1:38 [in Coq.Lists.Streams]
s1:38 [in Coq.Strings.String]
s1:44 [in Coq.MSets.MSetWeakList]
s1:44 [in Coq.MSets.MSetAVL]
s1:461 [in Coq.MSets.MSetRBT]
s1:47 [in Coq.FSets.FMapAVL]
s1:488 [in Coq.MSets.MSetRBT]
s1:492 [in Coq.MSets.MSetRBT]
s1:496 [in Coq.MSets.MSetRBT]
s1:5 [in Coq.Strings.String]
s1:50 [in Coq.Strings.String]
s1:504 [in Coq.MSets.MSetRBT]
s1:507 [in Coq.MSets.MSetRBT]
s1:510 [in Coq.MSets.MSetRBT]
s1:513 [in Coq.MSets.MSetRBT]
s1:521 [in Coq.MSets.MSetRBT]
s1:525 [in Coq.MSets.MSetRBT]
s1:53 [in Coq.Strings.String]
s1:533 [in Coq.MSets.MSetRBT]
s1:541 [in Coq.MSets.MSetRBT]
s1:549 [in Coq.MSets.MSetRBT]
s1:553 [in Coq.MSets.MSetAVL]
s1:553 [in Coq.MSets.MSetRBT]
s1:556 [in Coq.MSets.MSetAVL]
s1:556 [in Coq.MSets.MSetRBT]
s1:56 [in Coq.Strings.String]
s1:564 [in Coq.MSets.MSetRBT]
s1:569 [in Coq.MSets.MSetRBT]
s1:57 [in Coq.MSets.MSetGenTree]
s1:570 [in Coq.MSets.MSetAVL]
s1:573 [in Coq.MSets.MSetAVL]
s1:573 [in Coq.MSets.MSetRBT]
s1:604 [in Coq.MSets.MSetAVL]
s1:609 [in Coq.MSets.MSetAVL]
s1:614 [in Coq.MSets.MSetAVL]
s1:618 [in Coq.MSets.MSetAVL]
s1:623 [in Coq.MSets.MSetAVL]
s1:628 [in Coq.MSets.MSetAVL]
s1:632 [in Coq.MSets.MSetAVL]
s1:637 [in Coq.MSets.MSetAVL]
s1:64 [in Coq.MSets.MSetList]
s1:64 [in Coq.MSets.MSetAVL]
s1:64 [in Coq.MSets.MSetGenTree]
s1:66 [in Coq.MSets.MSetGenTree]
s1:67 [in Coq.Sets.Powerset_facts]
s1:696 [in Coq.MSets.MSetRBT]
s1:698 [in Coq.MSets.MSetRBT]
s1:700 [in Coq.MSets.MSetRBT]
s1:702 [in Coq.MSets.MSetRBT]
s1:704 [in Coq.MSets.MSetRBT]
s1:72 [in Coq.MSets.MSetAVL]
s1:75 [in Coq.FSets.FSetBridge]
s1:78 [in Coq.Strings.String]
s1:78 [in Coq.MSets.MSetGenTree]
s1:78 [in Coq.Sets.Powerset_facts]
S1:8 [in Coq.micromega.ZifyClasses]
s1:80 [in Coq.MSets.MSetAVL]
s1:82 [in Coq.Sets.Powerset_facts]
s1:83 [in Coq.Strings.String]
s1:85 [in Coq.FSets.FSetDecide]
s1:85 [in Coq.MSets.MSetDecide]
s1:86 [in Coq.Strings.String]
s1:86 [in Coq.Sets.Powerset_facts]
s1:89 [in Coq.Sets.Powerset_facts]
s1:91 [in Coq.FSets.FSetDecide]
s1:91 [in Coq.MSets.MSetDecide]
s1:94 [in Coq.Strings.String]
s1:98 [in Coq.Strings.String]
s2x:149 [in Coq.MSets.MSetRBT]
s2':318 [in Coq.MSets.MSetInterface]
s2':324 [in Coq.MSets.MSetInterface]
s2':330 [in Coq.MSets.MSetInterface]
s2':342 [in Coq.MSets.MSetGenTree]
s2':38 [in Coq.MSets.MSetAVL]
s2':48 [in Coq.MSets.MSetAVL]
s2:104 [in Coq.Strings.String]
S2:107 [in Coq.micromega.ZifyClasses]
s2:108 [in Coq.FSets.FSetDecide]
s2:108 [in Coq.MSets.MSetDecide]
s2:108 [in Coq.Structures.OrderedTypeEx]
s2:109 [in Coq.Strings.String]
s2:11 [in Coq.Strings.String]
s2:112 [in Coq.Structures.OrderedTypeEx]
s2:117 [in Coq.Structures.OrderedTypeEx]
s2:117 [in Coq.Reals.RiemannInt_SF]
s2:118 [in Coq.Lists.SetoidList]
s2:119 [in Coq.FSets.FSetDecide]
s2:119 [in Coq.MSets.MSetDecide]
s2:122 [in Coq.MSets.MSetRBT]
s2:123 [in Coq.micromega.ZifyClasses]
s2:125 [in Coq.FSets.FSetDecide]
s2:125 [in Coq.MSets.MSetDecide]
S2:127 [in Coq.micromega.ZifyClasses]
s2:127 [in Coq.Lists.SetoidList]
s2:132 [in Coq.MSets.MSetRBT]
s2:135 [in Coq.Reals.RiemannInt_SF]
S2:138 [in Coq.setoid_ring.Ring_polynom]
s2:142 [in Coq.MSets.MSetRBT]
S2:148 [in Coq.micromega.EnvRing]
s2:148 [in Coq.MSets.MSetRBT]
s2:150 [in Coq.micromega.ZifyClasses]
s2:1522 [in Coq.FSets.FMapAVL]
S2:153 [in Coq.setoid_ring.Ring_polynom]
s2:154 [in Coq.micromega.ZifyClasses]
s2:1549 [in Coq.FSets.FMapAVL]
s2:158 [in Coq.micromega.ZifyClasses]
s2:161 [in Coq.Lists.SetoidList]
s2:162 [in Coq.micromega.ZifyClasses]
s2:166 [in Coq.micromega.ZifyClasses]
s2:177 [in Coq.Lists.SetoidList]
s2:18 [in Coq.Sets.Uniset]
s2:20 [in Coq.Strings.String]
s2:21 [in Coq.Sets.Uniset]
s2:231 [in Coq.FSets.FSetInterface]
S2:24 [in Coq.micromega.ZifyClasses]
s2:25 [in Coq.Strings.String]
s2:25 [in Coq.Sets.Uniset]
s2:26 [in Coq.Lists.Streams]
s2:27 [in Coq.Strings.String]
s2:27 [in Coq.Sets.Uniset]
s2:278 [in Coq.setoid_ring.Field_theory]
s2:28 [in Coq.FSets.FSetDecide]
s2:28 [in Coq.MSets.MSetDecide]
s2:284 [in Coq.setoid_ring.Field_theory]
s2:29 [in Coq.Strings.String]
s2:30 [in Coq.FSets.FSetDecide]
s2:30 [in Coq.MSets.MSetDecide]
s2:31 [in Coq.Lists.Streams]
s2:317 [in Coq.MSets.MSetInterface]
s2:32 [in Coq.Strings.String]
s2:322 [in Coq.MSets.MSetGenTree]
s2:323 [in Coq.MSets.MSetInterface]
s2:329 [in Coq.MSets.MSetInterface]
s2:33 [in Coq.Lists.Streams]
s2:331 [in Coq.MSets.MSetGenTree]
s2:334 [in Coq.MSets.MSetGenTree]
s2:340 [in Coq.MSets.MSetGenTree]
s2:35 [in Coq.Strings.String]
s2:35 [in Coq.MSets.MSetAVL]
s2:369 [in Coq.MSets.MSetGenTree]
s2:37 [in Coq.Lists.Streams]
s2:37 [in Coq.Strings.String]
s2:371 [in Coq.MSets.MSetGenTree]
s2:375 [in Coq.MSets.MSetGenTree]
s2:39 [in Coq.Lists.Streams]
s2:39 [in Coq.Strings.String]
s2:4 [in Coq.Strings.String]
s2:45 [in Coq.MSets.MSetWeakList]
s2:45 [in Coq.MSets.MSetAVL]
s2:462 [in Coq.MSets.MSetRBT]
s2:48 [in Coq.FSets.FMapAVL]
s2:489 [in Coq.MSets.MSetRBT]
s2:493 [in Coq.MSets.MSetRBT]
s2:497 [in Coq.MSets.MSetRBT]
s2:505 [in Coq.MSets.MSetRBT]
s2:508 [in Coq.MSets.MSetRBT]
s2:51 [in Coq.Strings.String]
s2:511 [in Coq.MSets.MSetRBT]
s2:514 [in Coq.MSets.MSetRBT]
s2:522 [in Coq.MSets.MSetRBT]
s2:526 [in Coq.MSets.MSetRBT]
s2:534 [in Coq.MSets.MSetRBT]
s2:54 [in Coq.Strings.String]
s2:542 [in Coq.MSets.MSetRBT]
s2:550 [in Coq.MSets.MSetRBT]
s2:554 [in Coq.MSets.MSetAVL]
s2:554 [in Coq.MSets.MSetRBT]
s2:557 [in Coq.MSets.MSetAVL]
s2:557 [in Coq.MSets.MSetRBT]
s2:565 [in Coq.MSets.MSetRBT]
s2:57 [in Coq.Strings.String]
s2:570 [in Coq.MSets.MSetRBT]
s2:571 [in Coq.MSets.MSetAVL]
s2:574 [in Coq.MSets.MSetAVL]
s2:574 [in Coq.MSets.MSetRBT]
s2:6 [in Coq.Strings.String]
s2:605 [in Coq.MSets.MSetAVL]
s2:610 [in Coq.MSets.MSetAVL]
s2:615 [in Coq.MSets.MSetAVL]
s2:619 [in Coq.MSets.MSetAVL]
s2:624 [in Coq.MSets.MSetAVL]
s2:629 [in Coq.MSets.MSetAVL]
s2:633 [in Coq.MSets.MSetAVL]
s2:638 [in Coq.MSets.MSetAVL]
s2:65 [in Coq.MSets.MSetList]
s2:65 [in Coq.MSets.MSetAVL]
s2:65 [in Coq.MSets.MSetGenTree]
s2:67 [in Coq.MSets.MSetGenTree]
s2:68 [in Coq.Sets.Powerset_facts]
s2:697 [in Coq.MSets.MSetRBT]
s2:699 [in Coq.MSets.MSetRBT]
s2:70 [in Coq.MSets.MSetGenTree]
s2:701 [in Coq.MSets.MSetRBT]
s2:703 [in Coq.MSets.MSetRBT]
s2:705 [in Coq.MSets.MSetRBT]
s2:73 [in Coq.MSets.MSetAVL]
s2:75 [in Coq.MSets.MSetGenTree]
s2:76 [in Coq.FSets.FSetBridge]
s2:79 [in Coq.Strings.String]
s2:79 [in Coq.MSets.MSetGenTree]
s2:79 [in Coq.Sets.Powerset_facts]
s2:81 [in Coq.MSets.MSetAVL]
s2:83 [in Coq.Sets.Powerset_facts]
s2:84 [in Coq.Strings.String]
s2:86 [in Coq.FSets.FSetDecide]
s2:86 [in Coq.MSets.MSetDecide]
s2:87 [in Coq.Strings.String]
s2:87 [in Coq.Sets.Powerset_facts]
S2:9 [in Coq.micromega.ZifyClasses]
s2:90 [in Coq.Sets.Powerset_facts]
s2:92 [in Coq.FSets.FSetDecide]
s2:92 [in Coq.MSets.MSetDecide]
s2:95 [in Coq.Strings.String]
s2:99 [in Coq.Strings.String]
S3:10 [in Coq.micromega.ZifyClasses]
S3:108 [in Coq.micromega.ZifyClasses]
s3:109 [in Coq.FSets.FSetDecide]
s3:109 [in Coq.MSets.MSetDecide]
s3:121 [in Coq.Reals.RiemannInt_SF]
s3:139 [in Coq.Reals.RiemannInt_SF]
s3:34 [in Coq.Lists.Streams]
s3:80 [in Coq.Sets.Powerset_facts]
s3:84 [in Coq.Sets.Powerset_facts]
s3:87 [in Coq.FSets.FSetDecide]
s3:87 [in Coq.MSets.MSetDecide]
s3:93 [in Coq.FSets.FSetDecide]
s3:93 [in Coq.MSets.MSetDecide]
s4:110 [in Coq.FSets.FSetDecide]
s4:110 [in Coq.MSets.MSetDecide]
s4:88 [in Coq.FSets.FSetDecide]
s4:88 [in Coq.MSets.MSetDecide]
s4:94 [in Coq.FSets.FSetDecide]
s4:94 [in Coq.MSets.MSetDecide]
s:1 [in Coq.FSets.FSetBridge]
S:1 [in Coq.micromega.ZifyClasses]
s:1 [in Coq.FSets.FSetToFiniteSet]
s:1 [in Coq.MSets.MSetAVL]
s:1 [in Coq.MSets.MSetToFiniteSet]
s:1 [in Coq.FSets.FSetCompat]
s:10 [in Coq.Lists.Streams]
s:10 [in Coq.Strings.OctalString]
s:10 [in Coq.FSets.FSetBridge]
s:10 [in Coq.Strings.HexString]
s:10 [in Coq.Strings.BinaryString]
s:10 [in Coq.FSets.FMapWeakList]
s:10 [in Coq.FSets.FMapList]
s:10 [in Coq.FSets.FSetCompat]
s:100 [in Coq.FSets.FSetBridge]
S:100 [in Coq.rtauto.Bintree]
s:100 [in Coq.Arith.PeanoNat]
s:100 [in Coq.Lists.SetoidList]
s:100 [in Coq.FSets.FSetCompat]
s:101 [in Coq.MSets.MSetProperties]
s:101 [in Coq.MSets.MSetList]
s:101 [in Coq.MSets.MSetRBT]
s:101 [in Coq.FSets.FMapWeakList]
s:101 [in Coq.MSets.MSetGenTree]
s:101 [in Coq.FSets.FSetProperties]
s:102 [in Coq.MSets.MSetInterface]
s:102 [in Coq.FSets.FSetDecide]
s:102 [in Coq.MSets.MSetEqProperties]
s:102 [in Coq.MSets.MSetProperties]
s:102 [in Coq.MSets.MSetDecide]
s:102 [in Coq.FSets.FSetEqProperties]
s:102 [in Coq.FSets.FMapList]
s:102 [in Coq.FSets.FSetProperties]
s:103 [in Coq.FSets.FSetBridge]
s:103 [in Coq.MSets.MSetProperties]
s:103 [in Coq.MSets.MSetWeakList]
s:103 [in Coq.FSets.FSetInterface]
s:103 [in Coq.MSets.MSetRBT]
s:103 [in Coq.Reals.Abstract.ConstructiveSum]
s:103 [in Coq.FSets.FSetProperties]
s:103 [in Coq.FSets.FSetCompat]
s:104 [in Coq.MSets.MSetList]
s:104 [in Coq.FSets.FMapWeakList]
s:104 [in Coq.MSets.MSetGenTree]
s:105 [in Coq.MSets.MSetInterface]
s:105 [in Coq.MSets.MSetProperties]
s:105 [in Coq.Structures.OrderedTypeEx]
s:105 [in Coq.FSets.FSetProperties]
s:106 [in Coq.FSets.FSetBridge]
s:106 [in Coq.Strings.String]
s:106 [in Coq.FSets.FSetCompat]
s:107 [in Coq.MSets.MSetWeakList]
s:107 [in Coq.MSets.MSetList]
s:107 [in Coq.MSets.MSetGenTree]
s:107 [in Coq.FSets.FMapList]
s:108 [in Coq.MSets.MSetInterface]
s:108 [in Coq.MSets.MSetProperties]
s:108 [in Coq.FSets.FMapWeakList]
s:108 [in Coq.FSets.FSetProperties]
s:109 [in Coq.FSets.FSetBridge]
s:109 [in Coq.MSets.MSetProperties]
s:109 [in Coq.MSets.MSetList]
s:109 [in Coq.FSets.FSetProperties]
s:109 [in Coq.FSets.FSetCompat]
s:11 [in Coq.Numbers.DecimalString]
s:11 [in Coq.FSets.FSetToFiniteSet]
s:11 [in Coq.Numbers.HexadecimalString]
s:11 [in Coq.MSets.MSetToFiniteSet]
s:110 [in Coq.MSets.MSetInterface]
s:110 [in Coq.MSets.MSetProperties]
s:110 [in Coq.Strings.String]
s:110 [in Coq.MSets.MSetGenTree]
s:110 [in Coq.FSets.FMapList]
s:110 [in Coq.FSets.FSetProperties]
s:111 [in Coq.MSets.MSetProperties]
s:111 [in Coq.MSets.MSetRBT]
s:111 [in Coq.FSets.FSetProperties]
s:112 [in Coq.FSets.FSetBridge]
s:112 [in Coq.MSets.MSetProperties]
s:112 [in Coq.MSets.MSetWeakList]
s:112 [in Coq.MSets.MSetList]
s:112 [in Coq.FSets.FMapWeakList]
s:112 [in Coq.FSets.FSetProperties]
s:112 [in Coq.FSets.FSetCompat]
s:113 [in Coq.MSets.MSetInterface]
s:113 [in Coq.MSets.MSetProperties]
s:113 [in Coq.Strings.String]
s:113 [in Coq.MSets.MSetGenTree]
s:113 [in Coq.FSets.FSetProperties]
S:114 [in Coq.rtauto.Bintree]
s:114 [in Coq.FSets.FMapList]
s:115 [in Coq.FSets.FSetBridge]
s:115 [in Coq.FSets.FSetDecide]
s:115 [in Coq.MSets.MSetProperties]
s:115 [in Coq.ZArith.BinInt]
s:115 [in Coq.Floats.SpecFloat]
s:115 [in Coq.MSets.MSetDecide]
s:115 [in Coq.MSets.MSetList]
s:115 [in Coq.Reals.Abstract.ConstructiveSum]
s:115 [in Coq.FSets.FSetProperties]
s:115 [in Coq.FSets.FSetCompat]
s:116 [in Coq.Strings.String]
s:116 [in Coq.MSets.MSetWeakList]
S:116 [in Coq.rtauto.Bintree]
s:116 [in Coq.MSets.MSetGenTree]
s:117 [in Coq.MSets.MSetInterface]
s:117 [in Coq.FSets.FSetBridge]
s:117 [in Coq.MSets.MSetEqProperties]
s:117 [in Coq.MSets.MSetProperties]
s:117 [in Coq.Strings.String]
s:117 [in Coq.FSets.FSetEqProperties]
s:117 [in Coq.FSets.FSetProperties]
s:118 [in Coq.FSets.FSetBridge]
s:118 [in Coq.ZArith.BinInt]
s:118 [in Coq.Strings.String]
s:118 [in Coq.MSets.MSetList]
S:118 [in Coq.rtauto.Bintree]
s:118 [in Coq.Reals.Abstract.ConstructiveLimits]
s:118 [in Coq.FSets.FMapList]
s:118 [in Coq.FSets.FSetCompat]
s:1181 [in Coq.FSets.FMapAVL]
s:1185 [in Coq.FSets.FMapAVL]
s:1188 [in Coq.FSets.FMapAVL]
s:119 [in Coq.FSets.FSetBridge]
s:119 [in Coq.Strings.String]
S:119 [in Coq.rtauto.Bintree]
s:1190 [in Coq.FSets.FMapAVL]
s:1195 [in Coq.FSets.FMapAVL]
s:1196 [in Coq.FSets.FMapAVL]
s:12 [in Coq.MSets.MSetWeakList]
s:12 [in Coq.MSets.MSetList]
s:12 [in Coq.FSets.FSetInterface]
s:12 [in Coq.Setoids.Setoid]
s:120 [in Coq.FSets.FSetBridge]
s:120 [in Coq.Strings.String]
s:120 [in Coq.Lists.SetoidList]
s:120 [in Coq.FSets.FSetCompat]
s:1202 [in Coq.FSets.FMapAVL]
s:121 [in Coq.MSets.MSetInterface]
s:121 [in Coq.Strings.String]
s:121 [in Coq.MSets.MSetWeakList]
s:1212 [in Coq.FSets.FMapAVL]
s:1214 [in Coq.FSets.FMapAVL]
s:1219 [in Coq.FSets.FMapAVL]
s:122 [in Coq.FSets.FSetBridge]
s:122 [in Coq.MSets.MSetList]
s:122 [in Coq.MSets.MSetPositive]
s:1222 [in Coq.FSets.FMapAVL]
s:123 [in Coq.FSets.FSetBridge]
s:123 [in Coq.MSets.MSetProperties]
s:123 [in Coq.Reals.Abstract.ConstructiveLimits]
s:123 [in Coq.FSets.FSetProperties]
s:123 [in Coq.Lists.SetoidList]
s:123 [in Coq.FSets.FSetCompat]
s:1238 [in Coq.FSets.FMapAVL]
s:124 [in Coq.MSets.MSetGenTree]
s:125 [in Coq.MSets.MSetInterface]
s:125 [in Coq.FSets.FSetBridge]
s:125 [in Coq.MSets.MSetWeakList]
s:125 [in Coq.FSets.FSetInterface]
s:125 [in Coq.FSets.FSetPositive]
s:125 [in Coq.MSets.MSetPositive]
s:125 [in Coq.FSets.FSetCompat]
s:126 [in Coq.Floats.SpecFloat]
s:126 [in Coq.MSets.MSetList]
s:126 [in Coq.FSets.FSetCompat]
s:127 [in Coq.FSets.FSetBridge]
s:127 [in Coq.MSets.MSetGenTree]
s:1273 [in Coq.FSets.FMapAVL]
s:1275 [in Coq.FSets.FMapAVL]
s:128 [in Coq.FSets.FSetInterface]
s:128 [in Coq.FSets.FSetPositive]
s:128 [in Coq.MSets.MSetPositive]
s:128 [in Coq.FSets.FSetCompat]
s:129 [in Coq.Numbers.Cyclic.ZModulo.ZModulo]
s:129 [in Coq.MSets.MSetInterface]
s:129 [in Coq.FSets.FSetBridge]
s:129 [in Coq.FSets.FSetDecide]
s:129 [in Coq.MSets.MSetEqProperties]
s:129 [in Coq.MSets.MSetProperties]
s:129 [in Coq.MSets.MSetDecide]
s:129 [in Coq.MSets.MSetList]
s:129 [in Coq.FSets.FSetEqProperties]
s:129 [in Coq.FSets.FSetProperties]
s:129 [in Coq.Lists.SetoidList]
s:13 [in Coq.FSets.FSetBridge]
s:13 [in Coq.MSets.MSetEqProperties]
s:13 [in Coq.FSets.FSetToFiniteSet]
s:13 [in Coq.Floats.FloatLemmas]
s:13 [in Coq.FSets.FSetEqProperties]
s:13 [in Coq.MSets.MSetToFiniteSet]
s:13 [in Coq.FSets.FSetCompat]
s:130 [in Coq.MSets.MSetWeakList]
s:130 [in Coq.MSets.MSetGenTree]
s:130 [in Coq.FSets.FSetCompat]
s:131 [in Coq.FSets.FSetBridge]
s:131 [in Coq.FSets.FSetPositive]
s:131 [in Coq.MSets.MSetPositive]
s:131 [in Coq.FSets.FSetCompat]
s:132 [in Coq.MSets.MSetInterface]
s:132 [in Coq.FSets.FSetInterface]
s:132 [in Coq.Lists.SetoidList]
s:133 [in Coq.Numbers.Cyclic.ZModulo.ZModulo]
s:133 [in Coq.FSets.FSetBridge]
s:133 [in Coq.FSets.FSetCompat]
s:134 [in Coq.MSets.MSetEqProperties]
S:134 [in Coq.setoid_ring.Ring_polynom]
s:134 [in Coq.MSets.MSetWeakList]
s:134 [in Coq.FSets.FSetEqProperties]
s:134 [in Coq.FSets.FSetPositive]
s:134 [in Coq.MSets.MSetPositive]
s:134 [in Coq.MSets.MSetGenTree]
s:135 [in Coq.MSets.MSetInterface]
s:135 [in Coq.FSets.FSetBridge]
s:135 [in Coq.FSets.FSetInterface]
s:136 [in Coq.MSets.MSetList]
s:136 [in Coq.FSets.FSetCompat]
s:137 [in Coq.FSets.FSetBridge]
s:137 [in Coq.MSets.MSetProperties]
s:137 [in Coq.FSets.FSetPositive]
s:137 [in Coq.MSets.MSetGenTree]
s:137 [in Coq.FSets.FSetProperties]
s:137 [in Coq.FSets.FSetCompat]
s:138 [in Coq.MSets.MSetWeakList]
s:138 [in Coq.FSets.FSetInterface]
s:138 [in Coq.MSets.MSetPositive]
s:139 [in Coq.FSets.FSetBridge]
S:139 [in Coq.micromega.ZifyClasses]
s:139 [in Coq.Lists.SetoidList]
s:139 [in Coq.FSets.FSetCompat]
s:14 [in Coq.Lists.Streams]
s:14 [in Coq.FSets.FMapWeakList]
s:14 [in Coq.FSets.FMapList]
s:140 [in Coq.FSets.FSetBridge]
s:140 [in Coq.MSets.MSetWeakList]
S:141 [in Coq.micromega.EnvRing]
s:141 [in Coq.MSets.MSetWeakList]
s:141 [in Coq.MSets.MSetList]
s:141 [in Coq.FSets.FSetInterface]
s:141 [in Coq.FSets.FSetPositive]
s:141 [in Coq.MSets.MSetGenTree]
s:142 [in Coq.FSets.FSetBridge]
s:142 [in Coq.FSets.FSetCompat]
s:143 [in Coq.FSets.FSetBridge]
S:143 [in Coq.micromega.EnvRing]
s:143 [in Coq.MSets.MSetWeakList]
s:143 [in Coq.MSets.MSetGenTree]
s:143 [in Coq.FSets.FSetCompat]
s:144 [in Coq.FSets.FSetInterface]
s:144 [in Coq.FSets.FSetPositive]
s:144 [in Coq.MSets.MSetGenTree]
s:144 [in Coq.FSets.FSetCompat]
s:145 [in Coq.MSets.MSetList]
s:145 [in Coq.FSets.FSetPositive]
s:145 [in Coq.MSets.MSetPositive]
s:145 [in Coq.MSets.MSetGenTree]
S:146 [in Coq.setoid_ring.Ring_polynom]
s:146 [in Coq.MSets.MSetWeakList]
s:146 [in Coq.MSets.MSetPositive]
s:146 [in Coq.MSets.MSetGenTree]
s:147 [in Coq.FSets.FSetBridge]
s:147 [in Coq.FSets.FSetInterface]
s:147 [in Coq.FSets.FSetPositive]
s:147 [in Coq.MSets.MSetPositive]
s:147 [in Coq.Reals.Abstract.ConstructiveSum]
s:148 [in Coq.MSets.MSetProperties]
S:148 [in Coq.setoid_ring.Ring_polynom]
s:148 [in Coq.FSets.FSetProperties]
s:148 [in Coq.FSets.FSetCompat]
s:149 [in Coq.FSets.FSetBridge]
s:149 [in Coq.MSets.MSetWeakList]
s:149 [in Coq.FSets.FSetInterface]
s:149 [in Coq.MSets.MSetPositive]
s:15 [in Coq.FSets.FSetDecide]
s:15 [in Coq.MSets.MSetEqProperties]
s:15 [in Coq.Floats.FloatLemmas]
s:15 [in Coq.MSets.MSetDecide]
s:15 [in Coq.MSets.MSetList]
s:15 [in Coq.FSets.FSetInterface]
s:15 [in Coq.FSets.FSetEqProperties]
s:15 [in Coq.Sets.Uniset]
s:15 [in Coq.Logic.HLevels]
s:15 [in Coq.FSets.FSetCompat]
s:150 [in Coq.MSets.MSetList]
s:150 [in Coq.FSets.FSetPositive]
s:151 [in Coq.FSets.FSetBridge]
s:151 [in Coq.MSets.MSetPositive]
s:151 [in Coq.Numbers.Cyclic.Int31.Int31]
s:151 [in Coq.FSets.FSetCompat]
s:152 [in Coq.MSets.MSetWeakList]
s:152 [in Coq.Init.Specif]
s:152 [in Coq.FSets.FSetInterface]
s:152 [in Coq.FSets.FSetPositive]
s:153 [in Coq.FSets.FSetBridge]
s:153 [in Coq.MSets.MSetPositive]
s:153 [in Coq.FSets.FSetCompat]
s:154 [in Coq.FSets.FSetBridge]
s:154 [in Coq.Init.Specif]
s:155 [in Coq.FSets.FSetBridge]
s:155 [in Coq.MSets.MSetWeakList]
s:155 [in Coq.MSets.MSetList]
s:155 [in Coq.FSets.FSetCompat]
s:1554 [in Coq.FSets.FMapAVL]
s:156 [in Coq.FSets.FSetBridge]
s:156 [in Coq.MSets.MSetProperties]
s:156 [in Coq.FSets.FSetInterface]
s:156 [in Coq.Reals.Abstract.ConstructiveSum]
s:156 [in Coq.FSets.FSetProperties]
s:158 [in Coq.FSets.FSetBridge]
s:158 [in Coq.MSets.MSetProperties]
s:158 [in Coq.MSets.MSetWeakList]
s:158 [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
s:158 [in Coq.FSets.FSetProperties]
s:158 [in Coq.FSets.FSetCompat]
s:159 [in Coq.MSets.MSetList]
s:159 [in Coq.FSets.FSetPositive]
s:16 [in Coq.FSets.FSetBridge]
s:16 [in Coq.Numbers.DecimalString]
s:16 [in Coq.FSets.FSetToFiniteSet]
s:16 [in Coq.Floats.FloatLemmas]
s:16 [in Coq.Numbers.HexadecimalString]
s:16 [in Coq.MSets.MSetToFiniteSet]
s:16 [in Coq.FSets.FMapWeakList]
s:16 [in Coq.FSets.FMapList]
s:160 [in Coq.MSets.MSetWeakList]
s:160 [in Coq.FSets.FSetInterface]
s:160 [in Coq.FSets.FSetPositive]
s:161 [in Coq.FSets.FSetBridge]
s:161 [in Coq.FSets.FSetPositive]
s:161 [in Coq.MSets.MSetPositive]
s:161 [in Coq.FSets.FSetCompat]
s:162 [in Coq.FSets.FSetBridge]
s:162 [in Coq.MSets.MSetProperties]
s:162 [in Coq.FSets.FSetPositive]
s:162 [in Coq.FSets.FSetProperties]
s:163 [in Coq.FSets.FSetBridge]
s:163 [in Coq.MSets.MSetWeakList]
s:163 [in Coq.FSets.FSetInterface]
s:163 [in Coq.FSets.FSetPositive]
s:163 [in Coq.MSets.MSetRBT]
s:164 [in Coq.MSets.MSetList]
s:164 [in Coq.Reals.Abstract.ConstructiveSum]
s:164 [in Coq.FSets.FSetCompat]
s:165 [in Coq.FSets.FSetBridge]
s:165 [in Coq.Reals.Rfunctions]
s:165 [in Coq.MSets.MSetProperties]
s:165 [in Coq.FSets.FSetPositive]
s:165 [in Coq.MSets.MSetRBT]
s:165 [in Coq.FSets.FSetProperties]
s:166 [in Coq.Lists.SetoidList]
s:167 [in Coq.MSets.MSetWeakList]
s:167 [in Coq.FSets.FSetInterface]
s:167 [in Coq.FSets.FSetPositive]
s:167 [in Coq.MSets.MSetRBT]
s:167 [in Coq.MSets.MSetPositive]
s:167 [in Coq.FSets.FSetCompat]
s:168 [in Coq.FSets.FSetBridge]
s:168 [in Coq.MSets.MSetProperties]
s:168 [in Coq.FSets.FSetProperties]
s:169 [in Coq.MSets.MSetList]
s:169 [in Coq.FSets.FSetInterface]
s:169 [in Coq.FSets.FSetPositive]
s:169 [in Coq.MSets.MSetRBT]
s:169 [in Coq.MSets.MSetPositive]
s:169 [in Coq.FSets.FMapWeakList]
s:169 [in Coq.FSets.FSetCompat]
s:17 [in Coq.MSets.MSetEqProperties]
s:17 [in Coq.Floats.FloatLemmas]
s:17 [in Coq.MSets.MSetWeakList]
s:17 [in Coq.MSets.MSetAVL]
s:17 [in Coq.FSets.FSetEqProperties]
s:170 [in Coq.FSets.FSetBridge]
s:170 [in Coq.FSets.FMapList]
s:171 [in Coq.Reals.Rfunctions]
s:171 [in Coq.MSets.MSetProperties]
s:171 [in Coq.MSets.MSetWeakList]
s:171 [in Coq.FSets.FSetPositive]
s:171 [in Coq.MSets.MSetPositive]
s:171 [in Coq.FSets.FSetProperties]
s:171 [in Coq.Lists.SetoidList]
s:172 [in Coq.FSets.FSetBridge]
s:172 [in Coq.FSets.FSetInterface]
s:172 [in Coq.Reals.Abstract.ConstructiveSum]
s:173 [in Coq.MSets.MSetList]
s:173 [in Coq.FSets.FSetPositive]
s:173 [in Coq.MSets.MSetPositive]
s:173 [in Coq.FSets.FMapWeakList]
s:174 [in Coq.MSets.MSetProperties]
s:174 [in Coq.MSets.MSetWeakList]
s:174 [in Coq.FSets.FMapList]
s:174 [in Coq.FSets.FSetProperties]
s:175 [in Coq.FSets.FSetBridge]
s:175 [in Coq.FSets.FSetInterface]
s:175 [in Coq.FSets.FSetPositive]
s:175 [in Coq.FSets.FMapWeakList]
s:176 [in Coq.NArith.BinNat]
s:176 [in Coq.FSets.FMapList]
s:177 [in Coq.MSets.MSetProperties]
s:177 [in Coq.FSets.FSetPositive]
s:177 [in Coq.MSets.MSetGenTree]
s:177 [in Coq.FSets.FSetProperties]
s:178 [in Coq.FSets.FSetBridge]
s:178 [in Coq.Reals.Rfunctions]
s:178 [in Coq.MSets.MSetList]
s:178 [in Coq.FSets.FMapWeakList]
s:178 [in Coq.MSets.MSetGenTree]
s:179 [in Coq.FSets.FSetInterface]
s:179 [in Coq.NArith.BinNat]
s:179 [in Coq.FSets.FMapList]
s:179 [in Coq.Reals.Abstract.ConstructiveSum]
s:18 [in Coq.Lists.Streams]
s:18 [in Coq.MSets.MSetEqProperties]
s:18 [in Coq.FSets.FSetToFiniteSet]
s:18 [in Coq.MSets.MSetProperties]
s:18 [in Coq.MSets.MSetWeakList]
s:18 [in Coq.ssr.ssreflect]
s:18 [in Coq.FSets.FSetEqProperties]
s:18 [in Coq.MSets.MSetToFiniteSet]
s:18 [in Coq.FSets.FSetProperties]
s:18 [in Coq.FSets.FSetCompat]
s:180 [in Coq.MSets.MSetProperties]
s:180 [in Coq.FSets.FSetProperties]
s:181 [in Coq.FSets.FMapWeakList]
s:181 [in Coq.Lists.SetoidList]
s:182 [in Coq.FSets.FSetBridge]
s:182 [in Coq.MSets.MSetList]
s:182 [in Coq.FSets.FMapList]
s:183 [in Coq.MSets.MSetProperties]
s:183 [in Coq.FSets.FSetInterface]
s:183 [in Coq.FSets.FSetProperties]
s:184 [in Coq.FSets.FSetBridge]
s:184 [in Coq.Reals.Abstract.ConstructiveSum]
s:185 [in Coq.FSets.FSetPositive]
s:186 [in Coq.MSets.MSetList]
s:186 [in Coq.Lists.SetoidList]
s:187 [in Coq.FSets.FSetBridge]
s:187 [in Coq.MSets.MSetList]
s:187 [in Coq.FSets.FSetInterface]
s:187 [in Coq.FSets.FSetCompat]
s:188 [in Coq.Reals.Abstract.ConstructiveSum]
s:189 [in Coq.MSets.MSetProperties]
s:189 [in Coq.MSets.MSetList]
s:189 [in Coq.FSets.FSetProperties]
s:189 [in Coq.FSets.FSetCompat]
s:19 [in Coq.FSets.FSetBridge]
s:19 [in Coq.Numbers.DecimalString]
s:19 [in Coq.Numbers.HexadecimalString]
s:19 [in Coq.FSets.FMapWeakList]
s:19 [in Coq.FSets.FMapList]
s:19 [in Coq.FSets.FSetFacts]
s:190 [in Coq.MSets.MSetInterface]
s:190 [in Coq.FSets.FSetBridge]
s:190 [in Coq.MSets.MSetProperties]
s:190 [in Coq.FSets.FSetProperties]
s:191 [in Coq.MSets.MSetInterface]
s:191 [in Coq.MSets.MSetList]
s:191 [in Coq.FSets.FSetPositive]
s:192 [in Coq.FSets.FSetInterface]
s:192 [in Coq.FSets.FSetCompat]
s:193 [in Coq.MSets.MSetProperties]
s:193 [in Coq.MSets.MSetList]
s:193 [in Coq.FSets.FSetPositive]
s:193 [in Coq.FSets.FSetProperties]
s:193 [in Coq.FSets.FSetCompat]
s:194 [in Coq.MSets.MSetInterface]
s:194 [in Coq.FSets.FSetBridge]
s:194 [in Coq.MSets.MSetProperties]
s:194 [in Coq.Numbers.Cyclic.Int63.Uint63]
s:194 [in Coq.FSets.FSetProperties]
s:195 [in Coq.MSets.MSetList]
s:195 [in Coq.FSets.FSetPositive]
s:195 [in Coq.FSets.FSetCompat]
s:197 [in Coq.MSets.MSetInterface]
s:197 [in Coq.MSets.MSetProperties]
s:197 [in Coq.FSets.FSetInterface]
s:197 [in Coq.FSets.FSetPositive]
s:197 [in Coq.MSets.MSetPositive]
s:197 [in Coq.FSets.FSetProperties]
s:198 [in Coq.MSets.MSetProperties]
s:198 [in Coq.FSets.FSetProperties]
s:198 [in Coq.FSets.FSetCompat]
s:199 [in Coq.FSets.FSetBridge]
s:199 [in Coq.MSets.MSetProperties]
s:199 [in Coq.MSets.MSetList]
s:199 [in Coq.FSets.FSetProperties]
s:199 [in Coq.FSets.FSetCompat]
s:2 [in Coq.FSets.FSetBridge]
s:2 [in Coq.MSets.MSetProperties]
s:2 [in Coq.MSets.MSetRBT]
S:2 [in Coq.Classes.SetoidDec]
s:2 [in Coq.FSets.FSetProperties]
s:20 [in Coq.MSets.MSetWeakList]
s:20 [in Coq.FSets.FSetFacts]
s:200 [in Coq.MSets.MSetInterface]
s:200 [in Coq.MSets.MSetList]
s:200 [in Coq.Reals.Abstract.ConstructiveSum]
s:200 [in Coq.FSets.FSetCompat]
s:202 [in Coq.FSets.FSetBridge]
s:202 [in Coq.MSets.MSetProperties]
s:202 [in Coq.MSets.MSetList]
s:202 [in Coq.FSets.FSetInterface]
s:202 [in Coq.FSets.FSetProperties]
s:203 [in Coq.MSets.MSetInterface]
s:204 [in Coq.MSets.MSetProperties]
s:204 [in Coq.FSets.FSetProperties]
s:204 [in Coq.FSets.FSetCompat]
s:205 [in Coq.FSets.FSetBridge]
s:205 [in Coq.FSets.FSetInterface]
s:205 [in Coq.MSets.MSetPositive]
s:205 [in Coq.Lists.SetoidList]
s:206 [in Coq.MSets.MSetInterface]
s:206 [in Coq.MSets.MSetList]
s:206 [in Coq.FSets.FSetCompat]
s:207 [in Coq.MSets.MSetProperties]
s:207 [in Coq.MSets.MSetList]
s:207 [in Coq.FSets.FSetProperties]
s:208 [in Coq.MSets.MSetInterface]
s:208 [in Coq.FSets.FSetBridge]
s:208 [in Coq.MSets.MSetPositive]
s:209 [in Coq.MSets.MSetProperties]
s:209 [in Coq.MSets.MSetList]
s:209 [in Coq.FSets.FSetProperties]
s:21 [in Coq.Lists.Streams]
s:21 [in Coq.FSets.FSetToFiniteSet]
s:21 [in Coq.MSets.MSetToFiniteSet]
s:21 [in Coq.FSets.FSetCompat]
s:210 [in Coq.MSets.MSetInterface]
s:210 [in Coq.MSets.MSetList]
s:211 [in Coq.FSets.FSetBridge]
s:211 [in Coq.FSets.FSetInterface]
s:212 [in Coq.MSets.MSetInterface]
s:212 [in Coq.Reals.Rfunctions]
s:212 [in Coq.MSets.MSetProperties]
s:212 [in Coq.FSets.FSetProperties]
s:213 [in Coq.MSets.MSetPositive]
s:214 [in Coq.MSets.MSetInterface]
s:214 [in Coq.FSets.FSetBridge]
s:214 [in Coq.MSets.MSetProperties]
s:214 [in Coq.MSets.MSetList]
s:214 [in Coq.FSets.FSetProperties]
s:215 [in Coq.Reals.Abstract.ConstructiveSum]
s:216 [in Coq.MSets.MSetInterface]
s:216 [in Coq.MSets.MSetPositive]
s:217 [in Coq.FSets.FSetBridge]
s:217 [in Coq.MSets.MSetProperties]
s:217 [in Coq.FSets.FSetProperties]
s:218 [in Coq.MSets.MSetInterface]
s:218 [in Coq.MSets.MSetList]
s:218 [in Coq.FSets.FSetInterface]
s:219 [in Coq.MSets.MSetProperties]
s:219 [in Coq.MSets.MSetPositive]
s:219 [in Coq.FSets.FSetProperties]
s:22 [in Coq.Numbers.DecimalString]
s:22 [in Coq.FSets.FSetToFiniteSet]
s:22 [in Coq.MSets.MSetList]
s:22 [in Coq.Numbers.HexadecimalString]
S:22 [in Coq.Sets.Relations_2_facts]
s:22 [in Coq.MSets.MSetToFiniteSet]
s:22 [in Coq.FSets.FMapWeakList]
s:22 [in Coq.FSets.FMapList]
s:22 [in Coq.FSets.FSetCompat]
s:220 [in Coq.MSets.MSetInterface]
s:220 [in Coq.FSets.FSetBridge]
s:220 [in Coq.MSets.MSetList]
s:221 [in Coq.MSets.MSetProperties]
s:221 [in Coq.FSets.FSetPositive]
s:221 [in Coq.FSets.FSetProperties]
s:222 [in Coq.MSets.MSetInterface]
s:222 [in Coq.MSets.MSetPositive]
s:223 [in Coq.MSets.MSetInterface]
s:223 [in Coq.FSets.FSetBridge]
s:223 [in Coq.MSets.MSetProperties]
s:223 [in Coq.FSets.FSetInterface]
s:223 [in Coq.FSets.FSetProperties]
s:224 [in Coq.MSets.MSetInterface]
s:224 [in Coq.MSets.MSetList]
s:225 [in Coq.MSets.MSetProperties]
s:225 [in Coq.FSets.FSetProperties]
s:226 [in Coq.FSets.FSetBridge]
s:227 [in Coq.MSets.MSetInterface]
s:227 [in Coq.MSets.MSetProperties]
s:227 [in Coq.MSets.MSetList]
s:227 [in Coq.FSets.FSetProperties]
s:228 [in Coq.MSets.MSetInterface]
s:228 [in Coq.FSets.FSetInterface]
s:229 [in Coq.FSets.FSetBridge]
s:229 [in Coq.MSets.MSetProperties]
s:229 [in Coq.FSets.FSetPositive]
s:229 [in Coq.FSets.FSetProperties]
s:23 [in Coq.FSets.FSetBridge]
s:23 [in Coq.FSets.FSetToFiniteSet]
s:23 [in Coq.MSets.MSetWeakList]
s:23 [in Coq.MSets.MSetToFiniteSet]
s:23 [in Coq.MSets.MSetGenTree]
s:230 [in Coq.MSets.MSetInterface]
s:230 [in Coq.MSets.MSetList]
s:232 [in Coq.MSets.MSetInterface]
s:232 [in Coq.FSets.FSetBridge]
s:232 [in Coq.FSets.FSetPositive]
s:232 [in Coq.MSets.MSetPositive]
s:233 [in Coq.MSets.MSetList]
s:233 [in Coq.Reals.Abstract.ConstructiveSum]
s:234 [in Coq.MSets.MSetInterface]
s:235 [in Coq.FSets.FSetBridge]
s:235 [in Coq.FSets.FSetInterface]
s:236 [in Coq.MSets.MSetInterface]
s:236 [in Coq.MSets.MSetList]
s:236 [in Coq.FSets.FSetPositive]
s:236 [in Coq.MSets.MSetPositive]
s:237 [in Coq.FSets.FSetBridge]
s:237 [in Coq.FSets.FSetPositive]
s:238 [in Coq.MSets.MSetInterface]
s:238 [in Coq.MSets.MSetProperties]
s:238 [in Coq.FSets.FSetProperties]
s:24 [in Coq.Lists.Streams]
s:24 [in Coq.MSets.MSetWeakList]
s:24 [in Coq.ssr.ssreflect]
s:24 [in Coq.FSets.FSetFacts]
s:24 [in Coq.FSets.FSetCompat]
s:240 [in Coq.MSets.MSetProperties]
s:240 [in Coq.MSets.MSetList]
s:240 [in Coq.FSets.FSetPositive]
s:240 [in Coq.MSets.MSetPositive]
s:240 [in Coq.FSets.FSetProperties]
s:241 [in Coq.FSets.FSetBridge]
s:241 [in Coq.FSets.FSetInterface]
s:241 [in Coq.MSets.MSetPositive]
s:241 [in Coq.MSets.MSetGenTree]
s:243 [in Coq.FSets.FSetBridge]
s:243 [in Coq.FSets.FSetPositive]
s:243 [in Coq.MSets.MSetGenTree]
s:244 [in Coq.MSets.MSetList]
s:244 [in Coq.MSets.MSetPositive]
s:246 [in Coq.Reals.Abstract.ConstructiveReals]
s:247 [in Coq.MSets.MSetList]
s:247 [in Coq.MSets.MSetGenTree]
s:248 [in Coq.MSets.MSetProperties]
s:248 [in Coq.FSets.FSetInterface]
s:248 [in Coq.FSets.FSetPositive]
s:248 [in Coq.MSets.MSetPositive]
s:248 [in Coq.MSets.MSetGenTree]
s:248 [in Coq.FSets.FSetProperties]
s:249 [in Coq.MSets.MSetProperties]
s:249 [in Coq.FSets.FSetPositive]
s:249 [in Coq.FSets.FSetProperties]
s:25 [in Coq.MSets.MSetInterface]
s:25 [in Coq.Strings.OctalString]
s:25 [in Coq.Strings.HexString]
s:25 [in Coq.FSets.FSetToFiniteSet]
s:25 [in Coq.MSets.MSetProperties]
s:25 [in Coq.Strings.BinaryString]
S:25 [in Coq.Sets.Relations_2_facts]
s:25 [in Coq.MSets.MSetToFiniteSet]
s:25 [in Coq.FSets.FSetProperties]
s:250 [in Coq.MSets.MSetList]
s:250 [in Coq.MSets.MSetGenTree]
s:251 [in Coq.MSets.MSetPositive]
s:252 [in Coq.MSets.MSetList]
s:252 [in Coq.FSets.FSetInterface]
s:252 [in Coq.FSets.FSetPositive]
s:253 [in Coq.MSets.MSetProperties]
s:253 [in Coq.FSets.FSetProperties]
s:254 [in Coq.FSets.FSetBridge]
s:254 [in Coq.MSets.MSetGenTree]
s:255 [in Coq.FSets.FSetPositive]
s:255 [in Coq.MSets.MSetPositive]
s:255 [in Coq.MSets.MSetGenTree]
s:256 [in Coq.MSets.MSetProperties]
s:256 [in Coq.FSets.FSetInterface]
s:256 [in Coq.FSets.FSetProperties]
s:257 [in Coq.FSets.FSetBridge]
s:257 [in Coq.MSets.MSetGenTree]
s:258 [in Coq.MSets.MSetProperties]
s:258 [in Coq.MSets.MSetPositive]
s:258 [in Coq.MSets.MSetGenTree]
s:258 [in Coq.FSets.FSetProperties]
s:259 [in Coq.MSets.MSetList]
s:26 [in Coq.FSets.FSetDecide]
s:26 [in Coq.Numbers.DecimalString]
s:26 [in Coq.MSets.MSetProperties]
s:26 [in Coq.MSets.MSetDecide]
s:26 [in Coq.MSets.MSetWeakList]
s:26 [in Coq.FSets.FSetInterface]
s:26 [in Coq.Numbers.HexadecimalString]
s:26 [in Coq.FSets.FSetProperties]
s:260 [in Coq.FSets.FSetBridge]
s:260 [in Coq.FSets.FSetInterface]
s:261 [in Coq.MSets.MSetProperties]
s:261 [in Coq.MSets.MSetList]
s:261 [in Coq.FSets.FSetProperties]
s:262 [in Coq.MSets.MSetPositive]
s:263 [in Coq.FSets.FSetBridge]
s:263 [in Coq.FSets.FSetInterface]
s:263 [in Coq.FSets.FSetPositive]
s:264 [in Coq.MSets.MSetGenTree]
s:265 [in Coq.MSets.MSetProperties]
s:265 [in Coq.FSets.FSetPositive]
s:265 [in Coq.MSets.MSetPositive]
s:265 [in Coq.FSets.FSetProperties]
s:266 [in Coq.MSets.MSetProperties]
s:266 [in Coq.FSets.FSetProperties]
s:267 [in Coq.FSets.FSetBridge]
s:267 [in Coq.MSets.MSetGenTree]
s:268 [in Coq.FSets.FSetPositive]
s:268 [in Coq.MSets.MSetPositive]
s:269 [in Coq.FSets.FSetBridge]
s:269 [in Coq.MSets.MSetProperties]
s:269 [in Coq.MSets.MSetGenTree]
s:269 [in Coq.FSets.FSetProperties]
s:27 [in Coq.Strings.OctalString]
s:27 [in Coq.FSets.FSetBridge]
s:27 [in Coq.Strings.HexString]
s:27 [in Coq.Strings.BinaryString]
s:27 [in Coq.MSets.MSetGenTree]
s:27 [in Coq.FSets.FSetCompat]
s:271 [in Coq.MSets.MSetProperties]
s:271 [in Coq.setoid_ring.Field_theory]
s:271 [in Coq.MSets.MSetList]
s:271 [in Coq.FSets.FSetPositive]
s:271 [in Coq.MSets.MSetPositive]
s:271 [in Coq.FSets.FSetProperties]
s:272 [in Coq.FSets.FSetBridge]
s:272 [in Coq.MSets.MSetProperties]
s:272 [in Coq.FSets.FSetProperties]
s:273 [in Coq.MSets.MSetInterface]
s:273 [in Coq.MSets.MSetPositive]
s:274 [in Coq.setoid_ring.Field_theory]
s:274 [in Coq.MSets.MSetGenTree]
s:275 [in Coq.MSets.MSetInterface]
s:275 [in Coq.MSets.MSetProperties]
s:275 [in Coq.FSets.FSetPositive]
s:275 [in Coq.FSets.FSetProperties]
s:276 [in Coq.MSets.MSetInterface]
s:276 [in Coq.FSets.FSetBridge]
s:276 [in Coq.MSets.MSetProperties]
s:276 [in Coq.MSets.MSetPositive]
s:276 [in Coq.MSets.MSetGenTree]
s:276 [in Coq.FSets.FSetProperties]
s:277 [in Coq.MSets.MSetInterface]
s:277 [in Coq.FSets.FSetPositive]
s:278 [in Coq.FSets.FSetBridge]
s:278 [in Coq.MSets.MSetGenTree]
s:28 [in Coq.MSets.MSetInterface]
s:28 [in Coq.Strings.OctalString]
s:28 [in Coq.Strings.HexString]
s:28 [in Coq.MSets.MSetList]
s:28 [in Coq.Strings.BinaryString]
s:280 [in Coq.FSets.FSetPositive]
s:280 [in Coq.MSets.MSetGenTree]
s:281 [in Coq.FSets.FSetBridge]
s:281 [in Coq.MSets.MSetPositive]
s:281 [in Coq.MSets.MSetGenTree]
s:282 [in Coq.FSets.FMapFacts]
s:282 [in Coq.MSets.MSetGenTree]
s:283 [in Coq.FSets.FSetPositive]
s:283 [in Coq.MSets.MSetGenTree]
s:284 [in Coq.MSets.MSetProperties]
s:284 [in Coq.FSets.FSetProperties]
s:285 [in Coq.FSets.FSetBridge]
s:285 [in Coq.MSets.MSetGenTree]
s:286 [in Coq.MSets.MSetInterface]
s:286 [in Coq.MSets.MSetPositive]
s:287 [in Coq.FSets.FSetPositive]
s:287 [in Coq.MSets.MSetPositive]
s:288 [in Coq.FSets.FSetBridge]
s:289 [in Coq.MSets.MSetInterface]
s:289 [in Coq.FSets.FSetPositive]
s:29 [in Coq.Lists.Streams]
s:29 [in Coq.Program.Wf]
s:29 [in Coq.MSets.MSetWeakList]
s:29 [in Coq.Reals.Abstract.ConstructiveLimits]
s:29 [in Coq.FSets.FSetFacts]
s:29 [in Coq.FSets.FSetCompat]
s:290 [in Coq.FSets.FSetBridge]
s:291 [in Coq.MSets.MSetGenTree]
s:292 [in Coq.MSets.MSetInterface]
s:292 [in Coq.FSets.FSetPositive]
s:292 [in Coq.MSets.MSetPositive]
s:295 [in Coq.MSets.MSetInterface]
s:295 [in Coq.FSets.FSetBridge]
s:295 [in Coq.FSets.FSetPositive]
s:297 [in Coq.MSets.MSetPositive]
s:297 [in Coq.MSets.MSetGenTree]
s:298 [in Coq.MSets.MSetInterface]
s:298 [in Coq.FSets.FSetBridge]
s:298 [in Coq.MSets.MSetProperties]
s:298 [in Coq.FSets.FSetPositive]
s:298 [in Coq.MSets.MSetPositive]
s:3 [in Coq.FSets.FSetToFiniteSet]
s:3 [in Coq.Floats.SpecFloat]
s:3 [in Coq.MSets.MSetWeakList]
s:3 [in Coq.MSets.MSetList]
s:3 [in Coq.FSets.FSetInterface]
s:3 [in Coq.MSets.MSetToFiniteSet]
s:3 [in Coq.Setoids.Setoid]
s:30 [in Coq.Numbers.DecimalString]
s:30 [in Coq.ssr.ssreflect]
s:30 [in Coq.Numbers.HexadecimalString]
s:30 [in Coq.MSets.MSetGenTree]
s:300 [in Coq.MSets.MSetPositive]
s:301 [in Coq.MSets.MSetProperties]
s:301 [in Coq.MSets.MSetPositive]
s:302 [in Coq.FSets.FSetBridge]
s:302 [in Coq.MSets.MSetPositive]
s:302 [in Coq.MSets.MSetGenTree]
s:302 [in Coq.FSets.FSetProperties]
s:303 [in Coq.MSets.MSetInterface]
s:303 [in Coq.MSets.MSetGenTree]
s:304 [in Coq.MSets.MSetProperties]
s:304 [in Coq.MSets.MSetPositive]
s:305 [in Coq.MSets.MSetInterface]
s:305 [in Coq.FSets.FSetBridge]
s:305 [in Coq.MSets.MSetRBT]
s:305 [in Coq.FSets.FSetProperties]
s:306 [in Coq.MSets.MSetProperties]
s:306 [in Coq.MSets.MSetGenTree]
s:308 [in Coq.FSets.FSetBridge]
s:308 [in Coq.FSets.FSetPositive]
s:308 [in Coq.MSets.MSetRBT]
s:308 [in Coq.MSets.MSetPositive]
s:308 [in Coq.FSets.FSetProperties]
s:309 [in Coq.MSets.MSetInterface]
s:31 [in Coq.MSets.MSetInterface]
s:31 [in Coq.Strings.OctalString]
s:31 [in Coq.FSets.FSetBridge]
s:31 [in Coq.Strings.HexString]
s:31 [in Coq.ssr.ssreflect]
s:31 [in Coq.Strings.BinaryString]
s:31 [in Coq.FSets.FSetCompat]
s:310 [in Coq.MSets.MSetPositive]
s:310 [in Coq.FSets.FSetProperties]
s:311 [in Coq.FSets.FSetBridge]
s:311 [in Coq.MSets.MSetRBT]
s:311 [in Coq.MSets.MSetPositive]
s:311 [in Coq.MSets.MSetGenTree]
s:312 [in Coq.MSets.MSetInterface]
s:312 [in Coq.micromega.RingMicromega]
s:312 [in Coq.FSets.FSetPositive]
s:314 [in Coq.MSets.MSetRBT]
s:314 [in Coq.MSets.MSetPositive]
s:314 [in Coq.MSets.MSetGenTree]
s:316 [in Coq.FSets.FSetPositive]
s:316 [in Coq.MSets.MSetPositive]
s:317 [in Coq.FSets.FSetPositive]
s:317 [in Coq.MSets.MSetPositive]
s:318 [in Coq.MSets.MSetRBT]
s:32 [in Coq.Numbers.DecimalString]
s:32 [in Coq.MSets.MSetEqProperties]
s:32 [in Coq.FSets.FSetEqProperties]
s:32 [in Coq.Numbers.HexadecimalString]
s:32 [in Coq.FSets.FSetFacts]
s:320 [in Coq.FSets.FSetPositive]
s:324 [in Coq.FSets.FSetPositive]
s:325 [in Coq.MSets.MSetGenTree]
s:327 [in Coq.FSets.FSetPositive]
s:33 [in Coq.FSets.FSetBridge]
s:33 [in Coq.FSets.FSetDecide]
s:33 [in Coq.Numbers.DecimalString]
s:33 [in Coq.MSets.MSetDecide]
s:33 [in Coq.MSets.MSetWeakList]
s:33 [in Coq.QArith.Qabs]
s:33 [in Coq.Numbers.HexadecimalString]
s:33 [in Coq.MSets.MSetGenTree]
s:33 [in Coq.FSets.FSetCompat]
s:330 [in Coq.FSets.FSetPositive]
s:331 [in Coq.MSets.MSetInterface]
s:332 [in Coq.MSets.MSetGenTree]
s:333 [in Coq.FSets.FSetPositive]
s:337 [in Coq.MSets.MSetInterface]
s:337 [in Coq.FSets.FSetPositive]
s:337 [in Coq.MSets.MSetGenTree]
s:34 [in Coq.MSets.MSetInterface]
S:34 [in Coq.micromega.ZifyClasses]
s:34 [in Coq.MSets.MSetEqProperties]
s:34 [in Coq.MSets.MSetProperties]
s:34 [in Coq.MSets.MSetList]
s:34 [in Coq.FSets.FSetEqProperties]
s:34 [in Coq.Arith.Mult]
s:34 [in Coq.FSets.FSetProperties]
s:340 [in Coq.MSets.MSetInterface]
s:340 [in Coq.FSets.FSetPositive]
s:343 [in Coq.FSets.FSetPositive]
s:344 [in Coq.Numbers.Cyclic.Int31.Cyclic31]
s:344 [in Coq.MSets.MSetInterface]
s:346 [in Coq.Numbers.Cyclic.Int31.Cyclic31]
s:346 [in Coq.MSets.MSetInterface]
s:347 [in Coq.Numbers.Cyclic.Int31.Cyclic31]
s:347 [in Coq.FSets.FSetPositive]
s:348 [in Coq.MSets.MSetInterface]
s:35 [in Coq.FSets.FSetBridge]
s:35 [in Coq.MSets.MSetFacts]
s:35 [in Coq.QArith.Qabs]
s:35 [in Coq.FSets.FSetCompat]
s:350 [in Coq.FSets.FSetPositive]
s:351 [in Coq.MSets.MSetGenTree]
s:353 [in Coq.FSets.FSetPositive]
s:356 [in Coq.FSets.FSetPositive]
s:359 [in Coq.FSets.FSetPositive]
s:36 [in Coq.MSets.MSetEqProperties]
s:36 [in Coq.Floats.SpecFloat]
s:36 [in Coq.FSets.FSetEqProperties]
s:36 [in Coq.MSets.MSetGenTree]
s:361 [in Coq.FSets.FSetPositive]
s:364 [in Coq.FSets.FMapFullAVL]
s:364 [in Coq.FSets.FSetPositive]
s:369 [in Coq.FSets.FMapFacts]
s:369 [in Coq.FSets.FSetPositive]
s:37 [in Coq.MSets.MSetInterface]
s:37 [in Coq.MSets.MSetWeakList]
s:37 [in Coq.FSets.FSetCompat]
s:370 [in Coq.FSets.FMapFacts]
s:371 [in Coq.FSets.FSetPositive]
s:371 [in Coq.MSets.MSetRBT]
s:375 [in Coq.MSets.MSetRBT]
s:376 [in Coq.FSets.FSetPositive]
s:377 [in Coq.FSets.FSetPositive]
s:378 [in Coq.FSets.FMapFacts]
s:378 [in Coq.MSets.MSetRBT]
s:378 [in Coq.MSets.MSetGenTree]
s:379 [in Coq.FSets.FMapFacts]
s:379 [in Coq.MSets.MSetGenTree]
s:38 [in Coq.Numbers.DecimalString]
s:38 [in Coq.MSets.MSetEqProperties]
s:38 [in Coq.FSets.FSetEqProperties]
s:38 [in Coq.Numbers.HexadecimalString]
s:38 [in Coq.MSets.MSetRBT]
s:380 [in Coq.MSets.MSetGenTree]
s:381 [in Coq.MSets.MSetGenTree]
s:382 [in Coq.FSets.FSetPositive]
s:382 [in Coq.MSets.MSetRBT]
s:382 [in Coq.MSets.MSetGenTree]
s:383 [in Coq.PArith.BinPos]
s:387 [in Coq.FSets.FSetPositive]
s:388 [in Coq.FSets.FSetPositive]
s:39 [in Coq.MSets.MSetList]
s:39 [in Coq.FSets.FSetCompat]
s:390 [in Coq.FSets.FSetPositive]
s:391 [in Coq.FSets.FSetPositive]
s:392 [in Coq.FSets.FSetPositive]
s:392 [in Coq.MSets.MSetRBT]
s:393 [in Coq.PArith.BinPos]
s:394 [in Coq.FSets.FSetPositive]
s:396 [in Coq.MSets.MSetRBT]
s:397 [in Coq.MSets.MSetRBT]
s:398 [in Coq.FSets.FSetPositive]
s:4 [in Coq.FSets.FSetBridge]
s:4 [in Coq.MSets.MSetProperties]
s:4 [in Coq.Floats.SpecFloat]
s:4 [in Coq.Strings.ByteVector]
s:4 [in Coq.FSets.FSetProperties]
s:4 [in Coq.FSets.FSetCompat]
s:40 [in Coq.FSets.FSetBridge]
s:40 [in Coq.MSets.MSetEqProperties]
s:40 [in Coq.PArith.BinPos]
s:40 [in Coq.FSets.FSetEqProperties]
s:40 [in Coq.MSets.MSetGenTree]
s:40 [in Coq.FSets.FSetCompat]
s:400 [in Coq.FSets.FSetPositive]
s:401 [in Coq.FSets.FSetPositive]
s:404 [in Coq.FSets.FSetPositive]
s:406 [in Coq.FSets.FSetPositive]
s:407 [in Coq.FSets.FSetPositive]
s:409 [in Coq.PArith.BinPos]
S:41 [in Coq.micromega.ZifyClasses]
s:41 [in Coq.MSets.MSetWeakList]
s:41 [in Coq.MSets.MSetAVL]
s:41 [in Coq.FSets.FSetCompat]
s:418 [in Coq.MSets.MSetRBT]
s:419 [in Coq.PArith.BinPos]
s:42 [in Coq.Strings.String]
s:421 [in Coq.MSets.MSetRBT]
s:423 [in Coq.MSets.MSetRBT]
s:424 [in Coq.Numbers.Cyclic.Int63.Uint63]
s:426 [in Coq.MSets.MSetRBT]
s:426 [in Coq.Numbers.Cyclic.Int63.Uint63]
s:427 [in Coq.Numbers.Cyclic.Int63.Uint63]
s:429 [in Coq.MSets.MSetRBT]
s:43 [in Coq.MSets.MSetEqProperties]
s:43 [in Coq.FSets.FSetEqProperties]
s:434 [in Coq.MSets.MSetRBT]
s:437 [in Coq.MSets.MSetRBT]
s:439 [in Coq.MSets.MSetRBT]
s:44 [in Coq.MSets.MSetRBT]
s:44 [in Coq.MSets.MSetGenTree]
s:44 [in Coq.FSets.FSetCompat]
s:442 [in Coq.MSets.MSetRBT]
s:445 [in Coq.MSets.MSetRBT]
s:46 [in Coq.FSets.FSetBridge]
s:46 [in Coq.Strings.String]
s:46 [in Coq.MSets.MSetWeakList]
s:46 [in Coq.MSets.MSetList]
s:47 [in Coq.MSets.MSetWeakList]
s:47 [in Coq.FSets.FSetCompat]
s:478 [in Coq.Reals.RIneq]
s:48 [in Coq.MSets.MSetEqProperties]
s:48 [in Coq.MSets.MSetWeakList]
s:48 [in Coq.FSets.FSetEqProperties]
s:49 [in Coq.MSets.MSetList]
s:49 [in Coq.MSets.MSetGenTree]
s:5 [in Coq.FSets.FSetToFiniteSet]
s:5 [in Coq.Floats.SpecFloat]
s:5 [in Coq.MSets.MSetToFiniteSet]
s:50 [in Coq.MSets.MSetEqProperties]
s:50 [in Coq.MSets.MSetWeakList]
s:50 [in Coq.Init.Wf]
s:50 [in Coq.FSets.FSetEqProperties]
s:50 [in Coq.FSets.FMapWeakList]
s:50 [in Coq.FSets.FSetCompat]
s:517 [in Coq.MSets.MSetAVL]
s:52 [in Coq.MSets.MSetEqProperties]
s:52 [in Coq.FSets.FSetEqProperties]
s:520 [in Coq.MSets.MSetAVL]
s:524 [in Coq.MSets.MSetAVL]
s:53 [in Coq.MSets.MSetEqProperties]
s:53 [in Coq.MSets.MSetWeakList]
s:53 [in Coq.MSets.MSetList]
s:53 [in Coq.FSets.FSetEqProperties]
s:53 [in Coq.FSets.FSetCompat]
s:538 [in Coq.MSets.MSetRBT]
s:54 [in Coq.MSets.MSetEqProperties]
s:54 [in Coq.MSets.MSetProperties]
s:54 [in Coq.FSets.FSetEqProperties]
s:54 [in Coq.FSets.FMapWeakList]
s:54 [in Coq.FSets.FSetProperties]
s:548 [in Coq.PArith.BinPos]
s:55 [in Coq.FSets.FSetDecide]
s:55 [in Coq.MSets.MSetProperties]
s:55 [in Coq.MSets.MSetDecide]
s:55 [in Coq.MSets.MSetAVL]
s:55 [in Coq.FSets.FMapList]
s:55 [in Coq.FSets.FSetProperties]
s:550 [in Coq.PArith.BinPos]
s:56 [in Coq.MSets.MSetEqProperties]
s:56 [in Coq.FSets.FSetEqProperties]
s:56 [in Coq.FSets.FMapWeakList]
s:56 [in Coq.FSets.FSetCompat]
s:563 [in Coq.PArith.BinPos]
s:563 [in Coq.MSets.MSetAVL]
s:567 [in Coq.MSets.MSetAVL]
s:57 [in Coq.MSets.MSetList]
s:575 [in Coq.Reals.RIneq]
s:58 [in Coq.MSets.MSetEqProperties]
s:58 [in Coq.MSets.MSetWeakList]
s:58 [in Coq.FSets.FSetEqProperties]
s:580 [in Coq.MSets.MSetAVL]
s:584 [in Coq.MSets.MSetAVL]
s:588 [in Coq.MSets.MSetAVL]
s:59 [in Coq.Lists.Streams]
s:59 [in Coq.FSets.FSetBridge]
s:59 [in Coq.FSets.FMapWeakList]
s:59 [in Coq.FSets.FMapList]
s:59 [in Coq.FSets.FSetCompat]
s:591 [in Coq.MSets.MSetAVL]
s:598 [in Coq.MSets.MSetAVL]
s:6 [in Coq.FSets.FSetBridge]
s:6 [in Coq.FSets.FSetInterface]
s:6 [in Coq.MSets.MSetRBT]
s:60 [in Coq.FSets.FSetDecide]
s:60 [in Coq.MSets.MSetEqProperties]
s:60 [in Coq.MSets.MSetDecide]
s:60 [in Coq.FSets.FSetEqProperties]
s:601 [in Coq.MSets.MSetAVL]
s:608 [in Coq.MSets.MSetRBT]
s:609 [in Coq.MSets.MSetRBT]
s:61 [in Coq.Strings.String]
s:61 [in Coq.MSets.MSetWeakList]
s:61 [in Coq.MSets.MSetList]
s:61 [in Coq.FSets.FMapList]
s:611 [in Coq.MSets.MSetRBT]
s:613 [in Coq.MSets.MSetRBT]
s:614 [in Coq.MSets.MSetRBT]
s:62 [in Coq.Lists.Streams]
s:62 [in Coq.FSets.FMapWeakList]
s:62 [in Coq.FSets.FSetCompat]
s:63 [in Coq.MSets.MSetEqProperties]
s:63 [in Coq.FSets.FSetEqProperties]
s:64 [in Coq.Lists.Streams]
s:64 [in Coq.MSets.MSetWeakList]
s:64 [in Coq.FSets.FMapList]
s:641 [in Coq.MSets.MSetAVL]
s:644 [in Coq.MSets.MSetAVL]
s:647 [in Coq.MSets.MSetAVL]
s:648 [in Coq.MSets.MSetRBT]
s:65 [in Coq.FSets.FSetBridge]
s:65 [in Coq.FSets.FSetDecide]
s:65 [in Coq.MSets.MSetProperties]
s:65 [in Coq.MSets.MSetDecide]
s:65 [in Coq.FSets.FSetProperties]
s:65 [in Coq.FSets.FSetCompat]
s:650 [in Coq.MSets.MSetAVL]
s:651 [in Coq.MSets.MSetRBT]
s:652 [in Coq.MSets.MSetAVL]
s:654 [in Coq.MSets.MSetRBT]
s:655 [in Coq.MSets.MSetAVL]
s:657 [in Coq.MSets.MSetAVL]
s:658 [in Coq.MSets.MSetRBT]
S:66 [in Coq.Lists.Streams]
s:66 [in Coq.Strings.String]
s:66 [in Coq.MSets.MSetList]
s:66 [in Coq.Reals.Abstract.ConstructiveLimits]
s:660 [in Coq.MSets.MSetAVL]
s:661 [in Coq.MSets.MSetRBT]
s:663 [in Coq.MSets.MSetAVL]
s:664 [in Coq.MSets.MSetRBT]
s:668 [in Coq.MSets.MSetRBT]
s:67 [in Coq.Lists.Streams]
s:67 [in Coq.MSets.MSetWeakList]
s:67 [in Coq.FSets.FMapList]
s:671 [in Coq.MSets.MSetRBT]
s:674 [in Coq.MSets.MSetRBT]
s:68 [in Coq.MSets.MSetEqProperties]
s:68 [in Coq.MSets.MSetList]
s:68 [in Coq.FSets.FSetEqProperties]
s:68 [in Coq.FSets.FSetCompat]
S:69 [in Coq.Lists.Streams]
s:69 [in Coq.FSets.FSetBridge]
s:69 [in Coq.ssr.ssrfun]
s:691 [in Coq.MSets.MSetRBT]
s:693 [in Coq.MSets.MSetRBT]
s:695 [in Coq.MSets.MSetRBT]
s:7 [in Coq.FSets.FSetToFiniteSet]
s:7 [in Coq.MSets.MSetWeakList]
s:7 [in Coq.MSets.MSetList]
s:7 [in Coq.MSets.MSetToFiniteSet]
s:7 [in Coq.Setoids.Setoid]
s:7 [in Coq.Strings.ByteVector]
s:7 [in Coq.FSets.FSetCompat]
s:70 [in Coq.Lists.Streams]
s:70 [in Coq.Strings.String]
S:70 [in Coq.Classes.Morphisms]
s:70 [in Coq.MSets.MSetWeakList]
s:70 [in Coq.MSets.MSetList]
s:70 [in Coq.Sets.Powerset_facts]
s:71 [in Coq.FSets.FSetCompat]
s:712 [in Coq.MSets.MSetRBT]
s:713 [in Coq.MSets.MSetRBT]
s:72 [in Coq.FSets.FSetDecide]
s:72 [in Coq.MSets.MSetEqProperties]
s:72 [in Coq.MSets.MSetProperties]
s:72 [in Coq.MSets.MSetDecide]
s:72 [in Coq.MSets.MSetWeakList]
s:72 [in Coq.FSets.FSetEqProperties]
s:72 [in Coq.Sets.Powerset_facts]
s:72 [in Coq.FSets.FSetProperties]
s:720 [in Coq.MSets.MSetRBT]
s:73 [in Coq.FSets.FSetBridge]
S:73 [in Coq.Logic.ChoiceFacts]
s:73 [in Coq.MSets.MSetList]
S:73 [in Coq.rtauto.Bintree]
s:74 [in Coq.MSets.MSetEqProperties]
s:74 [in Coq.FSets.FSetEqProperties]
s:74 [in Coq.Sets.Powerset_facts]
s:74 [in Coq.FSets.FSetCompat]
S:75 [in Coq.rtauto.Bintree]
S:75 [in Coq.Classes.CMorphisms]
s:76 [in Coq.FSets.FSetDecide]
s:76 [in Coq.MSets.MSetEqProperties]
s:76 [in Coq.MSets.MSetDecide]
s:76 [in Coq.FSets.FSetEqProperties]
s:76 [in Coq.Sets.Powerset_facts]
s:77 [in Coq.MSets.MSetProperties]
s:77 [in Coq.MSets.MSetWeakList]
s:77 [in Coq.FSets.FSetProperties]
s:77 [in Coq.FSets.FSetCompat]
s:78 [in Coq.FSets.FSetDecide]
s:78 [in Coq.MSets.MSetEqProperties]
s:78 [in Coq.MSets.MSetProperties]
s:78 [in Coq.MSets.MSetDecide]
s:78 [in Coq.FSets.FSetEqProperties]
s:78 [in Coq.FSets.FSetProperties]
s:8 [in Coq.MSets.MSetProperties]
s:8 [in Coq.Sets.Uniset]
S:8 [in Coq.Classes.SetoidDec]
s:8 [in Coq.FSets.FSetProperties]
s:80 [in Coq.MSets.MSetEqProperties]
S:80 [in Coq.rtauto.Bintree]
s:80 [in Coq.FSets.FSetEqProperties]
s:80 [in Coq.FSets.FSetCompat]
s:81 [in Coq.MSets.MSetWeakList]
S:81 [in Coq.rtauto.Bintree]
s:82 [in Coq.MSets.MSetEqProperties]
s:82 [in Coq.FSets.FSetEqProperties]
S:83 [in Coq.rtauto.Bintree]
s:83 [in Coq.FSets.FSetCompat]
s:84 [in Coq.MSets.MSetWeakList]
s:84 [in Coq.MSets.MSetList]
s:85 [in Coq.FSets.FSetBridge]
s:85 [in Coq.MSets.MSetList]
s:85 [in Coq.Reals.ClassicalDedekindReals]
s:86 [in Coq.MSets.MSetProperties]
S:86 [in Coq.rtauto.Bintree]
s:86 [in Coq.FSets.FSetProperties]
s:87 [in Coq.FSets.FSetBridge]
S:87 [in Coq.micromega.ZifyClasses]
s:87 [in Coq.MSets.MSetEqProperties]
s:87 [in Coq.FSets.FSetEqProperties]
s:87 [in Coq.Reals.ClassicalDedekindReals]
s:88 [in Coq.MSets.MSetWeakList]
s:88 [in Coq.MSets.MSetList]
s:88 [in Coq.MSets.MSetAVL]
s:89 [in Coq.MSets.MSetInterface]
s:89 [in Coq.FSets.FSetBridge]
s:89 [in Coq.MSets.MSetEqProperties]
S:89 [in Coq.rtauto.Bintree]
s:89 [in Coq.FSets.FSetEqProperties]
S:9 [in Coq.FSets.FSetDecide]
s:9 [in Coq.FSets.FSetToFiniteSet]
S:9 [in Coq.MSets.MSetDecide]
s:9 [in Coq.FSets.FSetInterface]
s:9 [in Coq.FSets.FMapFullAVL]
s:9 [in Coq.MSets.MSetToFiniteSet]
s:90 [in Coq.FSets.FSetCompat]
s:91 [in Coq.MSets.MSetEqProperties]
S:91 [in Coq.rtauto.Bintree]
s:91 [in Coq.Arith.PeanoNat]
s:91 [in Coq.FSets.FSetEqProperties]
s:93 [in Coq.MSets.MSetInterface]
s:93 [in Coq.FSets.FSetBridge]
s:93 [in Coq.MSets.MSetEqProperties]
s:93 [in Coq.MSets.MSetList]
S:93 [in Coq.rtauto.Bintree]
s:93 [in Coq.FSets.FSetEqProperties]
s:94 [in Coq.MSets.MSetWeakList]
s:94 [in Coq.MSets.MSetAVL]
s:95 [in Coq.FSets.FSetBridge]
s:95 [in Coq.MSets.MSetWeakList]
s:95 [in Coq.MSets.MSetList]
S:95 [in Coq.rtauto.Bintree]
s:95 [in Coq.MSets.MSetRBT]
s:96 [in Coq.MSets.MSetInterface]
s:96 [in Coq.FSets.FMapWeakList]
s:96 [in Coq.FSets.FSetCompat]
s:97 [in Coq.FSets.FSetBridge]
s:97 [in Coq.FSets.FSetDecide]
s:97 [in Coq.MSets.MSetProperties]
s:97 [in Coq.MSets.MSetDecide]
s:97 [in Coq.MSets.MSetWeakList]
s:97 [in Coq.FSets.FSetProperties]
s:97 [in Coq.FSets.FSetCompat]
s:98 [in Coq.MSets.MSetEqProperties]
s:98 [in Coq.MSets.MSetProperties]
s:98 [in Coq.MSets.MSetList]
s:98 [in Coq.FSets.FSetEqProperties]
s:98 [in Coq.MSets.MSetGenTree]
s:98 [in Coq.FSets.FSetProperties]
s:99 [in Coq.MSets.MSetInterface]
s:99 [in Coq.MSets.MSetWeakList]
| 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 | (72679 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 | (47172 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 | (791 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 | (1553 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 | (585 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 | (11862 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 | (493 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 | (896 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 | (1443 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) |