| 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 | (68863 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 | (985 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 | (44709 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 | (761 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 | (1497 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 | (570 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 | (11380 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 | (976 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 | (603 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 | (298 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 | (460 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 | (476 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 | (811 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 | (1157 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 | (4018 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 | (162 entries) |
M (binder)
maj:50 [in Coq.Sets.Cpo]merge_aux:8 [in Coq.Sorting.Mergesort]
mkmult_pow:497 [in Coq.setoid_ring.Ring_polynom]
mkopp_pow:493 [in Coq.setoid_ring.Ring_polynom]
mkpow:490 [in Coq.setoid_ring.Ring_polynom]
mk_exp:44 [in Coq.QArith.QArith_base]
mm:48 [in Coq.Program.Wf]
mm:50 [in Coq.Program.Wf]
morph:22 [in Coq.Classes.CEquivalence]
morph:22 [in Coq.Classes.Equivalence]
mor:135 [in Coq.Classes.Morphisms]
mor:167 [in Coq.Classes.CMorphisms]
mor:61 [in Coq.Classes.Morphisms]
mor:64 [in Coq.Classes.CMorphisms]
mor:88 [in Coq.Classes.Morphisms]
mor:92 [in Coq.Classes.CMorphisms]
mp1:342 [in Coq.ssr.ssrbool]
mp1:346 [in Coq.ssr.ssrbool]
mp2:343 [in Coq.ssr.ssrbool]
mp2:347 [in Coq.ssr.ssrbool]
mp:335 [in Coq.ssr.ssrbool]
mp:340 [in Coq.ssr.ssrbool]
mp:350 [in Coq.ssr.ssrbool]
mp:353 [in Coq.ssr.ssrbool]
mp:416 [in Coq.ssr.ssrbool]
mrs:34 [in Coq.Floats.SpecFloat]
mrs:38 [in Coq.Floats.SpecFloat]
mrs:43 [in Coq.Floats.SpecFloat]
mR:83 [in Coq.Classes.Morphisms]
msp:408 [in Coq.ssr.ssrbool]
msp:411 [in Coq.ssr.ssrbool]
mul:5 [in Coq.setoid_ring.Ncring]
mul:9 [in Coq.Numbers.Cyclic.Int63.Ring63]
mul:9 [in Coq.Numbers.Cyclic.Int31.Ring31]
Mx:228 [in Coq.Reals.Rtopology]
mx:276 [in Coq.Reals.Rtopology]
mx:50 [in Coq.Floats.SpecFloat]
mx:54 [in Coq.Floats.SpecFloat]
mx:57 [in Coq.Floats.SpecFloat]
mx:61 [in Coq.Floats.SpecFloat]
m'':237 [in Coq.FSets.FMapFacts]
m'':296 [in Coq.FSets.FMapFacts]
m'':302 [in Coq.FSets.FMapFacts]
m'':307 [in Coq.FSets.FMapFacts]
m':1018 [in Coq.FSets.FMapAVL]
m':1022 [in Coq.FSets.FMapAVL]
m':1026 [in Coq.FSets.FMapAVL]
m':111 [in Coq.FSets.FMapInterface]
m':116 [in Coq.MSets.MSetPositive]
m':117 [in Coq.Floats.SpecFloat]
m':119 [in Coq.FSets.FMapInterface]
m':119 [in Coq.FSets.FSetPositive]
m':1268 [in Coq.FSets.FMapAVL]
m':127 [in Coq.FSets.FMapFullAVL]
m':128 [in Coq.Floats.SpecFloat]
m':1322 [in Coq.FSets.FMapAVL]
m':1328 [in Coq.FSets.FMapAVL]
m':1336 [in Coq.FSets.FMapAVL]
m':1339 [in Coq.FSets.FMapAVL]
m':1341 [in Coq.FSets.FMapAVL]
m':1348 [in Coq.FSets.FMapAVL]
m':1350 [in Coq.FSets.FMapAVL]
m':1353 [in Coq.FSets.FMapAVL]
m':136 [in Coq.FSets.FMapFullAVL]
m':137 [in Coq.MSets.MSetPositive]
m':1378 [in Coq.FSets.FMapAVL]
m':1387 [in Coq.FSets.FMapAVL]
m':140 [in Coq.FSets.FSetPositive]
m':1451 [in Coq.FSets.FMapAVL]
m':1455 [in Coq.FSets.FMapAVL]
m':1463 [in Coq.FSets.FMapAVL]
m':1465 [in Coq.FSets.FMapAVL]
m':1468 [in Coq.FSets.FMapAVL]
m':149 [in Coq.FSets.FMapInterface]
m':1497 [in Coq.FSets.FMapAVL]
m':150 [in Coq.Classes.Morphisms]
m':1504 [in Coq.FSets.FMapAVL]
m':152 [in Coq.FSets.FMapInterface]
m':1566 [in Coq.FSets.FMapAVL]
m':1568 [in Coq.FSets.FMapAVL]
m':180 [in Coq.Classes.CMorphisms]
m':190 [in Coq.FSets.FMapFacts]
m':200 [in Coq.FSets.FMapFullAVL]
m':204 [in Coq.FSets.FMapFullAVL]
m':209 [in Coq.FSets.FMapFacts]
m':212 [in Coq.FSets.FMapFullAVL]
m':214 [in Coq.FSets.FMapFullAVL]
m':215 [in Coq.FSets.FMapFacts]
m':217 [in Coq.FSets.FMapFullAVL]
m':218 [in Coq.FSets.FMapFacts]
m':228 [in Coq.FSets.FMapFacts]
m':233 [in Coq.FSets.FMapFacts]
m':236 [in Coq.FSets.FMapFacts]
m':246 [in Coq.FSets.FMapFullAVL]
m':249 [in Coq.FSets.FMapPositive]
m':253 [in Coq.FSets.FMapFullAVL]
m':256 [in Coq.FSets.FMapPositive]
m':258 [in Coq.FSets.FMapFacts]
m':286 [in Coq.FSets.FMapWeakList]
m':289 [in Coq.FSets.FMapWeakList]
m':29 [in Coq.FSets.FSetPositive]
m':29 [in Coq.MSets.MSetPositive]
m':293 [in Coq.FSets.FMapList]
m':295 [in Coq.FSets.FMapFacts]
m':295 [in Coq.FSets.FMapWeakList]
m':296 [in Coq.FSets.FMapPositive]
m':299 [in Coq.FSets.FMapList]
m':30 [in Coq.Sorting.PermutSetoid]
m':300 [in Coq.FSets.FMapWeakList]
m':301 [in Coq.FSets.FMapFacts]
m':301 [in Coq.FSets.FMapPositive]
m':302 [in Coq.FSets.FMapList]
m':306 [in Coq.FSets.FMapFacts]
m':306 [in Coq.FSets.FMapList]
m':307 [in Coq.FSets.FMapWeakList]
m':310 [in Coq.FSets.FMapPositive]
m':311 [in Coq.FSets.FMapList]
m':314 [in Coq.FSets.FMapPositive]
m':314 [in Coq.FSets.FMapWeakList]
m':318 [in Coq.FSets.FMapFacts]
m':319 [in Coq.FSets.FMapWeakList]
m':320 [in Coq.FSets.FMapFacts]
m':324 [in Coq.FSets.FMapWeakList]
m':329 [in Coq.FSets.FMapWeakList]
m':34 [in Coq.FSets.FSetPositive]
m':34 [in Coq.MSets.MSetPositive]
m':340 [in Coq.FSets.FMapFacts]
m':353 [in Coq.FSets.FMapList]
m':360 [in Coq.FSets.FMapList]
m':365 [in Coq.FSets.FMapFacts]
m':365 [in Coq.FSets.FMapList]
m':368 [in Coq.FSets.FMapWeakList]
m':372 [in Coq.FSets.FMapWeakList]
m':376 [in Coq.FSets.FMapFullAVL]
m':377 [in Coq.FSets.FMapFacts]
m':378 [in Coq.FSets.FMapFullAVL]
m':38 [in Coq.FSets.FMapFacts]
m':381 [in Coq.FSets.FMapWeakList]
m':39 [in Coq.FSets.FSetPositive]
m':39 [in Coq.MSets.MSetPositive]
m':390 [in Coq.FSets.FMapWeakList]
m':408 [in Coq.FSets.FMapWeakList]
m':425 [in Coq.FSets.FMapWeakList]
m':426 [in Coq.FSets.FMapList]
m':430 [in Coq.FSets.FMapFacts]
m':432 [in Coq.FSets.FMapList]
m':433 [in Coq.FSets.FMapFacts]
m':439 [in Coq.FSets.FMapList]
m':44 [in Coq.FSets.FSetPositive]
m':44 [in Coq.MSets.MSetPositive]
m':443 [in Coq.FSets.FMapFacts]
m':446 [in Coq.FSets.FMapWeakList]
m':451 [in Coq.FSets.FMapList]
m':456 [in Coq.FSets.FMapWeakList]
m':456 [in Coq.FSets.FMapList]
m':458 [in Coq.FSets.FMapList]
m':46 [in Coq.Sorting.Permutation]
m':462 [in Coq.FSets.FMapWeakList]
m':467 [in Coq.FSets.FMapList]
m':472 [in Coq.FSets.FMapWeakList]
m':473 [in Coq.FSets.FMapList]
m':479 [in Coq.FSets.FMapWeakList]
m':483 [in Coq.FSets.FMapList]
m':484 [in Coq.FSets.FMapWeakList]
m':49 [in Coq.FSets.FSetPositive]
m':49 [in Coq.MSets.MSetPositive]
m':492 [in Coq.FSets.FMapList]
m':499 [in Coq.FSets.FMapList]
m':504 [in Coq.FSets.FMapList]
m':506 [in Coq.FSets.FMapFacts]
m':511 [in Coq.FSets.FMapWeakList]
m':520 [in Coq.FSets.FMapWeakList]
m':528 [in Coq.FSets.FMapWeakList]
m':531 [in Coq.FSets.FMapList]
m':532 [in Coq.FSets.FMapWeakList]
m':536 [in Coq.FSets.FMapFacts]
m':539 [in Coq.FSets.FMapWeakList]
m':540 [in Coq.FSets.FMapList]
m':548 [in Coq.FSets.FMapList]
m':552 [in Coq.FSets.FMapList]
m':559 [in Coq.FSets.FMapList]
m':563 [in Coq.FSets.FMapFacts]
m':567 [in Coq.FSets.FMapFacts]
m':571 [in Coq.FSets.FMapFacts]
m':574 [in Coq.FSets.FMapFacts]
m':578 [in Coq.FSets.FMapFacts]
m':581 [in Coq.FSets.FMapFacts]
m':585 [in Coq.FSets.FMapFacts]
m':596 [in Coq.FSets.FMapWeakList]
m':599 [in Coq.FSets.FMapWeakList]
m':617 [in Coq.FSets.FMapList]
m':620 [in Coq.FSets.FMapList]
m':628 [in Coq.FSets.FMapWeakList]
m':631 [in Coq.FSets.FMapFacts]
m':635 [in Coq.FSets.FMapFacts]
m':635 [in Coq.FSets.FMapWeakList]
m':639 [in Coq.FSets.FMapFacts]
m':643 [in Coq.FSets.FMapFacts]
m':649 [in Coq.FSets.FMapList]
m':656 [in Coq.FSets.FMapList]
m':662 [in Coq.FSets.FMapList]
m':666 [in Coq.FSets.FMapFacts]
m':667 [in Coq.FSets.FMapList]
m':669 [in Coq.FSets.FMapList]
m':67 [in Coq.FSets.FMapInterface]
m':673 [in Coq.FSets.FMapFacts]
m':674 [in Coq.FSets.FMapList]
m':676 [in Coq.FSets.FMapList]
m':678 [in Coq.FSets.FMapList]
m':680 [in Coq.FSets.FMapList]
m':7 [in Coq.Numbers.Natural.Abstract.NAdd]
m':71 [in Coq.FSets.FMapInterface]
m':93 [in Coq.FSets.FMapFullAVL]
m0:452 [in Coq.FSets.FMapList]
m0:457 [in Coq.FSets.FMapWeakList]
m1:101 [in Coq.FSets.FMapFullAVL]
m1:101 [in Coq.FSets.FMapPositive]
m1:105 [in Coq.FSets.FMapAVL]
m1:106 [in Coq.FSets.FMapPositive]
m1:108 [in Coq.Floats.SpecFloat]
m1:1111 [in Coq.FSets.FMapAVL]
m1:1114 [in Coq.FSets.FMapAVL]
m1:1118 [in Coq.FSets.FMapAVL]
m1:112 [in Coq.FSets.FMapAVL]
m1:1169 [in Coq.FSets.FMapAVL]
m1:1172 [in Coq.FSets.FMapAVL]
m1:1176 [in Coq.FSets.FMapAVL]
m1:1260 [in Coq.FSets.FMapAVL]
m1:1265 [in Coq.FSets.FMapAVL]
m1:132 [in Coq.FSets.FMapInterface]
m1:135 [in Coq.FSets.FMapInterface]
m1:138 [in Coq.FSets.FMapAVL]
m1:139 [in Coq.FSets.FMapInterface]
m1:143 [in Coq.FSets.FMapInterface]
m1:15 [in Coq.Sets.Multiset]
m1:154 [in Coq.FSets.FMapInterface]
m1:1550 [in Coq.FSets.FMapAVL]
m1:1552 [in Coq.FSets.FMapAVL]
m1:1556 [in Coq.FSets.FMapAVL]
m1:1557 [in Coq.FSets.FMapAVL]
m1:1559 [in Coq.FSets.FMapAVL]
M1:156 [in Coq.micromega.EnvRing]
m1:1561 [in Coq.FSets.FMapAVL]
m1:1563 [in Coq.FSets.FMapAVL]
m1:1570 [in Coq.FSets.FMapAVL]
m1:1572 [in Coq.FSets.FMapAVL]
m1:1575 [in Coq.FSets.FMapAVL]
m1:1578 [in Coq.FSets.FMapAVL]
M1:162 [in Coq.micromega.EnvRing]
M1:164 [in Coq.setoid_ring.Ring_polynom]
M1:168 [in Coq.micromega.EnvRing]
m1:204 [in Coq.FSets.FMapFacts]
m1:229 [in Coq.FSets.FMapPositive]
m1:235 [in Coq.FSets.FMapPositive]
m1:24 [in Coq.Sets.Multiset]
m1:287 [in Coq.FSets.FMapPositive]
M1:302 [in Coq.micromega.EnvRing]
M1:308 [in Coq.micromega.EnvRing]
M1:313 [in Coq.micromega.EnvRing]
m1:336 [in Coq.FSets.FMapPositive]
m1:34 [in Coq.Sets.Uniset]
m1:358 [in Coq.FSets.FMapFullAVL]
m1:360 [in Coq.FSets.FMapFullAVL]
m1:362 [in Coq.FSets.FMapFullAVL]
m1:366 [in Coq.FSets.FMapFullAVL]
m1:367 [in Coq.FSets.FMapFullAVL]
m1:369 [in Coq.FSets.FMapFullAVL]
m1:371 [in Coq.FSets.FMapFullAVL]
m1:373 [in Coq.FSets.FMapFullAVL]
m1:380 [in Coq.FSets.FMapFullAVL]
m1:382 [in Coq.FSets.FMapFullAVL]
m1:385 [in Coq.FSets.FMapFullAVL]
m1:388 [in Coq.FSets.FMapFullAVL]
m1:411 [in Coq.FSets.FMapFacts]
m1:414 [in Coq.FSets.FMapFacts]
m1:418 [in Coq.FSets.FMapFacts]
m1:446 [in Coq.FSets.FMapFacts]
m1:454 [in Coq.FSets.FMapList]
m1:459 [in Coq.FSets.FMapWeakList]
m1:469 [in Coq.FSets.FMapFacts]
m1:471 [in Coq.FSets.FMapFacts]
m1:474 [in Coq.FSets.FMapFacts]
m1:51 [in Coq.FSets.FMapFullAVL]
m1:513 [in Coq.FSets.FMapFacts]
m1:521 [in Coq.FSets.FMapFacts]
m1:524 [in Coq.FSets.FMapFacts]
m1:527 [in Coq.FSets.FMapFacts]
m1:53 [in Coq.FSets.FMapFullAVL]
m1:530 [in Coq.FSets.FMapFacts]
m1:533 [in Coq.FSets.FMapFacts]
m1:539 [in Coq.FSets.FMapFacts]
m1:547 [in Coq.FSets.FMapFacts]
m1:551 [in Coq.FSets.FMapFacts]
m1:558 [in Coq.FSets.FMapFacts]
m1:67 [in Coq.FSets.FMapFullAVL]
m1:677 [in Coq.Lists.List]
m1:677 [in Coq.FSets.FMapFacts]
m1:682 [in Coq.FSets.FMapList]
m1:684 [in Coq.FSets.FMapFacts]
m1:684 [in Coq.FSets.FMapList]
m1:687 [in Coq.FSets.FMapList]
m1:690 [in Coq.FSets.FMapList]
m1:692 [in Coq.FSets.FMapList]
m1:694 [in Coq.FSets.FMapFacts]
m1:77 [in Coq.FSets.FMapAVL]
m1:81 [in Coq.FSets.FMapPositive]
m1:95 [in Coq.FSets.FMapFullAVL]
m2':81 [in Coq.FSets.FMapAVL]
m2:102 [in Coq.FSets.FMapFullAVL]
m2:102 [in Coq.FSets.FMapPositive]
m2:107 [in Coq.FSets.FMapPositive]
m2:110 [in Coq.Floats.SpecFloat]
m2:1112 [in Coq.FSets.FMapAVL]
m2:1115 [in Coq.FSets.FMapAVL]
m2:1119 [in Coq.FSets.FMapAVL]
m2:113 [in Coq.FSets.FMapAVL]
m2:1170 [in Coq.FSets.FMapAVL]
m2:1173 [in Coq.FSets.FMapAVL]
m2:1177 [in Coq.FSets.FMapAVL]
m2:1266 [in Coq.FSets.FMapAVL]
m2:133 [in Coq.FSets.FMapInterface]
m2:136 [in Coq.FSets.FMapInterface]
m2:139 [in Coq.FSets.FMapAVL]
m2:140 [in Coq.FSets.FMapInterface]
M2:144 [in Coq.micromega.EnvRing]
m2:144 [in Coq.FSets.FMapInterface]
M2:149 [in Coq.setoid_ring.Ring_polynom]
m2:155 [in Coq.FSets.FMapInterface]
m2:1551 [in Coq.FSets.FMapAVL]
m2:1553 [in Coq.FSets.FMapAVL]
m2:1558 [in Coq.FSets.FMapAVL]
m2:1560 [in Coq.FSets.FMapAVL]
m2:1562 [in Coq.FSets.FMapAVL]
m2:1564 [in Coq.FSets.FMapAVL]
m2:1571 [in Coq.FSets.FMapAVL]
m2:1573 [in Coq.FSets.FMapAVL]
m2:1576 [in Coq.FSets.FMapAVL]
m2:1579 [in Coq.FSets.FMapAVL]
m2:16 [in Coq.Sets.Multiset]
m2:205 [in Coq.FSets.FMapFacts]
m2:230 [in Coq.FSets.FMapPositive]
m2:236 [in Coq.FSets.FMapPositive]
m2:25 [in Coq.Sets.Multiset]
m2:288 [in Coq.FSets.FMapPositive]
m2:337 [in Coq.FSets.FMapPositive]
m2:35 [in Coq.Sets.Uniset]
m2:359 [in Coq.FSets.FMapFullAVL]
m2:361 [in Coq.FSets.FMapFullAVL]
m2:363 [in Coq.FSets.FMapFullAVL]
m2:368 [in Coq.FSets.FMapFullAVL]
m2:370 [in Coq.FSets.FMapFullAVL]
m2:372 [in Coq.FSets.FMapFullAVL]
m2:374 [in Coq.FSets.FMapFullAVL]
m2:381 [in Coq.FSets.FMapFullAVL]
m2:383 [in Coq.FSets.FMapFullAVL]
m2:386 [in Coq.FSets.FMapFullAVL]
m2:389 [in Coq.FSets.FMapFullAVL]
m2:412 [in Coq.FSets.FMapFacts]
m2:415 [in Coq.FSets.FMapFacts]
m2:419 [in Coq.FSets.FMapFacts]
m2:447 [in Coq.FSets.FMapFacts]
m2:470 [in Coq.FSets.FMapFacts]
m2:472 [in Coq.FSets.FMapFacts]
m2:475 [in Coq.FSets.FMapFacts]
m2:517 [in Coq.FSets.FMapFacts]
m2:52 [in Coq.FSets.FMapFullAVL]
m2:522 [in Coq.FSets.FMapFacts]
m2:525 [in Coq.FSets.FMapFacts]
m2:528 [in Coq.FSets.FMapFacts]
m2:531 [in Coq.FSets.FMapFacts]
m2:534 [in Coq.FSets.FMapFacts]
m2:54 [in Coq.FSets.FMapFullAVL]
m2:540 [in Coq.FSets.FMapFacts]
m2:548 [in Coq.FSets.FMapFacts]
m2:552 [in Coq.FSets.FMapFacts]
m2:559 [in Coq.FSets.FMapFacts]
m2:678 [in Coq.Lists.List]
m2:678 [in Coq.FSets.FMapFacts]
m2:68 [in Coq.FSets.FMapFullAVL]
m2:683 [in Coq.FSets.FMapList]
m2:685 [in Coq.FSets.FMapFacts]
m2:685 [in Coq.FSets.FMapList]
m2:688 [in Coq.FSets.FMapList]
m2:691 [in Coq.FSets.FMapList]
m2:693 [in Coq.FSets.FMapList]
m2:695 [in Coq.FSets.FMapFacts]
m2:78 [in Coq.FSets.FMapAVL]
m2:82 [in Coq.FSets.FMapPositive]
m2:96 [in Coq.FSets.FMapFullAVL]
m3:137 [in Coq.FSets.FMapInterface]
m3:141 [in Coq.FSets.FMapInterface]
m3:1574 [in Coq.FSets.FMapAVL]
m3:1577 [in Coq.FSets.FMapAVL]
m3:384 [in Coq.FSets.FMapFullAVL]
m3:387 [in Coq.FSets.FMapFullAVL]
m3:541 [in Coq.FSets.FMapFacts]
m3:686 [in Coq.FSets.FMapList]
m3:689 [in Coq.FSets.FMapList]
m:1 [in Coq.Bool.Bvector]
m:10 [in Coq.Arith.Minus]
m:10 [in Coq.Arith.Le]
m:10 [in Coq.micromega.Ztac]
m:10 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:10 [in Coq.Arith.Compare]
m:10 [in Coq.Reals.Rminmax]
m:10 [in Coq.Reals.ArithProp]
m:10 [in Coq.Numbers.Integer.Abstract.ZParity]
m:10 [in Coq.FSets.FMapFacts]
m:10 [in Coq.Numbers.Natural.Abstract.NAddOrder]
m:10 [in Coq.Arith.Plus]
m:10 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:10 [in Coq.ZArith.Zeven]
m:10 [in Coq.FSets.FMapAVL]
m:10 [in Coq.ZArith.auxiliary]
m:10 [in Coq.Arith.EqNat]
m:10 [in Coq.ZArith.Zorder]
m:10 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:10 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:10 [in Coq.Arith.Gt]
m:10 [in Coq.Numbers.NatInt.NZMul]
m:10 [in Coq.ZArith.Zcomplements]
m:10 [in Coq.Arith.Euclid]
m:10 [in Coq.Vectors.VectorEq]
m:10 [in Coq.Numbers.Integer.Abstract.ZMul]
m:10 [in Coq.Arith.Lt]
m:10 [in Coq.rtauto.Rtauto]
m:100 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:100 [in Coq.Arith.Wf_nat]
m:100 [in Coq.Structures.GenericMinMax]
m:100 [in Coq.NArith.BinNatDef]
m:1000 [in Coq.FSets.FMapAVL]
m:1003 [in Coq.FSets.FMapAVL]
m:1006 [in Coq.FSets.FMapAVL]
m:1009 [in Coq.FSets.FMapAVL]
m:101 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:101 [in Coq.Reals.Rfunctions]
m:101 [in Coq.NArith.BinNat]
m:101 [in Coq.micromega.OrderedRing]
m:101 [in Coq.omega.OmegaLemmas]
m:101 [in Coq.Numbers.NatInt.NZMulOrder]
m:1011 [in Coq.FSets.FMapAVL]
m:1013 [in Coq.FSets.FMapAVL]
m:1015 [in Coq.FSets.FMapAVL]
m:1017 [in Coq.FSets.FMapAVL]
m:102 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:102 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:102 [in Coq.Numbers.Natural.Abstract.NBits]
m:102 [in Coq.ZArith.Zorder]
m:102 [in Coq.MSets.MSetPositive]
m:102 [in Coq.Structures.GenericMinMax]
m:102 [in Coq.Init.Datatypes]
m:1021 [in Coq.FSets.FMapAVL]
m:1025 [in Coq.FSets.FMapAVL]
m:103 [in Coq.FSets.FMapInterface]
m:103 [in Coq.NArith.BinNat]
m:103 [in Coq.micromega.OrderedRing]
m:103 [in Coq.Numbers.NatInt.NZMulOrder]
m:104 [in Coq.Arith.Wf_nat]
m:104 [in Coq.Numbers.Cyclic.Int31.Int31]
m:104 [in Coq.Structures.GenericMinMax]
m:105 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:105 [in Coq.Numbers.Natural.Abstract.NBits]
m:105 [in Coq.NArith.BinNat]
m:105 [in Coq.FSets.FSetPositive]
m:105 [in Coq.ZArith.Zorder]
m:105 [in Coq.MSets.MSetPositive]
m:105 [in Coq.Numbers.NatInt.NZOrder]
m:105 [in Coq.Numbers.NatInt.NZMulOrder]
m:1057 [in Coq.FSets.FMapAVL]
m:106 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:106 [in Coq.FSets.FMapFacts]
m:106 [in Coq.micromega.OrderedRing]
m:106 [in Coq.Numbers.Cyclic.Int31.Int31]
m:106 [in Coq.ZArith.Znat]
m:1061 [in Coq.FSets.FMapAVL]
m:1064 [in Coq.FSets.FMapAVL]
m:1068 [in Coq.FSets.FMapAVL]
m:107 [in Coq.Reals.Cauchy_prod]
m:107 [in Coq.Arith.Wf_nat]
m:107 [in Coq.NArith.BinNat]
m:107 [in Coq.Numbers.NatInt.NZMulOrder]
m:1073 [in Coq.FSets.FMapAVL]
m:1078 [in Coq.FSets.FMapAVL]
m:108 [in Coq.ZArith.BinInt]
m:108 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:108 [in Coq.Numbers.Natural.Abstract.NBits]
m:108 [in Coq.FSets.FSetPositive]
m:108 [in Coq.ZArith.Zorder]
m:108 [in Coq.MSets.MSetPositive]
m:108 [in Coq.Vectors.Fin]
m:108 [in Coq.Numbers.Cyclic.Int31.Int31]
m:108 [in Coq.Structures.GenericMinMax]
m:108 [in Coq.ZArith.Znat]
m:109 [in Coq.Arith.Wf_nat]
m:109 [in Coq.NArith.BinNat]
m:109 [in Coq.micromega.OrderedRing]
m:11 [in Coq.Numbers.Natural.Abstract.NSub]
m:11 [in Coq.Sorting.PermutSetoid]
m:11 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:11 [in Coq.ZArith.Zabs]
m:11 [in Coq.Arith.Compare_dec]
m:11 [in Coq.QArith.Qminmax]
m:11 [in Coq.omega.OmegaLemmas]
m:11 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:11 [in Coq.Lists.StreamMemo]
m:11 [in Coq.ZArith.ZArith_dec]
m:11 [in Coq.Numbers.NatInt.NZOrder]
m:11 [in Coq.Numbers.NatInt.NZMulOrder]
m:11 [in Coq.Arith.Mult]
m:11 [in Coq.Numbers.Integer.Abstract.ZLt]
m:11 [in Coq.Numbers.NatInt.NZAdd]
m:110 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:110 [in Coq.Reals.Cauchy_prod]
m:110 [in Coq.ZArith.BinInt]
m:110 [in Coq.FSets.FMapInterface]
m:110 [in Coq.Structures.GenericMinMax]
m:110 [in Coq.ZArith.Znat]
m:111 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:111 [in Coq.Numbers.Natural.Abstract.NBits]
m:111 [in Coq.FSets.FMapFullAVL]
m:111 [in Coq.NArith.BinNat]
m:111 [in Coq.FSets.FSetPositive]
m:111 [in Coq.ZArith.Zorder]
m:111 [in Coq.Numbers.Cyclic.Int31.Int31]
m:111 [in Coq.FSets.FMapPositive]
m:112 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:112 [in Coq.micromega.OrderedRing]
m:1122 [in Coq.FSets.FMapAVL]
m:1125 [in Coq.FSets.FMapAVL]
m:1127 [in Coq.FSets.FMapAVL]
m:113 [in Coq.Reals.Cauchy_prod]
m:113 [in Coq.NArith.BinNat]
m:113 [in Coq.ZArith.Znat]
m:1130 [in Coq.FSets.FMapAVL]
m:1134 [in Coq.FSets.FMapAVL]
m:114 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:114 [in Coq.Reals.Runcountable]
m:114 [in Coq.micromega.ZifyClasses]
m:114 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:114 [in Coq.FSets.FMapFullAVL]
m:114 [in Coq.micromega.OrderedRing]
m:114 [in Coq.ZArith.Zorder]
m:114 [in Coq.FSets.FMapPositive]
m:115 [in Coq.Arith.Wf_nat]
m:115 [in Coq.FSets.FMapFacts]
m:115 [in Coq.NArith.BinNat]
m:115 [in Coq.MSets.MSetPositive]
m:115 [in Coq.Structures.GenericMinMax]
m:115 [in Coq.Numbers.Integer.Abstract.ZBits]
m:115 [in Coq.ZArith.Znat]
m:1152 [in Coq.FSets.FMapAVL]
m:1155 [in Coq.FSets.FMapAVL]
m:1158 [in Coq.FSets.FMapAVL]
m:116 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:116 [in Coq.Reals.Cauchy_prod]
m:116 [in Coq.FSets.FMapFullAVL]
m:116 [in Coq.micromega.OrderedRing]
m:116 [in Coq.Vectors.Fin]
m:1160 [in Coq.FSets.FMapAVL]
m:1162 [in Coq.FSets.FMapAVL]
m:1164 [in Coq.FSets.FMapAVL]
m:1166 [in Coq.FSets.FMapAVL]
m:117 [in Coq.Arith.Wf_nat]
m:117 [in Coq.FSets.FMapAVL]
m:117 [in Coq.ZArith.Zorder]
m:117 [in Coq.FSets.FMapPositive]
m:117 [in Coq.Numbers.Integer.Abstract.ZBits]
m:117 [in Coq.ZArith.Znat]
m:118 [in Coq.FSets.FMapInterface]
m:118 [in Coq.FSets.FMapFullAVL]
m:118 [in Coq.micromega.OrderedRing]
m:118 [in Coq.FSets.FSetPositive]
m:118 [in Coq.Numbers.Integer.Abstract.ZBits]
m:118 [in Coq.Numbers.NatInt.NZOrder]
m:119 [in Coq.Reals.Cauchy_prod]
M:119 [in Coq.setoid_ring.Ring_polynom]
m:119 [in Coq.Classes.Morphisms]
m:119 [in Coq.NArith.BinNat]
m:119 [in Coq.Structures.GenericMinMax]
m:119 [in Coq.Numbers.Integer.Abstract.ZBits]
m:119 [in Coq.ZArith.Znat]
m:1197 [in Coq.FSets.FMapAVL]
m:1199 [in Coq.FSets.FMapAVL]
m:12 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:12 [in Coq.Arith.Div2]
m:12 [in Coq.Reals.Abstract.ConstructiveLUB]
m:12 [in Coq.Reals.Rfunctions]
m:12 [in Coq.Numbers.NatInt.NZAddOrder]
m:12 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:12 [in Coq.Reals.ArithProp]
m:12 [in Coq.Numbers.Natural.Abstract.NBase]
m:12 [in Coq.Numbers.Natural.Abstract.NAddOrder]
m:12 [in Coq.Numbers.NatInt.NZGcd]
m:12 [in Coq.ZArith.auxiliary]
m:12 [in Coq.Arith.EqNat]
m:12 [in Coq.Numbers.NatInt.NZDomain]
m:12 [in Coq.FSets.FSetPositive]
m:12 [in Coq.ZArith.Zorder]
m:12 [in Coq.MSets.MSetPositive]
m:12 [in Coq.Numbers.Natural.Abstract.NMulOrder]
m:12 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:12 [in Coq.Sets.Multiset]
m:12 [in Coq.NArith.BinNatDef]
m:12 [in Coq.Numbers.Integer.Abstract.ZMul]
m:12 [in Coq.ZArith.Zcompare]
m:120 [in Coq.Reals.Abstract.ConstructiveLUB]
m:120 [in Coq.FSets.FMapFacts]
m:120 [in Coq.FSets.FMapFullAVL]
m:120 [in Coq.micromega.OrderedRing]
m:120 [in Coq.ZArith.Zorder]
m:1200 [in Coq.FSets.FMapAVL]
m:1201 [in Coq.FSets.FMapAVL]
m:121 [in Coq.NArith.BinNat]
m:121 [in Coq.FSets.FMapPositive]
m:121 [in Coq.Structures.GenericMinMax]
m:121 [in Coq.ZArith.Znat]
m:122 [in Coq.Reals.Cauchy_prod]
M:122 [in Coq.setoid_ring.Ring_polynom]
m:122 [in Coq.Floats.SpecFloat]
m:122 [in Coq.FSets.FMapFullAVL]
m:122 [in Coq.Reals.Rtopology]
m:122 [in Coq.Numbers.Integer.Abstract.ZBits]
m:123 [in Coq.Arith.Wf_nat]
m:123 [in Coq.FSets.FMapFacts]
m:123 [in Coq.NArith.BinNat]
m:123 [in Coq.micromega.OrderedRing]
m:123 [in Coq.FSets.FMapAVL]
m:123 [in Coq.ZArith.Zorder]
m:123 [in Coq.FSets.FMapPositive]
M:123 [in Coq.Reals.Rtopology]
m:123 [in Coq.Structures.GenericMinMax]
m:123 [in Coq.ZArith.Znat]
m:124 [in Coq.FSets.FMapFullAVL]
M:125 [in Coq.setoid_ring.Ring_polynom]
m:125 [in Coq.Arith.Wf_nat]
m:125 [in Coq.NArith.BinNat]
m:125 [in Coq.Structures.GenericMinMax]
m:126 [in Coq.FSets.FMapInterface]
m:126 [in Coq.FSets.FMapFullAVL]
m:126 [in Coq.micromega.OrderedRing]
m:126 [in Coq.ZArith.Zorder]
m:126 [in Coq.Vectors.Fin]
m:126 [in Coq.FSets.FMapPositive]
m:1267 [in Coq.FSets.FMapAVL]
m:127 [in Coq.Reals.Rfunctions]
M:127 [in Coq.micromega.EnvRing]
m:127 [in Coq.Structures.GenericMinMax]
m:128 [in Coq.FSets.FMapFacts]
m:128 [in Coq.FSets.FMapFullAVL]
m:1280 [in Coq.FSets.FMapAVL]
m:1283 [in Coq.FSets.FMapAVL]
m:1285 [in Coq.FSets.FMapAVL]
m:1289 [in Coq.FSets.FMapAVL]
m:129 [in Coq.FSets.FMapFullAVL]
m:129 [in Coq.NArith.BinNat]
m:129 [in Coq.micromega.OrderedRing]
m:129 [in Coq.FSets.FMapAVL]
m:129 [in Coq.ZArith.Zorder]
m:129 [in Coq.FSets.FMapPositive]
m:129 [in Coq.Structures.GenericMinMax]
m:129 [in Coq.ZArith.Znat]
m:1293 [in Coq.FSets.FMapAVL]
m:1295 [in Coq.FSets.FMapAVL]
m:13 [in Coq.Arith.Minus]
m:13 [in Coq.Numbers.Natural.Abstract.NSub]
m:13 [in Coq.Sorting.PermutSetoid]
m:13 [in Coq.Reals.Rminmax]
m:13 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:13 [in Coq.ZArith.Zabs]
m:13 [in Coq.Numbers.NatInt.NZBase]
m:13 [in Coq.Arith.Compare_dec]
m:13 [in Coq.micromega.ZifyBool]
m:13 [in Coq.Init.Nat]
m:13 [in Coq.Arith.Plus]
m:13 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:13 [in Coq.NArith.BinNat]
m:13 [in Coq.FSets.FMapAVL]
m:13 [in Coq.funind.Recdef]
m:13 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:13 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:13 [in Coq.Lists.StreamMemo]
m:13 [in Coq.Numbers.NatInt.NZOrder]
m:13 [in Coq.Arith.Even]
m:13 [in Coq.Arith.Gt]
m:13 [in Coq.Numbers.NatInt.NZMul]
m:13 [in Coq.ZArith.Znat]
m:13 [in Coq.Numbers.Integer.Abstract.ZLt]
m:13 [in Coq.Numbers.Natural.Abstract.NAdd]
m:130 [in Coq.Reals.Rfunctions]
M:130 [in Coq.micromega.EnvRing]
m:130 [in Coq.FSets.FMapInterface]
m:130 [in Coq.NArith.Ndigits]
m:1303 [in Coq.FSets.FMapAVL]
m:1306 [in Coq.FSets.FMapAVL]
m:1307 [in Coq.FSets.FMapAVL]
m:131 [in Coq.NArith.BinNat]
m:131 [in Coq.Arith.PeanoNat]
m:131 [in Coq.Vectors.Fin]
m:131 [in Coq.FSets.FMapPositive]
m:132 [in Coq.Reals.Rfunctions]
m:132 [in Coq.FSets.FMapFacts]
m:132 [in Coq.FSets.FMapFullAVL]
m:132 [in Coq.micromega.OrderedRing]
m:132 [in Coq.ZArith.Zorder]
m:132 [in Coq.Structures.GenericMinMax]
m:1320 [in Coq.FSets.FMapAVL]
m:1325 [in Coq.FSets.FMapAVL]
M:133 [in Coq.micromega.EnvRing]
m:133 [in Coq.NArith.BinNat]
m:133 [in Coq.FSets.FMapPositive]
m:133 [in Coq.Structures.OrdersFacts]
m:1335 [in Coq.FSets.FMapAVL]
m:1338 [in Coq.FSets.FMapAVL]
m:134 [in Coq.Reals.Rfunctions]
m:134 [in Coq.Classes.Morphisms]
m:134 [in Coq.Arith.PeanoNat]
m:134 [in Coq.Vectors.Fin]
m:1340 [in Coq.FSets.FMapAVL]
m:1347 [in Coq.FSets.FMapAVL]
m:1349 [in Coq.FSets.FMapAVL]
m:135 [in Coq.Reals.Runcountable]
m:135 [in Coq.micromega.RingMicromega]
m:135 [in Coq.FSets.FMapFullAVL]
m:135 [in Coq.NArith.BinNat]
m:135 [in Coq.ZArith.Zorder]
m:135 [in Coq.NArith.Ndigits]
m:135 [in Coq.FSets.FMapWeakList]
m:135 [in Coq.Structures.GenericMinMax]
m:135 [in Coq.ZArith.Znat]
m:1352 [in Coq.FSets.FMapAVL]
m:136 [in Coq.Arith.Wf_nat]
m:136 [in Coq.FSets.FMapFacts]
M:136 [in Coq.micromega.EnvRing]
m:136 [in Coq.micromega.OrderedRing]
m:136 [in Coq.MSets.MSetPositive]
m:1362 [in Coq.FSets.FMapAVL]
m:1365 [in Coq.FSets.FMapAVL]
m:1367 [in Coq.FSets.FMapAVL]
m:1369 [in Coq.FSets.FMapAVL]
m:137 [in Coq.Reals.Runcountable]
m:137 [in Coq.NArith.BinNat]
m:137 [in Coq.Arith.PeanoNat]
m:137 [in Coq.Numbers.Integer.Abstract.ZBits]
m:1371 [in Coq.FSets.FMapAVL]
m:1373 [in Coq.FSets.FMapAVL]
m:1375 [in Coq.FSets.FMapAVL]
m:1377 [in Coq.FSets.FMapAVL]
m:1379 [in Coq.FSets.FMapAVL]
m:138 [in Coq.ZArith.Zorder]
m:138 [in Coq.NArith.Ndigits]
m:138 [in Coq.Numbers.Cyclic.Int31.Int31]
m:138 [in Coq.Structures.GenericMinMax]
m:138 [in Coq.ZArith.Znat]
m:1380 [in Coq.FSets.FMapAVL]
m:1383 [in Coq.FSets.FMapAVL]
m:1386 [in Coq.FSets.FMapAVL]
m:139 [in Coq.FSets.FMapFullAVL]
m:139 [in Coq.NArith.BinNat]
m:139 [in Coq.FSets.FSetPositive]
m:139 [in Coq.FSets.FMapWeakList]
m:1390 [in Coq.FSets.FMapAVL]
m:1392 [in Coq.FSets.FMapAVL]
m:1393 [in Coq.FSets.FMapAVL]
m:1394 [in Coq.FSets.FMapAVL]
m:1398 [in Coq.FSets.FMapAVL]
m:14 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:14 [in Coq.Init.Peano]
m:14 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:14 [in Coq.Reals.ArithProp]
m:14 [in Coq.Reals.Rseries]
m:14 [in Coq.Numbers.Natural.Abstract.NBase]
m:14 [in Coq.rtauto.Bintree]
m:14 [in Coq.ZArith.auxiliary]
m:14 [in Coq.Numbers.NatInt.NZDomain]
m:14 [in Coq.ZArith.Zorder]
m:14 [in Coq.ZArith.ZArith_dec]
m:14 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:14 [in Coq.Numbers.NatInt.NZMulOrder]
m:14 [in Coq.Arith.Mult]
m:14 [in Coq.Numbers.Natural.Abstract.NGcd]
m:14 [in Coq.Arith.Euclid]
m:14 [in Coq.Numbers.NatInt.NZAdd]
m:14 [in Coq.Numbers.Integer.Abstract.ZMul]
m:14 [in Coq.ZArith.Zcompare]
m:14 [in Coq.Arith.Lt]
m:140 [in Coq.micromega.ZifyClasses]
m:140 [in Coq.Reals.Rfunctions]
m:140 [in Coq.FSets.FMapFacts]
m:140 [in Coq.micromega.OrderedRing]
m:140 [in Coq.Numbers.Integer.Abstract.ZBits]
m:140 [in Coq.ZArith.Znat]
m:1400 [in Coq.FSets.FMapAVL]
m:1402 [in Coq.FSets.FMapAVL]
m:1403 [in Coq.FSets.FMapAVL]
m:1404 [in Coq.FSets.FMapAVL]
m:1408 [in Coq.FSets.FMapAVL]
m:141 [in Coq.micromega.RingMicromega]
M:141 [in Coq.setoid_ring.Ring_polynom]
m:141 [in Coq.FSets.FMapFullAVL]
m:141 [in Coq.NArith.BinNat]
m:141 [in Coq.Classes.CMorphisms]
m:141 [in Coq.ZArith.Zorder]
m:141 [in Coq.Structures.GenericMinMax]
m:141 [in Coq.QArith.QArith_base]
m:1413 [in Coq.FSets.FMapAVL]
m:1418 [in Coq.FSets.FMapAVL]
m:142 [in Coq.FSets.FMapFullAVL]
m:142 [in Coq.FSets.FMapPositive]
m:1421 [in Coq.FSets.FMapAVL]
m:1425 [in Coq.FSets.FMapAVL]
m:1429 [in Coq.FSets.FMapAVL]
m:143 [in Coq.FSets.FMapFullAVL]
m:143 [in Coq.Numbers.Integer.Abstract.ZBits]
m:143 [in Coq.Numbers.NatInt.NZOrder]
m:1432 [in Coq.FSets.FMapAVL]
m:1435 [in Coq.FSets.FMapAVL]
m:144 [in Coq.ZArith.BinInt]
m:144 [in Coq.FSets.FMapFacts]
m:144 [in Coq.micromega.OrderedRing]
m:144 [in Coq.ZArith.Zorder]
m:144 [in Coq.FSets.FMapPositive]
m:144 [in Coq.FSets.FMapWeakList]
m:144 [in Coq.Structures.GenericMinMax]
m:144 [in Coq.Numbers.NatInt.NZOrder]
m:1441 [in Coq.FSets.FMapAVL]
m:1444 [in Coq.FSets.FMapAVL]
m:1447 [in Coq.FSets.FMapAVL]
m:1448 [in Coq.FSets.FMapAVL]
m:1449 [in Coq.FSets.FMapAVL]
m:145 [in Coq.Vectors.Fin]
m:145 [in Coq.ZArith.Znat]
m:1450 [in Coq.FSets.FMapAVL]
m:1454 [in Coq.FSets.FMapAVL]
m:146 [in Coq.Reals.Cauchy_prod]
m:146 [in Coq.Reals.Rfunctions]
m:146 [in Coq.ZArith.BinInt]
m:146 [in Coq.Numbers.Integer.Abstract.ZBits]
m:146 [in Coq.Numbers.NatInt.NZOrder]
m:146 [in Coq.FSets.FMapList]
m:1462 [in Coq.FSets.FMapAVL]
m:1464 [in Coq.FSets.FMapAVL]
m:1467 [in Coq.FSets.FMapAVL]
m:147 [in Coq.FSets.FMapFullAVL]
m:147 [in Coq.ZArith.Zorder]
m:147 [in Coq.Structures.GenericMinMax]
m:147 [in Coq.Numbers.NatInt.NZOrder]
m:147 [in Coq.ZArith.Znat]
m:1472 [in Coq.FSets.FMapAVL]
m:1478 [in Coq.FSets.FMapAVL]
m:148 [in Coq.FSets.FMapFacts]
m:148 [in Coq.FSets.FMapInterface]
m:148 [in Coq.micromega.OrderedRing]
m:148 [in Coq.Arith.PeanoNat]
m:1483 [in Coq.FSets.FMapAVL]
m:149 [in Coq.Reals.Cauchy_prod]
m:149 [in Coq.Classes.Morphisms]
m:149 [in Coq.FSets.FMapFullAVL]
m:149 [in Coq.FSets.FMapPositive]
m:149 [in Coq.FSets.FMapWeakList]
m:149 [in Coq.Numbers.Integer.Abstract.ZBits]
m:149 [in Coq.ZArith.Znat]
m:1490 [in Coq.FSets.FMapAVL]
m:1496 [in Coq.FSets.FMapAVL]
m:15 [in Coq.Arith.Minus]
m:15 [in Coq.Numbers.Natural.Abstract.NSub]
m:15 [in Coq.Numbers.NatInt.NZAddOrder]
m:15 [in Coq.Arith.Compare_dec]
m:15 [in Coq.NArith.BinNat]
m:15 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:15 [in Coq.Arith.EqNat]
m:15 [in Coq.ZArith.Zpower]
m:15 [in Coq.Numbers.Natural.Abstract.NOrder]
m:15 [in Coq.FSets.FMapPositive]
m:15 [in Coq.Numbers.NatInt.NZParity]
m:15 [in Coq.Numbers.NatInt.NZOrder]
m:15 [in Coq.Arith.Even]
m:15 [in Coq.Arith.Gt]
m:15 [in Coq.Arith.Between]
m:15 [in Coq.ZArith.Znat]
m:15 [in Coq.Numbers.Integer.Abstract.ZLt]
m:15 [in Coq.Numbers.Natural.Abstract.NStrongRec]
m:15 [in Coq.Numbers.Natural.Abstract.NAdd]
m:150 [in Coq.micromega.OrderedRing]
m:150 [in Coq.ZArith.Zorder]
m:150 [in Coq.Vectors.Fin]
m:150 [in Coq.Structures.GenericMinMax]
m:150 [in Coq.Numbers.NatInt.NZOrder]
m:150 [in Coq.FSets.FMapList]
m:1503 [in Coq.FSets.FMapAVL]
m:151 [in Coq.FSets.FMapInterface]
m:151 [in Coq.FSets.FMapFullAVL]
m:151 [in Coq.FSets.FMapPositive]
m:151 [in Coq.ZArith.Znat]
m:152 [in Coq.Reals.Cauchy_prod]
m:152 [in Coq.FSets.FMapFacts]
m:152 [in Coq.FSets.FMapFullAVL]
m:152 [in Coq.micromega.OrderedRing]
m:152 [in Coq.Numbers.NatInt.NZOrder]
m:153 [in Coq.FSets.FMapFullAVL]
m:153 [in Coq.ZArith.Zorder]
m:153 [in Coq.Vectors.Fin]
m:153 [in Coq.Structures.GenericMinMax]
m:153 [in Coq.ZArith.Znat]
m:154 [in Coq.micromega.OrderedRing]
m:154 [in Coq.Arith.PeanoNat]
m:154 [in Coq.FSets.FMapWeakList]
m:155 [in Coq.Reals.Cauchy_prod]
m:155 [in Coq.FSets.FMapFacts]
m:155 [in Coq.FSets.FMapList]
m:155 [in Coq.ZArith.Znat]
m:156 [in Coq.Reals.Rfunctions]
m:156 [in Coq.Classes.Morphisms]
m:156 [in Coq.micromega.OrderedRing]
m:156 [in Coq.ZArith.Zorder]
m:156 [in Coq.Structures.GenericMinMax]
m:1565 [in Coq.FSets.FMapAVL]
m:1567 [in Coq.FSets.FMapAVL]
m:1569 [in Coq.FSets.FMapAVL]
m:157 [in Coq.FSets.FMapFullAVL]
m:157 [in Coq.ZArith.Znat]
m:158 [in Coq.FSets.FMapFacts]
m:158 [in Coq.micromega.OrderedRing]
m:158 [in Coq.FSets.FMapWeakList]
m:159 [in Coq.ZArith.Zorder]
m:159 [in Coq.Vectors.Fin]
m:159 [in Coq.Structures.GenericMinMax]
m:16 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:16 [in Coq.Reals.Rminmax]
m:16 [in Coq.Init.Peano]
m:16 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:16 [in Coq.Floats.SpecFloat]
m:16 [in Coq.Reals.ArithProp]
m:16 [in Coq.Strings.String]
m:16 [in Coq.Arith.Plus]
m:16 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:16 [in Coq.Numbers.NatInt.NZGcd]
m:16 [in Coq.ZArith.auxiliary]
m:16 [in Coq.ZArith.Zorder]
m:16 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:16 [in Coq.Numbers.Natural.Abstract.NMulOrder]
m:16 [in Coq.ZArith.ZArith_dec]
m:16 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:16 [in Coq.NArith.BinNatDef]
m:16 [in Coq.ZArith.Zcomplements]
m:16 [in Coq.Arith.Lt]
m:160 [in Coq.micromega.OrderedRing]
m:160 [in Coq.FSets.FMapList]
m:160 [in Coq.ZArith.Znat]
m:161 [in Coq.FSets.FMapFacts]
m:162 [in Coq.FSets.FMapFullAVL]
m:162 [in Coq.ZArith.Zorder]
m:162 [in Coq.Structures.GenericMinMax]
m:162 [in Coq.ZArith.Znat]
m:163 [in Coq.micromega.OrderedRing]
m:163 [in Coq.Vectors.Fin]
m:163 [in Coq.FSets.FMapWeakList]
m:164 [in Coq.FSets.FMapFacts]
m:164 [in Coq.FSets.FMapPositive]
m:164 [in Coq.ZArith.Znat]
m:165 [in Coq.micromega.OrderedRing]
m:165 [in Coq.ZArith.Zorder]
m:165 [in Coq.FSets.FMapList]
m:166 [in Coq.Classes.CMorphisms]
m:166 [in Coq.Structures.GenericMinMax]
m:166 [in Coq.setoid_ring.Ncring_polynom]
m:166 [in Coq.ZArith.Znat]
m:167 [in Coq.FSets.FMapFacts]
m:167 [in Coq.FSets.FMapFullAVL]
m:167 [in Coq.micromega.OrderedRing]
m:168 [in Coq.Structures.GenericMinMax]
m:169 [in Coq.micromega.OrderedRing]
m:169 [in Coq.ZArith.Zorder]
m:169 [in Coq.FSets.FMapPositive]
m:169 [in Coq.Structures.OrderedType]
m:17 [in Coq.Arith.Minus]
m:17 [in Coq.Numbers.Natural.Abstract.NSub]
m:17 [in Coq.Logic.ConstructiveEpsilon]
m:17 [in Coq.Arith.Compare_dec]
m:17 [in Coq.FSets.FMapFacts]
m:17 [in Coq.NArith.BinNat]
m:17 [in Coq.FSets.FMapAVL]
m:17 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:17 [in Coq.Arith.EqNat]
m:17 [in Coq.Numbers.Natural.Abstract.NOrder]
m:17 [in Coq.Numbers.NatInt.NZParity]
m:17 [in Coq.Numbers.NatInt.NZOrder]
m:17 [in Coq.Arith.Even]
m:17 [in Coq.Arith.Gt]
m:17 [in Coq.Numbers.NatInt.NZMulOrder]
m:17 [in Coq.Arith.Mult]
m:17 [in Coq.Numbers.Integer.Abstract.ZLt]
m:17 [in Coq.Numbers.Natural.Abstract.NGcd]
m:17 [in Coq.Vectors.VectorEq]
m:17 [in Coq.micromega.VarMap]
m:17 [in Coq.Numbers.NatInt.NZAdd]
m:17 [in Coq.Numbers.Natural.Abstract.NAdd]
m:17 [in Coq.Numbers.Integer.Abstract.ZMul]
m:17 [in Coq.ZArith.Zcompare]
m:170 [in Coq.FSets.FMapFacts]
m:170 [in Coq.FSets.FMapFullAVL]
m:170 [in Coq.Vectors.Fin]
m:170 [in Coq.Structures.GenericMinMax]
m:170 [in Coq.ZArith.Znat]
m:172 [in Coq.micromega.OrderedRing]
m:172 [in Coq.ZArith.Znat]
m:173 [in Coq.omega.OmegaLemmas]
m:173 [in Coq.ZArith.Zorder]
m:173 [in Coq.Structures.OrderedType]
m:173 [in Coq.Structures.GenericMinMax]
m:174 [in Coq.Reals.Cauchy_prod]
m:174 [in Coq.FSets.FMapFullAVL]
m:174 [in Coq.FSets.FMapPositive]
m:175 [in Coq.FSets.FMapFacts]
m:175 [in Coq.ZArith.Znat]
m:176 [in Coq.micromega.OrderedRing]
m:176 [in Coq.ZArith.Zorder]
m:176 [in Coq.Structures.GenericMinMax]
m:177 [in Coq.Reals.Cauchy_prod]
m:177 [in Coq.ZArith.Znat]
m:178 [in Coq.FSets.FMapFacts]
m:178 [in Coq.FSets.FMapFullAVL]
m:178 [in Coq.omega.OmegaLemmas]
m:178 [in Coq.FSets.FMapPositive]
m:179 [in Coq.Arith.PeanoNat]
m:179 [in Coq.Classes.CMorphisms]
m:179 [in Coq.ZArith.Zorder]
m:179 [in Coq.Structures.GenericMinMax]
m:18 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:18 [in Coq.Sorting.PermutSetoid]
m:18 [in Coq.Numbers.NatInt.NZAddOrder]
m:18 [in Coq.Floats.SpecFloat]
m:18 [in Coq.Reals.ArithProp]
m:18 [in Coq.Numbers.Natural.Abstract.NBase]
m:18 [in Coq.Init.Nat]
m:18 [in Coq.funind.Recdef]
m:18 [in Coq.Arith.PeanoNat]
m:18 [in Coq.ZArith.auxiliary]
m:18 [in Coq.ZArith.Zorder]
m:18 [in Coq.Strings.Ascii]
m:18 [in Coq.ZArith.ZArith_dec]
m:18 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:18 [in Coq.Numbers.NatInt.NZMul]
m:18 [in Coq.Numbers.Natural.Abstract.NStrongRec]
m:18 [in Coq.Arith.Lt]
m:180 [in Coq.Vectors.Fin]
m:180 [in Coq.FSets.FMapPositive]
m:180 [in Coq.setoid_ring.Ncring_polynom]
m:181 [in Coq.FSets.FMapFacts]
m:181 [in Coq.FSets.FMapFullAVL]
m:181 [in Coq.ZArith.Znat]
m:182 [in Coq.Arith.PeanoNat]
m:182 [in Coq.ZArith.Zorder]
m:182 [in Coq.Structures.GenericMinMax]
m:183 [in Coq.Vectors.Fin]
m:183 [in Coq.ZArith.Znat]
m:184 [in Coq.micromega.EnvRing]
m:184 [in Coq.FSets.FMapFullAVL]
m:184 [in Coq.Arith.PeanoNat]
m:185 [in Coq.ZArith.Zorder]
m:186 [in Coq.Classes.CMorphisms]
m:186 [in Coq.FSets.FMapPositive]
m:186 [in Coq.ZArith.Znat]
m:187 [in Coq.Arith.PeanoNat]
m:187 [in Coq.ZArith.Znumtheory]
m:188 [in Coq.ZArith.Zorder]
m:189 [in Coq.FSets.FMapFacts]
m:189 [in Coq.Numbers.Natural.Abstract.NBits]
m:189 [in Coq.Arith.PeanoNat]
m:189 [in Coq.ZArith.Znat]
m:19 [in Coq.Arith.Minus]
m:19 [in Coq.Reals.Rminmax]
m:19 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:19 [in Coq.micromega.ZifyClasses]
m:19 [in Coq.Init.Peano]
m:19 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:19 [in Coq.Arith.Compare_dec]
m:19 [in Coq.Numbers.Natural.Abstract.NDefOps]
m:19 [in Coq.Arith.Plus]
m:19 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:19 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:19 [in Coq.Numbers.NatInt.NZDomain]
m:19 [in Coq.ZArith.Zpower]
m:19 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:19 [in Coq.ZArith.Zbool]
m:19 [in Coq.FSets.FMapPositive]
m:19 [in Coq.Numbers.NatInt.NZOrder]
m:19 [in Coq.Arith.Even]
m:19 [in Coq.Arith.Gt]
m:19 [in Coq.Numbers.NatInt.NZMulOrder]
m:19 [in Coq.ZArith.Znat]
m:19 [in Coq.Numbers.Integer.Abstract.ZLt]
m:19 [in Coq.QArith.Qround]
m:190 [in Coq.FSets.FMapFullAVL]
m:191 [in Coq.setoid_ring.Ring_polynom]
m:191 [in Coq.Numbers.Natural.Abstract.NBits]
m:191 [in Coq.ZArith.Zorder]
m:191 [in Coq.FSets.FMapPositive]
m:191 [in Coq.Structures.GenericMinMax]
m:191 [in Coq.ZArith.Znat]
m:192 [in Coq.FSets.FMapAVL]
m:193 [in Coq.FSets.FMapFacts]
M:193 [in Coq.micromega.EnvRing]
m:193 [in Coq.FSets.FMapFullAVL]
m:193 [in Coq.ZArith.Znat]
m:194 [in Coq.Numbers.Natural.Abstract.NBits]
m:194 [in Coq.FSets.FMapPositive]
m:195 [in Coq.FSets.FMapFacts]
m:195 [in Coq.FSets.FMapAVL]
m:195 [in Coq.ZArith.Zorder]
m:195 [in Coq.ZArith.Znat]
m:196 [in Coq.FSets.FMapFullAVL]
m:196 [in Coq.Structures.GenericMinMax]
m:197 [in Coq.Numbers.Natural.Abstract.NBits]
m:197 [in Coq.FSets.FMapFullAVL]
m:197 [in Coq.Vectors.Fin]
m:197 [in Coq.ZArith.Znat]
m:198 [in Coq.FSets.FMapFullAVL]
m:198 [in Coq.FSets.FMapAVL]
m:199 [in Coq.Vectors.VectorSpec]
m:199 [in Coq.FSets.FMapFullAVL]
m:199 [in Coq.ZArith.Zorder]
m:2 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:2 [in Coq.Arith.Compare]
m:2 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:2 [in Coq.Floats.FloatLemmas]
m:2 [in Coq.Numbers.NatInt.NZAddOrder]
m:2 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:2 [in Coq.Floats.FloatOps]
m:2 [in Coq.Numbers.Integer.Abstract.ZBase]
m:2 [in Coq.Numbers.Natural.Abstract.NAddOrder]
m:2 [in Coq.Arith.Plus]
m:2 [in Coq.QArith.Qminmax]
m:2 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:2 [in Coq.ZArith.auxiliary]
m:2 [in Coq.Arith.EqNat]
m:2 [in Coq.ZArith.Zorder]
m:2 [in Coq.Numbers.Cyclic.Abstract.NZCyclic]
m:2 [in Coq.Numbers.Natural.Abstract.NMulOrder]
m:2 [in Coq.Numbers.Natural.Abstract.NOrder]
m:2 [in Coq.ZArith.Zpow_alt]
m:2 [in Coq.Numbers.NatInt.NZOrder]
m:2 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:2 [in Coq.Arith.Mult]
m:2 [in Coq.Numbers.Natural.Abstract.NAdd]
m:2 [in Coq.Numbers.Integer.Abstract.ZMul]
m:2 [in Coq.ZArith.Zcompare]
m:2 [in Coq.Arith.Peano_dec]
m:2 [in Coq.Arith.Lt]
m:20 [in Coq.Lists.Streams]
m:20 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:20 [in Coq.Numbers.Natural.Abstract.NSub]
m:20 [in Coq.ZArith.BinIntDef]
m:20 [in Coq.Reals.Rfunctions]
m:20 [in Coq.FSets.FMapFacts]
m:20 [in Coq.ZArith.auxiliary]
m:20 [in Coq.Arith.EqNat]
m:20 [in Coq.ZArith.Zorder]
m:20 [in Coq.Numbers.Natural.Abstract.NMulOrder]
m:20 [in Coq.ZArith.ZArith_dec]
m:20 [in Coq.Numbers.NatInt.NZAxioms]
m:20 [in Coq.NArith.BinNatDef]
m:20 [in Coq.Numbers.Natural.Abstract.NGcd]
m:20 [in Coq.Numbers.NatInt.NZAdd]
m:201 [in Coq.ZArith.Zorder]
m:201 [in Coq.FSets.FMapPositive]
m:201 [in Coq.Structures.GenericMinMax]
m:202 [in Coq.Numbers.Natural.Abstract.NBits]
m:202 [in Coq.FSets.FMapWeakList]
M:203 [in Coq.setoid_ring.Ring_polynom]
m:203 [in Coq.FSets.FMapFullAVL]
m:203 [in Coq.ZArith.Zorder]
m:203 [in Coq.Structures.GenericMinMax]
m:204 [in Coq.Sorting.Permutation]
m:204 [in Coq.Numbers.Cyclic.Abstract.CyclicAxioms]
m:205 [in Coq.Numbers.Natural.Abstract.NBits]
m:205 [in Coq.ZArith.Zorder]
m:206 [in Coq.FSets.FMapPositive]
m:206 [in Coq.FSets.FMapWeakList]
m:206 [in Coq.ZArith.Znat]
m:207 [in Coq.ZArith.Zorder]
m:208 [in Coq.FSets.FMapFacts]
m:208 [in Coq.Numbers.Natural.Abstract.NBits]
m:208 [in Coq.Structures.GenericMinMax]
m:208 [in Coq.FSets.FMapList]
m:208 [in Coq.ZArith.Znat]
m:208 [in Coq.Reals.SeqProp]
m:209 [in Coq.ZArith.Zorder]
m:21 [in Coq.Arith.Minus]
m:21 [in Coq.Sorting.PermutSetoid]
m:21 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:21 [in Coq.Reals.ArithProp]
m:21 [in Coq.Reals.Rseries]
m:21 [in Coq.Arith.Compare_dec]
m:21 [in Coq.Structures.DecidableType]
m:21 [in Coq.Arith.PeanoNat]
m:21 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:21 [in Coq.ZArith.Zbool]
m:21 [in Coq.Arith.Even]
m:21 [in Coq.Arith.Gt]
m:21 [in Coq.Numbers.NatInt.NZMul]
m:21 [in Coq.Numbers.NatInt.NZMulOrder]
m:21 [in Coq.Arith.Mult]
m:21 [in Coq.ZArith.Znat]
m:21 [in Coq.Numbers.Integer.Abstract.ZLt]
m:21 [in Coq.ZArith.Zcompare]
m:21 [in Coq.Arith.Lt]
m:210 [in Coq.NArith.BinNat]
m:210 [in Coq.ZArith.Znat]
m:211 [in Coq.FSets.FMapFullAVL]
m:211 [in Coq.ZArith.Zorder]
m:211 [in Coq.FSets.FMapWeakList]
m:212 [in Coq.FSets.FMapPositive]
m:212 [in Coq.FSets.FMapList]
m:213 [in Coq.Numbers.Natural.Abstract.NBits]
m:213 [in Coq.FSets.FMapFullAVL]
m:213 [in Coq.NArith.BinNat]
m:213 [in Coq.ZArith.Zorder]
m:213 [in Coq.Structures.GenericMinMax]
m:213 [in Coq.ZArith.Znat]
m:214 [in Coq.Vectors.VectorSpec]
m:214 [in Coq.FSets.FMapFacts]
m:215 [in Coq.ZArith.Zorder]
m:215 [in Coq.ZArith.Znat]
m:216 [in Coq.FSets.FMapFullAVL]
m:216 [in Coq.NArith.BinNat]
m:216 [in Coq.FSets.FMapWeakList]
m:217 [in Coq.FSets.FMapFacts]
m:217 [in Coq.FSets.FMapList]
m:217 [in Coq.ZArith.Znat]
m:218 [in Coq.ZArith.Zorder]
m:219 [in Coq.ZArith.BinInt]
m:219 [in Coq.FSets.FMapPositive]
m:219 [in Coq.ZArith.Znat]
m:22 [in Coq.Reals.Rminmax]
m:22 [in Coq.Numbers.NatInt.NZAddOrder]
m:22 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:22 [in Coq.Arith.Plus]
m:22 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:22 [in Coq.Numbers.NatInt.NZGcd]
m:22 [in Coq.ZArith.auxiliary]
m:22 [in Coq.Arith.EqNat]
m:22 [in Coq.Numbers.NatInt.NZDomain]
m:22 [in Coq.ZArith.Zorder]
m:22 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:22 [in Coq.Numbers.Natural.Abstract.NMulOrder]
m:22 [in Coq.Numbers.Natural.Abstract.NOrder]
m:22 [in Coq.ZArith.ZArith_dec]
m:22 [in Coq.Numbers.NatInt.NZOrder]
m:22 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:22 [in Coq.Numbers.Natural.Abstract.NGcd]
m:220 [in Coq.Vectors.VectorSpec]
m:220 [in Coq.ZArith.Zorder]
m:221 [in Coq.FSets.FMapFullAVL]
m:221 [in Coq.FSets.FMapWeakList]
m:221 [in Coq.ZArith.Znat]
m:222 [in Coq.ZArith.Zorder]
m:222 [in Coq.FSets.FMapList]
m:223 [in Coq.FSets.FMapPositive]
m:224 [in Coq.FSets.FMapPositive]
m:224 [in Coq.FSets.FMapWeakList]
m:224 [in Coq.ZArith.Znat]
m:225 [in Coq.Vectors.VectorSpec]
m:225 [in Coq.FSets.FMapWeakList]
m:226 [in Coq.ZArith.BinInt]
m:226 [in Coq.ZArith.Znat]
m:227 [in Coq.FSets.FMapFacts]
m:227 [in Coq.FSets.FMapFullAVL]
m:227 [in Coq.Structures.GenericMinMax]
m:227 [in Coq.Numbers.Integer.Abstract.ZBits]
m:227 [in Coq.FSets.FMapList]
m:228 [in Coq.FSets.FMapPositive]
m:228 [in Coq.FSets.FMapWeakList]
m:229 [in Coq.ZArith.BinInt]
m:229 [in Coq.Numbers.Integer.Abstract.ZBits]
m:23 [in Coq.Lists.Streams]
m:23 [in Coq.Numbers.Natural.Abstract.NSub]
m:23 [in Coq.Init.Peano]
m:23 [in Coq.Reals.ArithProp]
m:23 [in Coq.Arith.Compare_dec]
m:23 [in Coq.Init.Nat]
m:23 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:23 [in Coq.NArith.Ndigits]
m:23 [in Coq.ZArith.Zbool]
m:23 [in Coq.Lists.StreamMemo]
m:23 [in Coq.Arith.Even]
m:23 [in Coq.Arith.Gt]
m:23 [in Coq.ZArith.Znat]
m:23 [in Coq.Numbers.Integer.Abstract.ZLt]
m:23 [in Coq.Numbers.Natural.Abstract.NStrongRec]
m:23 [in Coq.Numbers.NatInt.NZAdd]
m:230 [in Coq.FSets.FMapFacts]
m:230 [in Coq.Structures.GenericMinMax]
m:230 [in Coq.FSets.FMapList]
m:230 [in Coq.ZArith.Znat]
m:231 [in Coq.FSets.FMapWeakList]
m:231 [in Coq.FSets.FMapList]
m:232 [in Coq.ZArith.BinInt]
m:232 [in Coq.FSets.FMapFacts]
m:232 [in Coq.FSets.FMapFullAVL]
m:232 [in Coq.Numbers.Integer.Abstract.ZBits]
m:233 [in Coq.Structures.GenericMinMax]
m:233 [in Coq.ZArith.Znat]
m:234 [in Coq.FSets.FMapList]
M:234 [in Coq.Reals.SeqProp]
m:235 [in Coq.FSets.FMapFacts]
m:235 [in Coq.FSets.FMapWeakList]
m:235 [in Coq.Structures.GenericMinMax]
m:235 [in Coq.Numbers.Integer.Abstract.ZBits]
m:235 [in Coq.ZArith.Znat]
m:237 [in Coq.FSets.FMapList]
m:237 [in Coq.ZArith.Znat]
m:238 [in Coq.Structures.GenericMinMax]
m:239 [in Coq.FSets.FMapFullAVL]
m:239 [in Coq.FSets.FMapList]
m:239 [in Coq.ZArith.Znat]
m:24 [in Coq.Reals.Rminmax]
m:24 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:24 [in Coq.FSets.FMapFacts]
m:24 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:24 [in Coq.Structures.DecidableType]
m:24 [in Coq.Numbers.NatInt.NZBits]
m:24 [in Coq.Arith.PeanoNat]
m:24 [in Coq.Numbers.NatInt.NZGcd]
m:24 [in Coq.ZArith.auxiliary]
m:24 [in Coq.Arith.EqNat]
m:24 [in Coq.FSets.FSetPositive]
m:24 [in Coq.ZArith.Zorder]
m:24 [in Coq.MSets.MSetPositive]
m:24 [in Coq.Numbers.Natural.Abstract.NOrder]
m:24 [in Coq.FSets.FMapPositive]
m:24 [in Coq.NArith.BinNatDef]
m:24 [in Coq.Numbers.NatInt.NZMulOrder]
m:24 [in Coq.Arith.Mult]
m:24 [in Coq.Arith.Lt]
m:240 [in Coq.Numbers.Integer.Abstract.ZBits]
m:241 [in Coq.FSets.FMapWeakList]
m:241 [in Coq.Structures.GenericMinMax]
m:241 [in Coq.Logic.ClassicalFacts]
m:241 [in Coq.ZArith.Znat]
m:241 [in Coq.Reals.SeqProp]
m:243 [in Coq.Numbers.Natural.Abstract.NBits]
m:243 [in Coq.NArith.BinNat]
m:243 [in Coq.Numbers.Integer.Abstract.ZBits]
m:243 [in Coq.FSets.FMapList]
m:243 [in Coq.ZArith.Znat]
m:245 [in Coq.Numbers.Natural.Abstract.NBits]
m:245 [in Coq.FSets.FMapFullAVL]
m:245 [in Coq.NArith.BinNat]
m:245 [in Coq.FSets.FMapWeakList]
m:245 [in Coq.ZArith.Znat]
m:246 [in Coq.ZArith.BinInt]
m:246 [in Coq.Numbers.Integer.Abstract.ZBits]
m:247 [in Coq.Numbers.Natural.Abstract.NBits]
m:247 [in Coq.NArith.BinNat]
m:247 [in Coq.ZArith.Znat]
m:248 [in Coq.ZArith.BinInt]
m:248 [in Coq.FSets.FMapPositive]
m:249 [in Coq.Numbers.Natural.Abstract.NBits]
m:249 [in Coq.NArith.BinNat]
m:249 [in Coq.FSets.FMapList]
m:249 [in Coq.ZArith.Znat]
m:25 [in Coq.Numbers.Integer.Abstract.ZSgnAbs]
m:25 [in Coq.Sorting.PermutSetoid]
m:25 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:25 [in Coq.Sets.Finite_sets_facts]
m:25 [in Coq.Init.Peano]
m:25 [in Coq.Arith.Compare_dec]
m:25 [in Coq.Reals.Rtrigo_alt]
m:25 [in Coq.Arith.Plus]
m:25 [in Coq.Numbers.NatInt.NZDomain]
m:25 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:25 [in Coq.ZArith.Zbool]
m:25 [in Coq.Numbers.Natural.Abstract.NOrder]
m:25 [in Coq.Lists.StreamMemo]
m:25 [in Coq.Numbers.NatInt.NZOrder]
m:25 [in Coq.Arith.Even]
m:25 [in Coq.Arith.Gt]
m:25 [in Coq.Numbers.NatInt.NZAxioms]
m:25 [in Coq.Numbers.NatInt.NZMul]
m:25 [in Coq.ZArith.Znat]
m:25 [in Coq.Numbers.Integer.Abstract.ZLt]
m:25 [in Coq.Numbers.Natural.Abstract.NGcd]
m:25 [in Coq.Reals.ClassicalConstructiveReals]
m:250 [in Coq.ZArith.BinInt]
m:250 [in Coq.FSets.FMapWeakList]
m:251 [in Coq.Numbers.Natural.Abstract.NBits]
m:251 [in Coq.NArith.BinNat]
m:251 [in Coq.Numbers.Integer.Abstract.ZBits]
m:252 [in Coq.ZArith.BinInt]
m:252 [in Coq.FSets.FMapFullAVL]
m:252 [in Coq.ZArith.Znat]
m:253 [in Coq.Numbers.Natural.Abstract.NBits]
m:253 [in Coq.NArith.BinNat]
m:253 [in Coq.FSets.FMapList]
m:254 [in Coq.ZArith.BinInt]
m:254 [in Coq.ZArith.Znat]
m:255 [in Coq.FSets.FMapPositive]
m:255 [in Coq.FSets.FMapWeakList]
m:255 [in Coq.Reals.SeqProp]
m:256 [in Coq.ZArith.BinInt]
m:256 [in Coq.Numbers.Natural.Abstract.NBits]
m:256 [in Coq.NArith.BinNat]
m:256 [in Coq.ZArith.Znat]
m:257 [in Coq.FSets.FMapFacts]
m:257 [in Coq.ZArith.Zdiv]
m:258 [in Coq.ZArith.BinInt]
m:258 [in Coq.FSets.FMapFullAVL]
m:258 [in Coq.FSets.FMapList]
m:258 [in Coq.ZArith.Znat]
m:258 [in Coq.Reals.SeqProp]
m:259 [in Coq.Numbers.Natural.Abstract.NBits]
m:259 [in Coq.NArith.BinNat]
m:259 [in Coq.ZArith.Zdiv]
m:26 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:26 [in Coq.Numbers.Natural.Abstract.NSub]
m:26 [in Coq.Reals.Rminmax]
m:26 [in Coq.Numbers.NatInt.NZAddOrder]
m:26 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:26 [in Coq.FSets.FMapFacts]
m:26 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:26 [in Coq.Numbers.NatInt.NZDomain]
m:26 [in Coq.ZArith.Zorder]
m:26 [in Coq.NArith.Ndigits]
m:26 [in Coq.Numbers.Cyclic.Abstract.NZCyclic]
m:26 [in Coq.Numbers.NatInt.NZMulOrder]
m:26 [in Coq.ZArith.Zcompare]
m:26 [in Coq.Arith.Lt]
m:260 [in Coq.ZArith.BinInt]
m:260 [in Coq.ZArith.Znat]
m:262 [in Coq.ZArith.BinInt]
m:262 [in Coq.FSets.FMapFullAVL]
m:262 [in Coq.FSets.FMapPositive]
m:262 [in Coq.ZArith.Znat]
m:263 [in Coq.FSets.FMapList]
m:264 [in Coq.ZArith.BinInt]
M:264 [in Coq.setoid_ring.Ring_polynom]
m:264 [in Coq.ZArith.Znat]
m:266 [in Coq.ZArith.BinInt]
m:266 [in Coq.ZArith.Znat]
M:267 [in Coq.setoid_ring.Ring_polynom]
m:267 [in Coq.FSets.FMapPositive]
m:268 [in Coq.ZArith.BinInt]
m:268 [in Coq.FSets.FMapFacts]
m:268 [in Coq.ZArith.Znat]
m:269 [in Coq.Vectors.VectorDef]
m:27 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:27 [in Coq.Init.Peano]
m:27 [in Coq.Reals.Rfunctions]
m:27 [in Coq.Reals.ArithProp]
m:27 [in Coq.Arith.Compare_dec]
m:27 [in Coq.Numbers.Natural.Abstract.NDefOps]
m:27 [in Coq.ZArith.auxiliary]
m:27 [in Coq.ZArith.Zbool]
m:27 [in Coq.Numbers.Natural.Abstract.NOrder]
m:27 [in Coq.Numbers.NatInt.NZOrder]
m:27 [in Coq.Arith.Even]
m:27 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:27 [in Coq.Arith.Gt]
m:27 [in Coq.Arith.Mult]
m:27 [in Coq.ZArith.Znat]
m:27 [in Coq.Numbers.Integer.Abstract.ZLt]
m:27 [in Coq.Numbers.Natural.Abstract.NGcd]
m:27 [in Coq.Numbers.NatInt.NZAdd]
m:27 [in Coq.Reals.ClassicalConstructiveReals]
m:270 [in Coq.ZArith.BinInt]
M:270 [in Coq.setoid_ring.Ring_polynom]
m:270 [in Coq.ZArith.Znat]
m:272 [in Coq.Vectors.VectorDef]
m:273 [in Coq.ZArith.BinInt]
M:273 [in Coq.micromega.EnvRing]
m:276 [in Coq.FSets.FMapPositive]
M:277 [in Coq.micromega.EnvRing]
m:277 [in Coq.FSets.FMapWeakList]
m:278 [in Coq.ZArith.BinInt]
m:279 [in Coq.FSets.FMapPositive]
m:28 [in Coq.Sets.Finite_sets_facts]
m:28 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:28 [in Coq.FSets.FMapFacts]
m:28 [in Coq.Numbers.Natural.Abstract.NDefOps]
m:28 [in Coq.Numbers.Natural.Abstract.NBase]
m:28 [in Coq.Init.Nat]
m:28 [in Coq.Reals.Rtrigo_alt]
m:28 [in Coq.Arith.Plus]
m:28 [in Coq.Structures.DecidableType]
m:28 [in Coq.Numbers.NatInt.NZBits]
m:28 [in Coq.Numbers.NatInt.NZGcd]
m:28 [in Coq.FSets.FSetPositive]
m:28 [in Coq.ZArith.Zorder]
m:28 [in Coq.MSets.MSetPositive]
m:28 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:28 [in Coq.NArith.BinNatDef]
m:28 [in Coq.Numbers.Natural.Abstract.NStrongRec]
m:28 [in Coq.QArith.Qpower]
m:28 [in Coq.ZArith.Zcompare]
M:280 [in Coq.micromega.EnvRing]
m:280 [in Coq.Vectors.VectorDef]
M:282 [in Coq.setoid_ring.Ring_polynom]
m:282 [in Coq.Vectors.VectorDef]
m:283 [in Coq.FSets.FMapFacts]
M:283 [in Coq.micromega.EnvRing]
m:285 [in Coq.ZArith.BinInt]
m:285 [in Coq.FSets.FMapList]
m:287 [in Coq.ZArith.BinInt]
M:287 [in Coq.micromega.EnvRing]
m:288 [in Coq.FSets.FMapWeakList]
m:29 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:29 [in Coq.Numbers.Natural.Abstract.NSub]
m:29 [in Coq.Sorting.PermutSetoid]
m:29 [in Coq.Reals.Rminmax]
m:29 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:29 [in Coq.Init.Peano]
m:29 [in Coq.Arith.Compare_dec]
m:29 [in Coq.micromega.ZifyBool]
m:29 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:29 [in Coq.Numbers.NatInt.NZDomain]
m:29 [in Coq.NArith.Ndigits]
m:29 [in Coq.Numbers.Cyclic.Abstract.NZCyclic]
m:29 [in Coq.ZArith.Zbool]
m:29 [in Coq.Numbers.Natural.Abstract.NOrder]
m:29 [in Coq.Numbers.NatInt.NZOrder]
m:29 [in Coq.Arith.Even]
m:29 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:29 [in Coq.Numbers.NatInt.NZMul]
m:29 [in Coq.Numbers.NatInt.NZMulOrder]
m:29 [in Coq.Numbers.Integer.Abstract.ZLt]
m:29 [in Coq.Numbers.Natural.Abstract.NGcd]
m:29 [in Coq.Vectors.VectorEq]
m:29 [in Coq.Reals.Cos_plus]
M:290 [in Coq.micromega.EnvRing]
m:291 [in Coq.FSets.FMapFacts]
m:291 [in Coq.Vectors.VectorDef]
m:292 [in Coq.FSets.FMapList]
M:293 [in Coq.micromega.EnvRing]
m:294 [in Coq.FSets.FMapWeakList]
m:295 [in Coq.FSets.FMapPositive]
m:297 [in Coq.FSets.FMapFacts]
M:297 [in Coq.micromega.EnvRing]
m:298 [in Coq.FSets.FMapList]
m:299 [in Coq.FSets.FMapWeakList]
m:3 [in Coq.Arith.Minus]
m:3 [in Coq.Arith.Le]
m:3 [in Coq.Numbers.Natural.Abstract.NSub]
m:3 [in Coq.Init.Peano]
m:3 [in Coq.Arith.Compare_dec]
m:3 [in Coq.Classes.CMorphisms]
m:3 [in Coq.Numbers.NatInt.NZGcd]
m:3 [in Coq.FSets.FSetPositive]
m:3 [in Coq.MSets.MSetPositive]
m:3 [in Coq.FSets.FMapWeakList]
m:3 [in Coq.Numbers.NatInt.NZMul]
m:3 [in Coq.FSets.FMapList]
m:3 [in Coq.Numbers.Natural.Abstract.NGcd]
m:3 [in Coq.Numbers.NatInt.NZAdd]
m:3 [in Coq.rtauto.Rtauto]
m:30 [in Coq.Numbers.NatInt.NZAddOrder]
m:30 [in Coq.FSets.FMapFacts]
m:30 [in Coq.Numbers.Natural.Abstract.NBase]
m:30 [in Coq.Init.Nat]
m:30 [in Coq.ZArith.Zorder]
m:30 [in Coq.Numbers.Natural.Abstract.NOrder]
m:30 [in Coq.ZArith.Zgcd_alt]
m:30 [in Coq.Arith.Gt]
m:30 [in Coq.Numbers.NatInt.NZAxioms]
m:30 [in Coq.Arith.Mult]
m:30 [in Coq.ZArith.Znat]
m:300 [in Coq.NArith.BinNat]
m:300 [in Coq.FSets.FMapPositive]
m:301 [in Coq.FSets.FMapList]
m:302 [in Coq.Vectors.VectorDef]
m:303 [in Coq.NArith.BinNat]
m:304 [in Coq.Numbers.Cyclic.Int63.Int63]
m:305 [in Coq.NArith.BinNat]
m:305 [in Coq.FSets.FMapList]
m:306 [in Coq.FSets.FMapWeakList]
m:307 [in Coq.Vectors.VectorDef]
m:308 [in Coq.NArith.BinNat]
m:309 [in Coq.Numbers.Natural.Abstract.NBits]
m:309 [in Coq.FSets.FMapPositive]
m:31 [in Coq.Numbers.Integer.Abstract.ZSgnAbs]
m:31 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:31 [in Coq.Init.Peano]
m:31 [in Coq.Reals.ArithProp]
m:31 [in Coq.ZArith.Zpow_facts]
m:31 [in Coq.Arith.Compare_dec]
m:31 [in Coq.micromega.ZifyBool]
m:31 [in Coq.Reals.Rtrigo_alt]
m:31 [in Coq.Numbers.NatInt.NZGcd]
m:31 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:31 [in Coq.ZArith.Zbool]
m:31 [in Coq.FSets.FMapPositive]
m:31 [in Coq.Numbers.NatInt.NZParity]
m:31 [in Coq.Arith.Even]
m:31 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:31 [in Coq.Numbers.Integer.Abstract.ZLt]
m:31 [in Coq.Numbers.NatInt.NZAdd]
m:31 [in Coq.ZArith.Zcompare]
m:310 [in Coq.FSets.FMapList]
m:312 [in Coq.NArith.BinNat]
m:312 [in Coq.FSets.FMapWeakList]
m:312 [in Coq.Numbers.Integer.Abstract.ZBits]
m:313 [in Coq.FSets.FMapPositive]
m:314 [in Coq.setoid_ring.Ring_polynom]
m:314 [in Coq.FSets.FMapFacts]
m:314 [in Coq.Numbers.Integer.Abstract.ZBits]
m:316 [in Coq.Numbers.Integer.Abstract.ZBits]
m:317 [in Coq.FSets.FMapWeakList]
m:318 [in Coq.Numbers.Integer.Abstract.ZBits]
m:319 [in Coq.FSets.FMapFacts]
m:32 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:32 [in Coq.Numbers.Natural.Abstract.NSub]
m:32 [in Coq.Reals.Rminmax]
m:32 [in Coq.Numbers.NatInt.NZAddOrder]
m:32 [in Coq.Numbers.Natural.Abstract.NBase]
m:32 [in Coq.Arith.Plus]
m:32 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:32 [in Coq.Numbers.NatInt.NZBits]
m:32 [in Coq.ZArith.Zorder]
m:32 [in Coq.Numbers.Cyclic.Abstract.NZCyclic]
m:32 [in Coq.Numbers.NatInt.NZMulOrder]
m:32 [in Coq.ZArith.Znat]
m:32 [in Coq.Reals.Cos_plus]
m:320 [in Coq.FSets.FMapPositive]
m:320 [in Coq.Numbers.Integer.Abstract.ZBits]
m:322 [in Coq.Numbers.Cyclic.Int63.Int63]
m:322 [in Coq.FSets.FMapWeakList]
m:322 [in Coq.Numbers.Integer.Abstract.ZBits]
m:323 [in Coq.FSets.FMapPositive]
m:324 [in Coq.Numbers.Cyclic.Int31.Cyclic31]
m:326 [in Coq.FSets.FMapFacts]
m:327 [in Coq.FSets.FMapWeakList]
m:329 [in Coq.FSets.FMapPositive]
m:33 [in Coq.Numbers.Integer.Abstract.ZSgnAbs]
m:33 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:33 [in Coq.Init.Peano]
m:33 [in Coq.ZArith.BinInt]
m:33 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:33 [in Coq.Reals.ArithProp]
m:33 [in Coq.Arith.Compare_dec]
m:33 [in Coq.FSets.FMapFacts]
m:33 [in Coq.Numbers.Natural.Abstract.NDefOps]
m:33 [in Coq.FSets.FMapInterface]
m:33 [in Coq.micromega.ZifyBool]
m:33 [in Coq.MSets.MSetAVL]
m:33 [in Coq.ZArith.Zeven]
m:33 [in Coq.Numbers.NatInt.NZGcd]
m:33 [in Coq.Numbers.NatInt.NZDomain]
m:33 [in Coq.FSets.FSetPositive]
m:33 [in Coq.MSets.MSetPositive]
m:33 [in Coq.ZArith.Zbool]
m:33 [in Coq.Numbers.NatInt.NZParity]
m:33 [in Coq.Arith.Even]
m:33 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:33 [in Coq.Arith.Gt]
m:33 [in Coq.Numbers.NatInt.NZAxioms]
m:33 [in Coq.Vectors.VectorEq]
m:33 [in Coq.QArith.Qpower]
m:33 [in Coq.ZArith.Zcompare]
m:330 [in Coq.micromega.EnvRing]
m:334 [in Coq.FSets.FMapFacts]
m:334 [in Coq.FSets.FMapWeakList]
m:338 [in Coq.PArith.BinPos]
m:338 [in Coq.FSets.FMapFacts]
m:338 [in Coq.FSets.FMapWeakList]
m:339 [in Coq.FSets.FMapFacts]
m:34 [in Coq.Numbers.Natural.Abstract.NSub]
m:34 [in Coq.Numbers.NatInt.NZAddOrder]
m:34 [in Coq.Lists.List]
m:34 [in Coq.Reals.Rtrigo_alt]
m:34 [in Coq.ZArith.Zeven]
m:34 [in Coq.Arith.PeanoNat]
m:34 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:34 [in Coq.Lists.StreamMemo]
m:34 [in Coq.Structures.GenericMinMax]
m:34 [in Coq.ZArith.Znat]
m:34 [in Coq.Numbers.Integer.Abstract.ZLt]
m:34 [in Coq.Numbers.Natural.Abstract.NGcd]
m:340 [in Coq.PArith.BinPos]
m:342 [in Coq.PArith.BinPos]
m:343 [in Coq.FSets.FMapWeakList]
m:344 [in Coq.PArith.BinPos]
m:347 [in Coq.FSets.FMapWeakList]
m:348 [in Coq.PArith.BinPos]
m:349 [in Coq.PArith.BinPos]
m:349 [in Coq.FSets.FMapFacts]
m:35 [in Coq.Numbers.Integer.Abstract.ZSgnAbs]
m:35 [in Coq.Reals.Rminmax]
m:35 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:35 [in Coq.ZArith.BinInt]
m:35 [in Coq.Arith.Compare_dec]
m:35 [in Coq.FSets.FMapFacts]
m:35 [in Coq.Numbers.Natural.Abstract.NLcm]
m:35 [in Coq.FSets.FMapInterface]
m:35 [in Coq.Init.Nat]
m:35 [in Coq.FSets.FMapFullAVL]
m:35 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:35 [in Coq.ZArith.Zorder]
m:35 [in Coq.Numbers.Natural.Abstract.NOrder]
m:35 [in Coq.Numbers.NatInt.NZParity]
m:35 [in Coq.Arith.Even]
m:35 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:35 [in Coq.Numbers.NatInt.NZMulOrder]
m:35 [in Coq.Arith.Mult]
m:350 [in Coq.FSets.FMapWeakList]
m:352 [in Coq.FSets.FMapList]
m:353 [in Coq.FSets.FMapWeakList]
m:354 [in Coq.PArith.BinPos]
m:357 [in Coq.PArith.BinPos]
m:358 [in Coq.FSets.FMapWeakList]
m:358 [in Coq.FSets.FMapList]
m:36 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:36 [in Coq.Numbers.Natural.Abstract.NSub]
m:36 [in Coq.Init.Peano]
m:36 [in Coq.Numbers.NatInt.NZAddOrder]
m:36 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:36 [in Coq.Numbers.Natural.Abstract.NBase]
m:36 [in Coq.Arith.Plus]
m:36 [in Coq.FSets.FMapAVL]
m:36 [in Coq.Arith.PeanoNat]
m:36 [in Coq.Numbers.NatInt.NZGcd]
m:36 [in Coq.NArith.Ndigits]
m:36 [in Coq.Structures.GenericMinMax]
m:36 [in Coq.Arith.Gt]
m:36 [in Coq.ZArith.Znat]
m:36 [in Coq.Numbers.Natural.Abstract.NGcd]
m:36 [in Coq.QArith.Qpower]
m:36 [in Coq.ZArith.Zcompare]
m:360 [in Coq.PArith.BinPos]
m:361 [in Coq.FSets.FMapWeakList]
m:363 [in Coq.PArith.BinPos]
m:363 [in Coq.FSets.FMapFacts]
m:363 [in Coq.FSets.FMapList]
m:364 [in Coq.FSets.FMapFacts]
m:367 [in Coq.FSets.FMapWeakList]
m:368 [in Coq.FSets.FMapFacts]
m:37 [in Coq.Numbers.Integer.Abstract.ZSgnAbs]
m:37 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:37 [in Coq.ZArith.BinInt]
m:37 [in Coq.Reals.ArithProp]
m:37 [in Coq.Lists.List]
m:37 [in Coq.Reals.Rseries]
m:37 [in Coq.Arith.Compare_dec]
m:37 [in Coq.FSets.FMapFacts]
m:37 [in Coq.Numbers.NatInt.NZDomain]
m:37 [in Coq.ZArith.Zorder]
m:37 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:37 [in Coq.Numbers.Natural.Abstract.NOrder]
m:37 [in Coq.FSets.FMapPositive]
m:37 [in Coq.Numbers.NatInt.NZParity]
m:37 [in Coq.Arith.Even]
m:37 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:37 [in Coq.Reals.Cos_plus]
m:371 [in Coq.FSets.FMapWeakList]
m:371 [in Coq.Numbers.Integer.Abstract.ZBits]
m:372 [in Coq.FSets.FMapFacts]
m:375 [in Coq.FSets.FMapFacts]
m:375 [in Coq.FSets.FMapFullAVL]
m:375 [in Coq.FSets.FMapList]
m:376 [in Coq.FSets.FMapFacts]
m:377 [in Coq.setoid_ring.Ring_polynom]
m:377 [in Coq.FSets.FMapFullAVL]
m:379 [in Coq.setoid_ring.Field_theory]
m:379 [in Coq.FSets.FMapFullAVL]
m:379 [in Coq.FSets.FMapList]
m:38 [in Coq.Numbers.Natural.Abstract.NSub]
m:38 [in Coq.Numbers.NatInt.NZAddOrder]
m:38 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:38 [in Coq.Numbers.Natural.Abstract.NLcm]
m:38 [in Coq.Numbers.Natural.Abstract.NBase]
m:38 [in Coq.FSets.FMapFullAVL]
m:38 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:38 [in Coq.Arith.PeanoNat]
m:38 [in Coq.FSets.FSetPositive]
m:38 [in Coq.MSets.MSetPositive]
m:38 [in Coq.ZArith.Zbool]
m:38 [in Coq.Structures.GenericMinMax]
m:38 [in Coq.Numbers.NatInt.NZAxioms]
m:38 [in Coq.Numbers.NatInt.NZMulOrder]
m:38 [in Coq.Numbers.Natural.Abstract.NGcd]
m:380 [in Coq.FSets.FMapFacts]
m:380 [in Coq.FSets.FMapWeakList]
m:381 [in Coq.FSets.FMapFacts]
m:383 [in Coq.FSets.FMapFacts]
m:384 [in Coq.FSets.FMapList]
m:388 [in Coq.FSets.FMapWeakList]
m:388 [in Coq.FSets.FMapList]
m:39 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:39 [in Coq.Numbers.Integer.Abstract.ZSgnAbs]
m:39 [in Coq.Init.Peano]
m:39 [in Coq.Reals.Rseries]
m:39 [in Coq.Arith.Compare_dec]
m:39 [in Coq.Arith.Wf_nat]
m:39 [in Coq.Numbers.Natural.Abstract.NDefOps]
m:39 [in Coq.MSets.MSetAVL]
m:39 [in Coq.Numbers.NatInt.NZGcd]
m:39 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:39 [in Coq.Numbers.Natural.Abstract.NOrder]
m:39 [in Coq.Numbers.NatInt.NZParity]
m:39 [in Coq.Arith.Even]
m:39 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:39 [in Coq.Structures.EqualitiesFacts]
m:39 [in Coq.ZArith.Znumtheory]
m:39 [in Coq.micromega.ZifyInst]
m:39 [in Coq.QArith.Qpower]
m:390 [in Coq.FSets.FMapFacts]
m:391 [in Coq.FSets.FMapList]
m:393 [in Coq.FSets.FMapFacts]
m:396 [in Coq.FSets.FMapList]
m:399 [in Coq.FSets.FMapList]
m:4 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:4 [in Coq.Arith.Compare]
m:4 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:4 [in Coq.ZArith.Zmax]
m:4 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:4 [in Coq.Reals.ArithProp]
m:4 [in Coq.Numbers.NatInt.NZBase]
m:4 [in Coq.ZArith.Zmin]
m:4 [in Coq.Classes.Morphisms]
m:4 [in Coq.Numbers.Natural.Abstract.NParity]
m:4 [in Coq.Program.Subset]
m:4 [in Coq.Init.Nat]
m:4 [in Coq.Numbers.Natural.Abstract.NAddOrder]
m:4 [in Coq.Arith.Plus]
m:4 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:4 [in Coq.omega.OmegaLemmas]
m:4 [in Coq.ZArith.auxiliary]
m:4 [in Coq.ZArith.Zorder]
m:4 [in Coq.Numbers.Natural.Abstract.NMulOrder]
m:4 [in Coq.Numbers.Natural.Abstract.NOrder]
m:4 [in Coq.ZArith.ZArith_dec]
m:4 [in Coq.Numbers.NatInt.NZParity]
m:4 [in Coq.Arith.Gt]
m:4 [in Coq.Numbers.NatInt.NZMulOrder]
m:4 [in Coq.Numbers.Natural.Abstract.NAdd]
m:4 [in Coq.Numbers.Integer.Abstract.ZMul]
m:4 [in Coq.ZArith.Zcompare]
m:4 [in Coq.Arith.Peano_dec]
m:4 [in Coq.Arith.Lt]
m:40 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:40 [in Coq.Sets.Finite_sets_facts]
m:40 [in Coq.Numbers.NatInt.NZAddOrder]
m:40 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:40 [in Coq.Floats.SpecFloat]
m:40 [in Coq.ZArith.Zpow_facts]
m:40 [in Coq.Arith.Wf_nat]
m:40 [in Coq.Numbers.Natural.Abstract.NBase]
m:40 [in Coq.Init.Nat]
m:40 [in Coq.Arith.Plus]
m:40 [in Coq.micromega.OrderedRing]
m:40 [in Coq.Arith.PeanoNat]
m:40 [in Coq.ZArith.Zorder]
m:40 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:40 [in Coq.Arith.Gt]
m:40 [in Coq.Arith.Mult]
m:40 [in Coq.Numbers.Natural.Abstract.NGcd]
m:40 [in Coq.Reals.Cos_plus]
m:403 [in Coq.Reals.Rtopology]
m:404 [in Coq.FSets.FMapFacts]
m:404 [in Coq.Numbers.Cyclic.Int63.Int63]
M:404 [in Coq.Reals.Rtopology]
m:404 [in Coq.FSets.FMapList]
m:406 [in Coq.Reals.Rtopology]
m:406 [in Coq.FSets.FMapWeakList]
M:407 [in Coq.Reals.Rtopology]
m:407 [in Coq.FSets.FMapList]
m:41 [in Coq.Numbers.Natural.Abstract.NSub]
m:41 [in Coq.Strings.String]
m:41 [in Coq.Arith.Compare_dec]
m:41 [in Coq.Numbers.Natural.Abstract.NDefOps]
m:41 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:41 [in Coq.Numbers.Natural.Abstract.NOrder]
m:41 [in Coq.Numbers.NatInt.NZParity]
m:41 [in Coq.Arith.Even]
m:41 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:41 [in Coq.Numbers.NatInt.NZMulOrder]
m:41 [in Coq.ZArith.Znat]
m:411 [in Coq.FSets.FMapList]
m:42 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:42 [in Coq.Init.Peano]
m:42 [in Coq.Numbers.NatInt.NZAddOrder]
m:42 [in Coq.Numbers.Natural.Abstract.NLcm]
m:42 [in Coq.Arith.PeanoNat]
m:42 [in Coq.Numbers.NatInt.NZGcd]
m:42 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:42 [in Coq.ZArith.Zpower]
m:42 [in Coq.Structures.GenericMinMax]
m:42 [in Coq.setoid_ring.Ring_theory]
m:42 [in Coq.Structures.EqualitiesFacts]
m:42 [in Coq.QArith.Qpower]
m:42 [in Coq.ZArith.Zcompare]
m:423 [in Coq.FSets.FMapFacts]
m:423 [in Coq.FSets.FMapWeakList]
m:423 [in Coq.FSets.FMapList]
m:426 [in Coq.ZArith.BinInt]
m:427 [in Coq.FSets.FMapFacts]
m:428 [in Coq.ZArith.BinInt]
m:428 [in Coq.FSets.FMapFacts]
m:429 [in Coq.FSets.FMapFacts]
m:429 [in Coq.FSets.FMapList]
m:43 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:43 [in Coq.ZArith.BinInt]
m:43 [in Coq.PArith.Pnat]
m:43 [in Coq.Arith.Compare_dec]
m:43 [in Coq.FSets.FMapFacts]
m:43 [in Coq.Numbers.Natural.Abstract.NDefOps]
m:43 [in Coq.Numbers.DecimalQ]
m:43 [in Coq.ZArith.Zeven]
m:43 [in Coq.micromega.OrderedRing]
m:43 [in Coq.FSets.FSetPositive]
m:43 [in Coq.ZArith.Zorder]
m:43 [in Coq.MSets.MSetPositive]
m:43 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:43 [in Coq.ZArith.Zbool]
m:43 [in Coq.Numbers.Natural.Abstract.NOrder]
m:43 [in Coq.FSets.FMapPositive]
m:43 [in Coq.FSets.FMapWeakList]
m:43 [in Coq.Numbers.NatInt.NZParity]
m:43 [in Coq.Numbers.NatInt.NZOrder]
m:43 [in Coq.Arith.Even]
m:43 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:43 [in Coq.Arith.Gt]
m:43 [in Coq.Arith.Mult]
m:43 [in Coq.ZArith.Znat]
m:431 [in Coq.ZArith.BinInt]
m:431 [in Coq.FSets.FMapFacts]
m:432 [in Coq.FSets.FMapFacts]
m:434 [in Coq.ZArith.BinInt]
m:435 [in Coq.FSets.FMapList]
m:436 [in Coq.FSets.FMapFacts]
m:437 [in Coq.ZArith.BinInt]
m:437 [in Coq.FSets.FMapFacts]
m:44 [in Coq.Numbers.Natural.Abstract.NSub]
m:44 [in Coq.Init.Peano]
m:44 [in Coq.ZArith.Zpow_facts]
m:44 [in Coq.Arith.Wf_nat]
m:44 [in Coq.FSets.FMapFacts]
m:44 [in Coq.Arith.Plus]
m:44 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:44 [in Coq.Sorting.Permutation]
m:44 [in Coq.Arith.PeanoNat]
m:44 [in Coq.Structures.GenericMinMax]
m:44 [in Coq.Numbers.NatInt.NZMulOrder]
m:440 [in Coq.FSets.FMapFacts]
m:442 [in Coq.FSets.FMapFacts]
m:443 [in Coq.ZArith.BinInt]
m:444 [in Coq.FSets.FMapWeakList]
m:445 [in Coq.FSets.FMapFacts]
m:447 [in Coq.ZArith.BinInt]
m:449 [in Coq.ZArith.BinInt]
m:45 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:45 [in Coq.micromega.ZifyClasses]
m:45 [in Coq.ZArith.BinInt]
m:45 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:45 [in Coq.PArith.Pnat]
m:45 [in Coq.Arith.Compare_dec]
m:45 [in Coq.Numbers.DecimalQ]
m:45 [in Coq.ZArith.Zeven]
m:45 [in Coq.Numbers.NatInt.NZGcd]
m:45 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:45 [in Coq.ZArith.Zbool]
m:45 [in Coq.Numbers.Natural.Abstract.NOrder]
m:45 [in Coq.Arith.Even]
m:45 [in Coq.setoid_ring.Ring_theory]
m:45 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:45 [in Coq.Arith.Mult]
m:45 [in Coq.ZArith.Znat]
m:45 [in Coq.Numbers.Natural.Abstract.NGcd]
m:45 [in Coq.QArith.Qpower]
m:450 [in Coq.FSets.FMapList]
m:451 [in Coq.FSets.FMapFacts]
m:452 [in Coq.ZArith.BinInt]
m:454 [in Coq.ZArith.BinInt]
m:454 [in Coq.FSets.FMapFacts]
m:455 [in Coq.FSets.FMapWeakList]
m:455 [in Coq.FSets.FMapList]
m:456 [in Coq.ZArith.BinInt]
m:456 [in Coq.FSets.FMapFacts]
m:457 [in Coq.FSets.FMapList]
m:459 [in Coq.PArith.BinPos]
m:459 [in Coq.ZArith.BinInt]
m:46 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:46 [in Coq.Numbers.HexadecimalPos]
m:46 [in Coq.Numbers.NatInt.NZAddOrder]
m:46 [in Coq.Reals.Exp_prop]
m:46 [in Coq.Numbers.Natural.Abstract.NLcm]
m:46 [in Coq.Arith.Plus]
m:46 [in Coq.FSets.FMapAVL]
m:46 [in Coq.Arith.PeanoNat]
m:46 [in Coq.ZArith.Zorder]
m:46 [in Coq.FSets.FMapWeakList]
m:46 [in Coq.Numbers.NatInt.NZParity]
m:46 [in Coq.Numbers.NatInt.NZOrder]
m:46 [in Coq.Numbers.DecimalPos]
m:46 [in Coq.Numbers.NatInt.NZMulOrder]
m:460 [in Coq.FSets.FMapWeakList]
m:461 [in Coq.FSets.FMapFacts]
m:462 [in Coq.ZArith.BinInt]
m:465 [in Coq.ZArith.BinInt]
m:465 [in Coq.FSets.FMapList]
m:466 [in Coq.FSets.FMapFacts]
m:468 [in Coq.ZArith.BinInt]
m:47 [in Coq.Numbers.Natural.Abstract.NSub]
m:47 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:47 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:47 [in Coq.Floats.SpecFloat]
m:47 [in Coq.ZArith.Zpow_facts]
m:47 [in Coq.Arith.Compare_dec]
m:47 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:47 [in Coq.micromega.OrderedRing]
m:47 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:47 [in Coq.ZArith.Zbool]
m:47 [in Coq.Numbers.Natural.Abstract.NOrder]
m:47 [in Coq.FSets.FMapPositive]
m:47 [in Coq.Arith.Even]
m:47 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:47 [in Coq.Structures.EqualitiesFacts]
m:47 [in Coq.ZArith.Znat]
m:47 [in Coq.Vectors.VectorEq]
m:47 [in Coq.ZArith.Zcompare]
m:470 [in Coq.PArith.BinPos]
m:470 [in Coq.FSets.FMapWeakList]
m:471 [in Coq.ZArith.BinInt]
m:471 [in Coq.FSets.FMapList]
m:472 [in Coq.PArith.BinPos]
m:473 [in Coq.ZArith.BinInt]
m:474 [in Coq.PArith.BinPos]
m:475 [in Coq.ZArith.BinInt]
m:476 [in Coq.PArith.BinPos]
m:477 [in Coq.ZArith.BinInt]
m:477 [in Coq.FSets.FMapWeakList]
m:479 [in Coq.FSets.FMapFacts]
m:48 [in Coq.Lists.Streams]
m:48 [in Coq.Init.Peano]
m:48 [in Coq.Arith.Wf_nat]
m:48 [in Coq.Arith.Plus]
m:48 [in Coq.Arith.PeanoNat]
m:48 [in Coq.Numbers.NatInt.NZGcd]
m:48 [in Coq.FSets.FSetPositive]
m:48 [in Coq.MSets.MSetPositive]
m:48 [in Coq.FSets.FMapPositive]
m:48 [in Coq.Numbers.HexadecimalQ]
m:48 [in Coq.Numbers.NatInt.NZMulOrder]
m:48 [in Coq.FSets.FMapList]
m:48 [in Coq.Numbers.Natural.Abstract.NGcd]
m:480 [in Coq.ZArith.BinInt]
m:481 [in Coq.FSets.FMapList]
m:482 [in Coq.FSets.FMapWeakList]
m:483 [in Coq.ZArith.BinInt]
m:484 [in Coq.FSets.FMapFacts]
m:485 [in Coq.ZArith.BinInt]
m:487 [in Coq.ZArith.BinInt]
m:487 [in Coq.FSets.FMapFacts]
m:488 [in Coq.FSets.FMapFacts]
m:489 [in Coq.ZArith.BinInt]
m:49 [in Coq.Numbers.Integer.Abstract.ZSgnAbs]
m:49 [in Coq.ZArith.BinInt]
m:49 [in Coq.Strings.String]
m:49 [in Coq.PArith.Pnat]
m:49 [in Coq.Arith.Compare_dec]
m:49 [in Coq.Reals.Exp_prop]
m:49 [in Coq.FSets.FMapFacts]
m:49 [in Coq.Numbers.DecimalQ]
m:49 [in Coq.Init.Nat]
m:49 [in Coq.MSets.MSetAVL]
m:49 [in Coq.ZArith.Zorder]
m:49 [in Coq.ZArith.Zbool]
m:49 [in Coq.Numbers.Natural.Abstract.NOrder]
m:49 [in Coq.Structures.GenericMinMax]
m:49 [in Coq.Numbers.NatInt.NZParity]
m:49 [in Coq.Numbers.NatInt.NZOrder]
m:49 [in Coq.Arith.Even]
m:49 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:49 [in Coq.ZArith.Znat]
m:49 [in Coq.ZArith.Zcompare]
m:490 [in Coq.FSets.FMapList]
m:491 [in Coq.PArith.BinPos]
m:493 [in Coq.PArith.BinPos]
m:493 [in Coq.ZArith.BinInt]
m:495 [in Coq.ZArith.BinInt]
m:495 [in Coq.FSets.FMapWeakList]
m:497 [in Coq.ZArith.BinInt]
m:497 [in Coq.FSets.FMapFacts]
m:497 [in Coq.FSets.FMapList]
m:498 [in Coq.FSets.FMapWeakList]
m:498 [in Coq.Reals.RIneq]
m:5 [in Coq.Arith.Le]
m:5 [in Coq.Arith.Bool_nat]
m:5 [in Coq.Numbers.NatInt.NZAddOrder]
m:5 [in Coq.Arith.Compare_dec]
m:5 [in Coq.QArith.Qminmax]
m:5 [in Coq.FSets.FMapAVL]
m:5 [in Coq.Numbers.NatInt.NZMul]
m:5 [in Coq.Reals.PartSum]
m:5 [in Coq.Arith.Mult]
m:5 [in Coq.Numbers.Natural.Abstract.NGcd]
m:5 [in Coq.Numbers.NatInt.NZAdd]
m:5 [in Coq.Arith.Peano_dec]
m:50 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:50 [in Coq.Numbers.Natural.Abstract.NSub]
m:50 [in Coq.Reals.Abstract.ConstructiveLUB]
m:50 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:50 [in Coq.Init.Peano]
m:50 [in Coq.Numbers.NatInt.NZAddOrder]
m:50 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:50 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:50 [in Coq.micromega.OrderedRing]
m:50 [in Coq.Arith.PeanoNat]
m:50 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:50 [in Coq.Numbers.HexadecimalQ]
m:50 [in Coq.Floats.FloatAxioms]
m:500 [in Coq.ZArith.BinInt]
m:500 [in Coq.FSets.FMapWeakList]
m:500 [in Coq.Reals.RIneq]
m:502 [in Coq.FSets.FMapWeakList]
m:502 [in Coq.Reals.RIneq]
m:502 [in Coq.FSets.FMapList]
m:503 [in Coq.ZArith.BinInt]
m:503 [in Coq.Reals.RIneq]
m:504 [in Coq.FSets.FMapWeakList]
m:505 [in Coq.ZArith.BinInt]
m:505 [in Coq.FSets.FMapFacts]
m:506 [in Coq.FSets.FMapWeakList]
m:507 [in Coq.Reals.RIneq]
m:508 [in Coq.FSets.FMapWeakList]
m:509 [in Coq.PArith.BinPos]
m:51 [in Coq.ZArith.BinIntDef]
m:51 [in Coq.PArith.Pnat]
m:51 [in Coq.Arith.Compare_dec]
m:51 [in Coq.Numbers.DecimalQ]
m:51 [in Coq.NArith.Ndist]
m:51 [in Coq.Arith.Plus]
m:51 [in Coq.Numbers.NatInt.NZGcd]
m:51 [in Coq.ZArith.Zorder]
m:51 [in Coq.Numbers.Cyclic.Int31.Int31]
m:51 [in Coq.ZArith.Zbool]
m:51 [in Coq.Numbers.Natural.Abstract.NOrder]
m:51 [in Coq.Numbers.NatInt.NZParity]
m:51 [in Coq.Numbers.NatInt.NZOrder]
m:51 [in Coq.Arith.Even]
m:51 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:51 [in Coq.Numbers.NatInt.NZMulOrder]
m:51 [in Coq.FSets.FMapList]
m:51 [in Coq.ZArith.Znat]
m:51 [in Coq.Numbers.Natural.Abstract.NGcd]
m:51 [in Coq.ZArith.Zcompare]
m:510 [in Coq.FSets.FMapWeakList]
m:511 [in Coq.PArith.BinPos]
m:512 [in Coq.FSets.FMapFacts]
m:512 [in Coq.FSets.FMapWeakList]
m:512 [in Coq.Reals.RIneq]
m:513 [in Coq.PArith.BinPos]
m:513 [in Coq.FSets.FMapWeakList]
m:514 [in Coq.Reals.RIneq]
m:515 [in Coq.FSets.FMapList]
m:516 [in Coq.PArith.BinPos]
m:516 [in Coq.ZArith.BinInt]
m:516 [in Coq.FSets.FMapFacts]
m:516 [in Coq.FSets.FMapWeakList]
m:518 [in Coq.Reals.RIneq]
m:518 [in Coq.FSets.FMapList]
m:519 [in Coq.PArith.BinPos]
m:519 [in Coq.FSets.FMapWeakList]
m:52 [in Coq.Sorting.PermutSetoid]
m:52 [in Coq.Init.Peano]
m:52 [in Coq.ZArith.BinInt]
m:52 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:52 [in Coq.Arith.Wf_nat]
m:52 [in Coq.Reals.Exp_prop]
m:52 [in Coq.FSets.FMapAVL]
m:52 [in Coq.Arith.PeanoNat]
m:52 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:520 [in Coq.FSets.FMapFacts]
m:520 [in Coq.Reals.RIneq]
m:520 [in Coq.FSets.FMapList]
m:522 [in Coq.PArith.BinPos]
m:522 [in Coq.Reals.RIneq]
m:522 [in Coq.FSets.FMapList]
m:523 [in Coq.FSets.FMapFacts]
m:523 [in Coq.FSets.FMapWeakList]
m:524 [in Coq.FSets.FMapList]
m:525 [in Coq.PArith.BinPos]
m:525 [in Coq.FSets.FMapWeakList]
m:525 [in Coq.Reals.RIneq]
m:526 [in Coq.FSets.FMapWeakList]
m:526 [in Coq.FSets.FMapList]
m:527 [in Coq.FSets.FMapWeakList]
m:528 [in Coq.PArith.BinPos]
m:528 [in Coq.FSets.FMapList]
m:529 [in Coq.FSets.FMapFacts]
m:53 [in Coq.Numbers.Natural.Abstract.NSub]
m:53 [in Coq.ZArith.BinIntDef]
m:53 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:53 [in Coq.Strings.String]
m:53 [in Coq.PArith.Pnat]
M:53 [in Coq.Reals.Rseries]
m:53 [in Coq.Arith.Compare_dec]
m:53 [in Coq.FSets.FMapFacts]
m:53 [in Coq.NArith.Ndist]
m:53 [in Coq.Init.Nat]
m:53 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:53 [in Coq.micromega.OrderedRing]
m:53 [in Coq.Numbers.NatInt.NZDomain]
m:53 [in Coq.Reals.Raxioms]
m:53 [in Coq.ZArith.Zorder]
m:53 [in Coq.Numbers.Cyclic.Int31.Int31]
m:53 [in Coq.ZArith.Zbool]
m:53 [in Coq.Numbers.Natural.Abstract.NOrder]
m:53 [in Coq.Structures.GenericMinMax]
m:53 [in Coq.Numbers.NatInt.NZOrder]
m:53 [in Coq.Arith.Even]
m:53 [in Coq.setoid_ring.Ring_theory]
m:53 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:53 [in Coq.Arith.Between]
m:53 [in Coq.Structures.EqualitiesFacts]
m:53 [in Coq.ZArith.Zcompare]
m:530 [in Coq.FSets.FMapList]
m:531 [in Coq.PArith.BinPos]
m:531 [in Coq.FSets.FMapWeakList]
m:532 [in Coq.FSets.FMapFacts]
m:532 [in Coq.FSets.FMapList]
m:533 [in Coq.Reals.RIneq]
m:533 [in Coq.FSets.FMapList]
m:534 [in Coq.PArith.BinPos]
m:535 [in Coq.FSets.FMapFacts]
m:535 [in Coq.Reals.RIneq]
m:536 [in Coq.FSets.FMapList]
m:538 [in Coq.FSets.FMapWeakList]
m:539 [in Coq.FSets.FMapList]
m:54 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:54 [in Coq.Init.Peano]
m:54 [in Coq.Reals.Rfunctions]
m:54 [in Coq.Numbers.NatInt.NZAddOrder]
m:54 [in Coq.ZArith.BinInt]
m:54 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:54 [in Coq.Numbers.Natural.Abstract.NLcm]
m:54 [in Coq.Numbers.Natural.Abstract.NBits]
m:54 [in Coq.Arith.Plus]
m:54 [in Coq.Arith.PeanoNat]
m:54 [in Coq.Numbers.NatInt.NZGcd]
m:54 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:54 [in Coq.FSets.FMapPositive]
m:54 [in Coq.Numbers.HexadecimalQ]
m:54 [in Coq.Arith.Between]
m:54 [in Coq.Numbers.NatInt.NZMulOrder]
m:54 [in Coq.Numbers.Natural.Abstract.NGcd]
m:540 [in Coq.FSets.FMapWeakList]
m:541 [in Coq.Reals.RIneq]
m:543 [in Coq.Reals.RIneq]
m:543 [in Coq.FSets.FMapList]
m:544 [in Coq.FSets.FMapWeakList]
m:545 [in Coq.FSets.FMapList]
m:546 [in Coq.FSets.FMapFacts]
m:546 [in Coq.FSets.FMapWeakList]
m:546 [in Coq.Reals.RIneq]
m:546 [in Coq.FSets.FMapList]
m:547 [in Coq.FSets.FMapList]
m:548 [in Coq.FSets.FMapWeakList]
m:549 [in Coq.FSets.FMapWeakList]
m:549 [in Coq.Reals.RIneq]
m:55 [in Coq.PArith.Pnat]
m:55 [in Coq.Arith.Compare_dec]
m:55 [in Coq.Reals.Exp_prop]
m:55 [in Coq.FSets.FMapFullAVL]
m:55 [in Coq.Arith.Plus]
m:55 [in Coq.Numbers.NatInt.NZDomain]
m:55 [in Coq.ZArith.Zorder]
m:55 [in Coq.Numbers.Natural.Abstract.NOrder]
m:55 [in Coq.Structures.GenericMinMax]
m:55 [in Coq.Numbers.NatInt.NZOrder]
m:55 [in Coq.Arith.Even]
m:55 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:55 [in Coq.ZArith.Znat]
m:55 [in Coq.ZArith.Zcompare]
m:550 [in Coq.FSets.FMapFacts]
m:550 [in Coq.FSets.FMapWeakList]
m:551 [in Coq.FSets.FMapList]
m:553 [in Coq.Reals.RIneq]
m:554 [in Coq.FSets.FMapWeakList]
m:556 [in Coq.Reals.RIneq]
m:557 [in Coq.FSets.FMapFacts]
m:558 [in Coq.Reals.RIneq]
m:558 [in Coq.FSets.FMapList]
m:559 [in Coq.FSets.FMapWeakList]
m:56 [in Coq.Numbers.Natural.Abstract.NSub]
m:56 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:56 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:56 [in Coq.Arith.Wf_nat]
m:56 [in Coq.Numbers.Natural.Abstract.NLcm]
m:56 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:56 [in Coq.Arith.PeanoNat]
m:56 [in Coq.Numbers.NatInt.NZGcd]
m:56 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:56 [in Coq.Reals.Raxioms]
m:56 [in Coq.Numbers.Cyclic.Int31.Int31]
m:56 [in Coq.setoid_ring.Ring_theory]
m:56 [in Coq.Numbers.HexadecimalQ]
m:560 [in Coq.Reals.RIneq]
m:560 [in Coq.FSets.FMapList]
m:562 [in Coq.FSets.FMapFacts]
m:564 [in Coq.FSets.FMapWeakList]
m:564 [in Coq.FSets.FMapList]
m:566 [in Coq.FSets.FMapFacts]
m:566 [in Coq.Reals.RIneq]
m:566 [in Coq.FSets.FMapList]
m:567 [in Coq.FSets.FMapWeakList]
m:568 [in Coq.FSets.FMapList]
m:569 [in Coq.Reals.RIneq]
m:569 [in Coq.FSets.FMapList]
m:57 [in Coq.QArith.Qcanon]
m:57 [in Coq.PArith.Pnat]
m:57 [in Coq.Arith.Compare_dec]
m:57 [in Coq.FSets.FMapFullAVL]
m:57 [in Coq.micromega.OrderedRing]
m:57 [in Coq.Numbers.NatInt.NZDomain]
m:57 [in Coq.ZArith.Zorder]
m:57 [in Coq.Numbers.Natural.Abstract.NOrder]
m:57 [in Coq.Structures.GenericMinMax]
m:57 [in Coq.Numbers.NatInt.NZOrder]
m:57 [in Coq.Arith.Even]
m:57 [in Coq.Numbers.NatInt.NZMulOrder]
m:57 [in Coq.Lists.SetoidList]
m:570 [in Coq.FSets.FMapFacts]
m:570 [in Coq.FSets.FMapList]
m:571 [in Coq.FSets.FMapWeakList]
m:573 [in Coq.FSets.FMapFacts]
m:574 [in Coq.FSets.FMapList]
m:575 [in Coq.FSets.FMapWeakList]
m:577 [in Coq.FSets.FMapFacts]
m:578 [in Coq.FSets.FMapWeakList]
m:579 [in Coq.FSets.FMapList]
m:58 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:58 [in Coq.Numbers.NatInt.NZAddOrder]
m:58 [in Coq.ZArith.BinInt]
m:58 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:58 [in Coq.Reals.Exp_prop]
m:58 [in Coq.FSets.FMapFacts]
m:58 [in Coq.Numbers.Natural.Abstract.NLcm]
m:58 [in Coq.Init.Nat]
m:58 [in Coq.Arith.Plus]
m:58 [in Coq.Arith.PeanoNat]
m:58 [in Coq.Numbers.NatInt.NZGcd]
m:58 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:58 [in Coq.Reals.Raxioms]
m:580 [in Coq.FSets.FMapFacts]
m:581 [in Coq.FSets.FMapWeakList]
m:584 [in Coq.FSets.FMapFacts]
m:584 [in Coq.FSets.FMapWeakList]
m:584 [in Coq.FSets.FMapList]
m:587 [in Coq.FSets.FMapWeakList]
m:587 [in Coq.FSets.FMapList]
m:588 [in Coq.FSets.FMapWeakList]
m:589 [in Coq.FSets.FMapWeakList]
m:59 [in Coq.Numbers.Natural.Abstract.NSub]
m:59 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:59 [in Coq.PArith.Pnat]
m:59 [in Coq.Arith.Compare_dec]
m:59 [in Coq.Numbers.Natural.Abstract.NBits]
m:59 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:59 [in Coq.Numbers.NatInt.NZDomain]
m:59 [in Coq.ZArith.Zorder]
m:59 [in Coq.FSets.FMapPositive]
m:59 [in Coq.Structures.GenericMinMax]
m:59 [in Coq.Numbers.NatInt.NZOrder]
m:591 [in Coq.FSets.FMapList]
m:595 [in Coq.FSets.FMapWeakList]
m:595 [in Coq.Reals.RIneq]
m:595 [in Coq.FSets.FMapList]
m:598 [in Coq.FSets.FMapWeakList]
m:598 [in Coq.FSets.FMapList]
m:6 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:6 [in Coq.Arith.Compare]
m:6 [in Coq.Numbers.Natural.Abstract.NSub]
m:6 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:6 [in Coq.Init.Peano]
m:6 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:6 [in Coq.Floats.SpecFloat]
m:6 [in Coq.Reals.ArithProp]
m:6 [in Coq.ZArith.Zmin]
m:6 [in Coq.Numbers.Natural.Abstract.NParity]
m:6 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:6 [in Coq.omega.OmegaLemmas]
m:6 [in Coq.Numbers.NatInt.NZGcd]
m:6 [in Coq.ZArith.auxiliary]
m:6 [in Coq.ZArith.Zpower]
m:6 [in Coq.ZArith.Zorder]
m:6 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:6 [in Coq.Sets.Integers]
m:6 [in Coq.Numbers.Natural.Abstract.NMulOrder]
m:6 [in Coq.Numbers.NatInt.NZParity]
m:6 [in Coq.Numbers.Integer.Abstract.ZMulOrder]
m:6 [in Coq.Arith.Gt]
m:6 [in Coq.Vectors.VectorEq]
m:6 [in Coq.Numbers.Integer.Abstract.ZMul]
m:6 [in Coq.ZArith.Zcompare]
m:6 [in Coq.Arith.Lt]
m:60 [in Coq.Init.Peano]
m:60 [in Coq.Arith.Compare_dec]
m:60 [in Coq.Arith.Wf_nat]
m:60 [in Coq.Classes.Morphisms]
m:60 [in Coq.Numbers.Natural.Abstract.NLcm]
m:60 [in Coq.Arith.PeanoNat]
m:60 [in Coq.Numbers.NatInt.NZGcd]
m:60 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:60 [in Coq.FSets.FSetPositive]
m:60 [in Coq.MSets.MSetPositive]
m:60 [in Coq.Numbers.Cyclic.Int31.Int31]
m:60 [in Coq.setoid_ring.Ring_theory]
m:60 [in Coq.Numbers.HexadecimalQ]
m:60 [in Coq.Numbers.NatInt.NZMulOrder]
m:60 [in Coq.ZArith.Znat]
m:601 [in Coq.FSets.FMapList]
m:603 [in Coq.FSets.FMapWeakList]
m:604 [in Coq.FSets.FMapList]
m:607 [in Coq.FSets.FMapFacts]
m:607 [in Coq.FSets.FMapList]
m:608 [in Coq.FSets.FMapList]
m:609 [in Coq.FSets.FMapWeakList]
m:609 [in Coq.FSets.FMapList]
m:61 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:61 [in Coq.Reals.Exp_prop]
m:61 [in Coq.Numbers.Natural.Abstract.NDefOps]
m:61 [in Coq.Numbers.NatInt.NZDomain]
m:61 [in Coq.Reals.Raxioms]
m:61 [in Coq.Structures.GenericMinMax]
m:61 [in Coq.Numbers.Integer.Abstract.ZBits]
m:61 [in Coq.Numbers.NatInt.NZOrder]
m:610 [in Coq.FSets.FMapFacts]
m:610 [in Coq.FSets.FMapList]
m:614 [in Coq.FSets.FMapWeakList]
m:616 [in Coq.FSets.FMapList]
m:619 [in Coq.FSets.FMapFacts]
m:619 [in Coq.FSets.FMapList]
m:62 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:62 [in Coq.Numbers.Natural.Abstract.NSub]
m:62 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:62 [in Coq.Numbers.NatInt.NZAddOrder]
m:62 [in Coq.Arith.Compare_dec]
m:62 [in Coq.FSets.FMapFacts]
m:62 [in Coq.Numbers.Natural.Abstract.NBits]
m:62 [in Coq.Init.Nat]
m:62 [in Coq.Arith.Plus]
m:62 [in Coq.Numbers.Cyclic.Int31.Int31]
m:62 [in Coq.FSets.FMapPositive]
m:62 [in Coq.Numbers.HexadecimalQ]
m:62 [in Coq.ZArith.Znat]
m:621 [in Coq.FSets.FMapFacts]
m:621 [in Coq.FSets.FMapWeakList]
m:624 [in Coq.FSets.FMapList]
m:627 [in Coq.FSets.FMapWeakList]
m:629 [in Coq.FSets.FMapFacts]
m:63 [in Coq.Floats.SpecFloat]
m:63 [in Coq.Numbers.Natural.Abstract.NLcm]
m:63 [in Coq.Classes.CMorphisms]
m:63 [in Coq.Numbers.NatInt.NZDomain]
m:63 [in Coq.ZArith.Zorder]
m:63 [in Coq.Structures.GenericMinMax]
m:63 [in Coq.Numbers.NatInt.NZOrder]
m:630 [in Coq.FSets.FMapFacts]
m:630 [in Coq.FSets.FMapList]
m:634 [in Coq.FSets.FMapFacts]
m:634 [in Coq.FSets.FMapWeakList]
m:635 [in Coq.FSets.FMapList]
m:638 [in Coq.FSets.FMapFacts]
m:64 [in Coq.Numbers.Natural.Abstract.NSub]
m:64 [in Coq.Numbers.NatInt.NZAddOrder]
m:64 [in Coq.ZArith.BinInt]
m:64 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:64 [in Coq.ZArith.Zpow_facts]
m:64 [in Coq.Arith.Compare_dec]
m:64 [in Coq.Arith.Wf_nat]
m:64 [in Coq.Arith.Plus]
m:64 [in Coq.Numbers.NatInt.NZGcd]
m:64 [in Coq.Numbers.NatInt.NZMulOrder]
m:640 [in Coq.Lists.List]
m:642 [in Coq.FSets.FMapFacts]
m:642 [in Coq.FSets.FMapList]
m:647 [in Coq.FSets.FMapFacts]
m:648 [in Coq.FSets.FMapFacts]
m:648 [in Coq.FSets.FMapList]
m:649 [in Coq.Lists.List]
m:65 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:65 [in Coq.PArith.Pnat]
m:65 [in Coq.Numbers.Natural.Abstract.NDefOps]
m:65 [in Coq.Numbers.Natural.Abstract.NBits]
m:65 [in Coq.Numbers.NatInt.NZDomain]
m:65 [in Coq.FSets.FSetPositive]
m:65 [in Coq.ZArith.Zorder]
m:65 [in Coq.MSets.MSetPositive]
m:65 [in Coq.Numbers.Cyclic.Int31.Int31]
m:65 [in Coq.FSets.FMapPositive]
m:65 [in Coq.Numbers.NatInt.NZOrder]
m:651 [in Coq.FSets.FMapFacts]
m:654 [in Coq.FSets.FMapFacts]
m:655 [in Coq.FSets.FMapFacts]
m:655 [in Coq.FSets.FMapList]
m:656 [in Coq.Lists.List]
m:656 [in Coq.FSets.FMapFacts]
m:658 [in Coq.Lists.List]
m:659 [in Coq.FSets.FMapFacts]
m:66 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:66 [in Coq.Numbers.NatInt.NZAddOrder]
m:66 [in Coq.Arith.Compare_dec]
m:66 [in Coq.FSets.FMapFacts]
m:66 [in Coq.Numbers.Natural.Abstract.NLcm]
m:66 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:66 [in Coq.FSets.FMapInterface]
m:66 [in Coq.Reals.Rpower]
m:66 [in Coq.FSets.FMapPositive]
m:66 [in Coq.Structures.GenericMinMax]
m:66 [in Coq.ZArith.Znat]
m:661 [in Coq.Lists.List]
m:661 [in Coq.FSets.FMapList]
m:662 [in Coq.FSets.FMapFacts]
m:664 [in Coq.Lists.List]
m:664 [in Coq.FSets.FMapFacts]
m:665 [in Coq.FSets.FMapFacts]
m:666 [in Coq.FSets.FMapList]
m:668 [in Coq.Lists.List]
m:668 [in Coq.FSets.FMapList]
m:669 [in Coq.FSets.FMapFacts]
m:67 [in Coq.Numbers.Natural.Abstract.NSub]
m:67 [in Coq.ZArith.BinInt]
m:67 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:67 [in Coq.PArith.Pnat]
m:67 [in Coq.Reals.Rtrigo_alt]
m:67 [in Coq.Numbers.NatInt.NZGcd]
m:67 [in Coq.Numbers.NatInt.NZDomain]
m:67 [in Coq.ZArith.Zorder]
m:67 [in Coq.Numbers.Integer.Abstract.ZBits]
m:67 [in Coq.Numbers.NatInt.NZOrder]
m:671 [in Coq.Lists.List]
m:671 [in Coq.FSets.FMapFacts]
m:672 [in Coq.FSets.FMapFacts]
m:673 [in Coq.Lists.List]
m:673 [in Coq.FSets.FMapList]
m:675 [in Coq.FSets.FMapList]
m:676 [in Coq.FSets.FMapFacts]
m:677 [in Coq.FSets.FMapList]
m:679 [in Coq.FSets.FMapList]
m:68 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:68 [in Coq.Numbers.NatInt.NZAddOrder]
m:68 [in Coq.Arith.Compare_dec]
m:68 [in Coq.Arith.Wf_nat]
m:68 [in Coq.Reals.Exp_prop]
m:68 [in Coq.Numbers.Natural.Abstract.NBits]
m:68 [in Coq.FSets.FMapAVL]
m:68 [in Coq.Arith.PeanoNat]
m:68 [in Coq.FSets.FSetPositive]
m:68 [in Coq.MSets.MSetPositive]
m:68 [in Coq.Numbers.NatInt.NZMulOrder]
m:68 [in Coq.ZArith.Znat]
m:681 [in Coq.Lists.List]
m:681 [in Coq.FSets.FMapList]
m:69 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:69 [in Coq.ZArith.BinInt]
m:69 [in Coq.FSets.FMapFacts]
m:69 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:69 [in Coq.FSets.FMapFullAVL]
m:69 [in Coq.Numbers.NatInt.NZDomain]
m:69 [in Coq.ZArith.Zorder]
m:69 [in Coq.Structures.GenericMinMax]
m:69 [in Coq.Numbers.NatInt.NZOrder]
m:7 [in Coq.Arith.Minus]
m:7 [in Coq.Arith.Le]
m:7 [in Coq.Arith.Factorial]
m:7 [in Coq.Arith.Compare_dec]
m:7 [in Coq.Numbers.Natural.Abstract.NAddOrder]
m:7 [in Coq.Arith.Plus]
m:7 [in Coq.FSets.FMapAVL]
m:7 [in Coq.Classes.CMorphisms]
m:7 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:7 [in Coq.FSets.FSetPositive]
m:7 [in Coq.MSets.MSetPositive]
m:7 [in Coq.Sets.Integers]
m:7 [in Coq.FSets.FMapWeakList]
m:7 [in Coq.ZArith.ZArith_dec]
m:7 [in Coq.Numbers.NatInt.NZMul]
m:7 [in Coq.Numbers.NatInt.NZMulOrder]
m:7 [in Coq.Arith.Mult]
m:7 [in Coq.FSets.FMapList]
m:7 [in Coq.micromega.ZifyInst]
m:7 [in Coq.Numbers.NatInt.NZAdd]
m:70 [in Coq.Numbers.Natural.Abstract.NSub]
m:70 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:70 [in Coq.Numbers.NatInt.NZAddOrder]
m:70 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:70 [in Coq.FSets.FMapInterface]
m:70 [in Coq.Reals.Rtrigo_alt]
m:70 [in Coq.Arith.PeanoNat]
m:70 [in Coq.Numbers.Cyclic.Int31.Int31]
m:70 [in Coq.FSets.FMapPositive]
m:70 [in Coq.Numbers.NatInt.NZMulOrder]
m:71 [in Coq.ZArith.BinInt]
m:71 [in Coq.Arith.Compare_dec]
m:71 [in Coq.Reals.Exp_prop]
m:71 [in Coq.Numbers.Natural.Abstract.NBits]
m:71 [in Coq.Numbers.NatInt.NZGcd]
m:71 [in Coq.ZArith.Zorder]
m:71 [in Coq.Numbers.NatInt.NZOrder]
m:71 [in Coq.ZArith.Znat]
m:72 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:72 [in Coq.Numbers.Natural.Abstract.NSub]
m:72 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:72 [in Coq.PArith.Pnat]
m:72 [in Coq.Arith.Wf_nat]
m:72 [in Coq.micromega.OrderedRing]
m:72 [in Coq.FSets.FSetPositive]
m:72 [in Coq.MSets.MSetPositive]
m:72 [in Coq.Numbers.Cyclic.Int31.Int31]
m:72 [in Coq.Structures.GenericMinMax]
m:72 [in Coq.Numbers.Integer.Abstract.ZBits]
m:72 [in Coq.Numbers.NatInt.NZMulOrder]
m:727 [in Coq.Lists.List]
m:73 [in Coq.ZArith.BinInt]
m:73 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:73 [in Coq.FSets.FMapFacts]
m:73 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:73 [in Coq.Reals.Rtrigo_alt]
m:73 [in Coq.Numbers.NatInt.NZGcd]
m:73 [in Coq.FSets.FSetPositive]
m:73 [in Coq.ZArith.Zorder]
m:73 [in Coq.MSets.MSetPositive]
m:73 [in Coq.Numbers.NatInt.NZOrder]
m:73 [in Coq.micromega.ZifyInst]
m:730 [in Coq.Lists.List]
m:74 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:74 [in Coq.Strings.String]
m:74 [in Coq.Reals.Exp_prop]
m:74 [in Coq.Numbers.Natural.Abstract.NDefOps]
m:74 [in Coq.FSets.FMapFullAVL]
m:74 [in Coq.Numbers.NatInt.NZMulOrder]
m:74 [in Coq.ZArith.Znat]
m:74 [in Coq.Reals.Cos_plus]
m:75 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:75 [in Coq.Numbers.Natural.Abstract.NSub]
m:75 [in Coq.ZArith.BinInt]
m:75 [in Coq.Lists.List]
m:75 [in Coq.FSets.FMapFullAVL]
m:75 [in Coq.ZArith.Zorder]
m:75 [in Coq.Numbers.Cyclic.Int31.Int31]
m:75 [in Coq.FSets.FMapPositive]
m:75 [in Coq.Structures.GenericMinMax]
m:75 [in Coq.Numbers.NatInt.NZOrder]
m:75 [in Coq.micromega.ZifyInst]
m:76 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:76 [in Coq.Arith.Wf_nat]
m:76 [in Coq.FSets.FMapFacts]
m:76 [in Coq.Reals.Rtrigo_alt]
m:76 [in Coq.Numbers.NatInt.NZMulOrder]
m:76 [in Coq.ZArith.Znat]
m:77 [in Coq.ZArith.BinInt]
m:77 [in Coq.Reals.Exp_prop]
m:77 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:77 [in Coq.micromega.OrderedRing]
m:77 [in Coq.FSets.FSetPositive]
m:77 [in Coq.ZArith.Zorder]
m:77 [in Coq.MSets.MSetPositive]
m:77 [in Coq.Numbers.NatInt.NZOrder]
m:77 [in Coq.Reals.Cos_plus]
m:78 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:78 [in Coq.Numbers.Natural.Abstract.NSub]
m:78 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:78 [in Coq.Strings.String]
m:78 [in Coq.Lists.List]
m:78 [in Coq.FSets.FSetPositive]
m:78 [in Coq.MSets.MSetPositive]
m:78 [in Coq.Structures.GenericMinMax]
m:78 [in Coq.Numbers.NatInt.NZMulOrder]
m:78 [in Coq.ZArith.Znat]
m:78 [in Coq.micromega.ZifyInst]
m:79 [in Coq.ZArith.BinInt]
m:79 [in Coq.FSets.FMapFacts]
m:79 [in Coq.FSets.FMapFullAVL]
m:79 [in Coq.ZArith.Zorder]
m:79 [in Coq.Numbers.Cyclic.Int31.Int31]
m:79 [in Coq.Numbers.Integer.Abstract.ZBits]
m:79 [in Coq.Numbers.NatInt.NZOrder]
m:8 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:8 [in Coq.setoid_ring.RealField]
m:8 [in Coq.Arith.Compare]
m:8 [in Coq.Numbers.Natural.Abstract.NSub]
m:8 [in Coq.Reals.Abstract.ConstructiveLUB]
m:8 [in Coq.Numbers.NatInt.NZAddOrder]
m:8 [in Coq.Numbers.Integer.Abstract.ZGcd]
m:8 [in Coq.Reals.ArithProp]
m:8 [in Coq.Numbers.Integer.Abstract.ZParity]
m:8 [in Coq.Classes.Morphisms]
m:8 [in Coq.QArith.Qminmax]
m:8 [in Coq.Numbers.Integer.Abstract.ZMaxMin]
m:8 [in Coq.ZArith.Zeven]
m:8 [in Coq.omega.OmegaLemmas]
m:8 [in Coq.ZArith.auxiliary]
m:8 [in Coq.Arith.EqNat]
m:8 [in Coq.Numbers.NatInt.NZDomain]
m:8 [in Coq.ZArith.Zorder]
m:8 [in Coq.Numbers.Natural.Abstract.NMaxMin]
m:8 [in Coq.FSets.FMapWeakList]
m:8 [in Coq.Arith.Gt]
m:8 [in Coq.FSets.FMapList]
m:8 [in Coq.Numbers.Integer.Abstract.ZLt]
m:8 [in Coq.Numbers.Natural.Abstract.NGcd]
m:8 [in Coq.Arith.Euclid]
m:8 [in Coq.Numbers.Integer.Abstract.ZMul]
m:8 [in Coq.Arith.Lt]
m:80 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:80 [in Coq.Arith.Wf_nat]
m:80 [in Coq.Reals.Exp_prop]
m:80 [in Coq.FSets.FMapFullAVL]
m:80 [in Coq.micromega.OrderedRing]
m:80 [in Coq.Numbers.NatInt.NZMulOrder]
m:80 [in Coq.ZArith.Znat]
m:80 [in Coq.micromega.ZifyInst]
m:81 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:81 [in Coq.Numbers.Natural.Abstract.NSub]
m:81 [in Coq.ZArith.BinInt]
m:81 [in Coq.Numbers.NatInt.NZGcd]
m:81 [in Coq.ZArith.Zorder]
m:81 [in Coq.Structures.GenericMinMax]
m:81 [in Coq.Numbers.NatInt.NZOrder]
m:82 [in Coq.Reals.Runcountable]
m:82 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:82 [in Coq.FSets.FMapFacts]
m:82 [in Coq.FSets.FMapInterface]
m:82 [in Coq.micromega.OrderedRing]
m:82 [in Coq.FSets.FSetPositive]
m:82 [in Coq.MSets.MSetPositive]
m:82 [in Coq.Numbers.Integer.Abstract.ZBits]
m:82 [in Coq.Numbers.NatInt.NZMulOrder]
m:82 [in Coq.ZArith.Znat]
m:83 [in Coq.ZArith.BinInt]
m:83 [in Coq.Strings.String]
m:83 [in Coq.Reals.Exp_prop]
m:83 [in Coq.Numbers.NatInt.NZGcd]
m:83 [in Coq.FSets.FSetPositive]
m:83 [in Coq.MSets.MSetPositive]
m:83 [in Coq.Numbers.Cyclic.Int31.Int31]
m:83 [in Coq.FSets.FMapWeakList]
m:83 [in Coq.Sorting.CPermutation]
m:83 [in Coq.Numbers.NatInt.NZOrder]
m:84 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:84 [in Coq.Numbers.Natural.Abstract.NSub]
m:84 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:84 [in Coq.Arith.Wf_nat]
m:84 [in Coq.Numbers.Natural.Abstract.NBits]
m:84 [in Coq.FSets.FMapFullAVL]
m:84 [in Coq.micromega.OrderedRing]
m:84 [in Coq.FSets.FMapAVL]
m:84 [in Coq.Vectors.Fin]
m:84 [in Coq.Structures.GenericMinMax]
m:84 [in Coq.Numbers.NatInt.NZMulOrder]
m:84 [in Coq.ZArith.Znat]
m:85 [in Coq.Reals.Runcountable]
m:85 [in Coq.ZArith.BinInt]
m:85 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:85 [in Coq.Numbers.Natural.Abstract.NBits]
m:85 [in Coq.NArith.BinNat]
m:85 [in Coq.Numbers.NatInt.NZGcd]
m:85 [in Coq.Numbers.Cyclic.Int31.Int31]
m:85 [in Coq.FSets.FMapPositive]
m:85 [in Coq.Numbers.Integer.Abstract.ZBits]
m:85 [in Coq.Numbers.NatInt.NZOrder]
m:85 [in Coq.Vectors.VectorDef]
m:86 [in Coq.Numbers.Natural.Abstract.NSub]
m:86 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:86 [in Coq.Numbers.Natural.Abstract.NBits]
m:86 [in Coq.Reals.Abstract.ConstructiveLimits]
m:86 [in Coq.FSets.FMapWeakList]
m:86 [in Coq.Numbers.NatInt.NZMulOrder]
m:86 [in Coq.ZArith.Znat]
m:86 [in Coq.Sorting.Heap]
m:87 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:87 [in Coq.ZArith.BinInt]
m:87 [in Coq.FSets.FMapFacts]
m:87 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:87 [in Coq.Numbers.NatInt.NZGcd]
m:87 [in Coq.Structures.GenericMinMax]
m:87 [in Coq.Numbers.NatInt.NZOrder]
m:87 [in Coq.Sorting.Heap]
m:88 [in Coq.Numbers.Natural.Abstract.NSub]
m:88 [in Coq.Arith.Wf_nat]
m:88 [in Coq.NArith.BinNat]
m:88 [in Coq.micromega.OrderedRing]
m:88 [in Coq.Numbers.Integer.Abstract.ZBits]
m:88 [in Coq.NArith.BinNatDef]
m:88 [in Coq.Numbers.NatInt.NZMulOrder]
m:88 [in Coq.ZArith.Znat]
m:89 [in Coq.Reals.Runcountable]
m:89 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:89 [in Coq.ZArith.BinInt]
m:89 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:89 [in Coq.FSets.FMapInterface]
m:89 [in Coq.Numbers.Natural.Abstract.NBits]
m:89 [in Coq.FSets.FMapAVL]
m:89 [in Coq.Numbers.NatInt.NZGcd]
m:89 [in Coq.FSets.FMapPositive]
m:89 [in Coq.Numbers.NatInt.NZOrder]
m:9 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:9 [in Coq.ZArith.Zabs]
m:9 [in Coq.Arith.Compare_dec]
m:9 [in Coq.Init.Nat]
m:9 [in Coq.Numbers.NatInt.NZGcd]
m:9 [in Coq.Numbers.Integer.NatPairs.ZNatPairs]
m:9 [in Coq.Numbers.Natural.Abstract.NMulOrder]
m:9 [in Coq.Numbers.NatInt.NZMulOrder]
m:9 [in Coq.Arith.Mult]
m:9 [in Coq.Numbers.Natural.Abstract.NAdd]
m:9 [in Coq.ZArith.Zcompare]
m:90 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:90 [in Coq.Numbers.Natural.Abstract.NSub]
m:90 [in Coq.FSets.FMapFacts]
m:90 [in Coq.micromega.OrderedRing]
m:90 [in Coq.FSets.FMapWeakList]
m:90 [in Coq.Structures.GenericMinMax]
m:90 [in Coq.Numbers.NatInt.NZMulOrder]
m:90 [in Coq.ZArith.Znat]
m:91 [in Coq.ZArith.BinInt]
m:91 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:91 [in Coq.FSets.FMapFullAVL]
m:91 [in Coq.NArith.BinNat]
m:91 [in Coq.omega.OmegaLemmas]
m:91 [in Coq.ZArith.Zorder]
m:91 [in Coq.Vectors.Fin]
m:91 [in Coq.Numbers.Integer.Abstract.ZBits]
m:91 [in Coq.Numbers.NatInt.NZOrder]
m:92 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:92 [in Coq.Floats.SpecFloat]
m:92 [in Coq.Arith.Wf_nat]
m:92 [in Coq.Numbers.Natural.Abstract.NBits]
m:92 [in Coq.Reals.Abstract.ConstructiveLimits]
m:92 [in Coq.FSets.FSetPositive]
m:92 [in Coq.MSets.MSetPositive]
m:92 [in Coq.NArith.BinNatDef]
m:924 [in Coq.FSets.FMapAVL]
m:926 [in Coq.FSets.FMapAVL]
m:929 [in Coq.FSets.FMapAVL]
m:93 [in Coq.ZArith.BinInt]
m:93 [in Coq.FSets.FMapFacts]
m:93 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:93 [in Coq.NArith.BinNat]
m:93 [in Coq.micromega.OrderedRing]
m:93 [in Coq.FSets.FSetPositive]
m:93 [in Coq.ZArith.Zorder]
m:93 [in Coq.MSets.MSetPositive]
m:93 [in Coq.FSets.FMapPositive]
m:93 [in Coq.Structures.GenericMinMax]
m:93 [in Coq.Numbers.NatInt.NZMulOrder]
m:93 [in Coq.FSets.FMapList]
m:930 [in Coq.FSets.FMapAVL]
m:934 [in Coq.FSets.FMapAVL]
m:94 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:94 [in Coq.Numbers.NatInt.NZOrder]
m:94 [in Coq.ZArith.Znat]
m:95 [in Coq.Reals.Runcountable]
m:95 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:95 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:95 [in Coq.FSets.FMapInterface]
m:95 [in Coq.NArith.BinNat]
m:95 [in Coq.micromega.OrderedRing]
m:95 [in Coq.Numbers.NatInt.NZMulOrder]
m:96 [in Coq.Arith.Wf_nat]
m:96 [in Coq.FSets.FMapAVL]
m:96 [in Coq.omega.OmegaLemmas]
m:96 [in Coq.ZArith.Zorder]
m:96 [in Coq.Structures.GenericMinMax]
m:96 [in Coq.NArith.BinNatDef]
m:96 [in Coq.FSets.FMapList]
m:97 [in Coq.Numbers.Integer.Abstract.ZLcm]
m:97 [in Coq.NArith.BinNat]
m:97 [in Coq.micromega.OrderedRing]
m:97 [in Coq.FSets.FMapPositive]
m:97 [in Coq.Numbers.NatInt.NZMulOrder]
m:98 [in Coq.Numbers.Integer.Abstract.ZAddOrder]
m:98 [in Coq.Numbers.Integer.Abstract.ZAdd]
m:98 [in Coq.FSets.FSetPositive]
m:98 [in Coq.MSets.MSetPositive]
m:982 [in Coq.FSets.FMapAVL]
m:985 [in Coq.FSets.FMapAVL]
m:987 [in Coq.FSets.FMapAVL]
m:99 [in Coq.FSets.FMapFacts]
m:99 [in Coq.Numbers.Natural.Abstract.NBits]
m:99 [in Coq.NArith.BinNat]
m:99 [in Coq.micromega.OrderedRing]
m:99 [in Coq.FSets.FSetPositive]
m:99 [in Coq.ZArith.Zorder]
m:99 [in Coq.MSets.MSetPositive]
m:99 [in Coq.Numbers.NatInt.NZMulOrder]
m:990 [in Coq.FSets.FMapAVL]
m:991 [in Coq.FSets.FMapAVL]
m:994 [in Coq.FSets.FMapAVL]
m:995 [in Coq.FSets.FMapAVL]
m:996 [in Coq.FSets.FMapAVL]
m:998 [in Coq.FSets.FMapAVL]
| 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 | (68863 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 | (985 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 | (44709 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 | (761 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 | (1497 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 | (570 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 | (11380 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 | (976 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 | (603 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 | (298 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 | (460 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 | (476 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 | (811 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 | (1157 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 | (4018 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 | (162 entries) |