| 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 | (100113 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 | (1864 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 | (49278 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 | (1631 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 | (6978 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 | (94 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 | (14781 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 | (75 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 | (222 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 | (131 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 | (2030 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 | (2189 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 | (1149 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 | (19126 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 | (565 entries) |
N (binder)
nAB:143 [in mathcomp.fingroup.gproduct]nat_num_subproof:49 [in mathcomp.algebra.ssrnum]
nat_num_subdef:44 [in mathcomp.algebra.ssrnum]
nA:1492 [in mathcomp.character.mxrepresentation]
nA:1497 [in mathcomp.character.mxrepresentation]
nA:1501 [in mathcomp.character.mxrepresentation]
Na:489 [in mathcomp.fingroup.action]
nd:44 [in mathcomp.algebra.rat]
nd:54 [in mathcomp.algebra.rat]
neg_lit:1679 [in mathcomp.algebra.ssralg]
neg:1673 [in mathcomp.algebra.ssralg]
nf:33 [in mathcomp.algebra.rat]
nGy:18 [in mathcomp.character.inertia]
nHG:163 [in mathcomp.fingroup.quotient]
ni:162 [in mathcomp.ssreflect.choice]
nn:1216 [in mathcomp.ssreflect.ssrnat]
nn:149 [in mathcomp.ssreflect.choice]
nn:151 [in mathcomp.ssreflect.choice]
normal_field_splitting_axiom:192 [in mathcomp.field.galois]
normCK:92 [in mathcomp.algebra.ssrnum]
normD:2507 [in mathcomp.algebra.ssrnum]
normM:2520 [in mathcomp.algebra.ssrnum]
normN:2567 [in mathcomp.algebra.ssrnum]
normN:2607 [in mathcomp.algebra.ssrnum]
normrMn:14 [in mathcomp.algebra.ssrnum]
normrM:34 [in mathcomp.algebra.ssrnum]
normrN:16 [in mathcomp.algebra.ssrnum]
normr0_eq0:11 [in mathcomp.algebra.ssrnum]
norm_eq0:2512 [in mathcomp.algebra.ssrnum]
norm:2504 [in mathcomp.algebra.ssrnum]
norm:2552 [in mathcomp.algebra.ssrnum]
norm:2592 [in mathcomp.algebra.ssrnum]
norm:6 [in mathcomp.algebra.ssrnum]
np:14 [in mathcomp.field.algnum]
nrr:215 [in mathcomp.field.closed_field]
nSA:546 [in mathcomp.fingroup.action]
ns:143 [in mathcomp.ssreflect.choice]
nt:163 [in mathcomp.ssreflect.choice]
nT:328 [in mathcomp.ssreflect.eqtype]
nT:331 [in mathcomp.ssreflect.eqtype]
nuQn:6 [in mathcomp.character.integral_char]
nux:531 [in mathcomp.algebra.ssrint]
nu0:109 [in mathcomp.field.algnum]
nu0:98 [in mathcomp.field.algnum]
nu:104 [in mathcomp.field.algnum]
nu:1050 [in mathcomp.algebra.ssralg]
nu:108 [in mathcomp.character.integral_char]
nu:108 [in mathcomp.field.algnum]
nu:109 [in mathcomp.character.integral_char]
nu:110 [in mathcomp.character.integral_char]
nu:111 [in mathcomp.character.integral_char]
nu:112 [in mathcomp.character.integral_char]
nu:167 [in mathcomp.algebra.archimedean]
nu:168 [in mathcomp.algebra.archimedean]
nu:173 [in mathcomp.algebra.archimedean]
nu:175 [in mathcomp.algebra.archimedean]
nu:190 [in mathcomp.field.algnum]
nu:212 [in mathcomp.character.integral_char]
nu:213 [in mathcomp.character.integral_char]
nu:214 [in mathcomp.character.integral_char]
nu:236 [in mathcomp.field.algC]
nu:237 [in mathcomp.field.algC]
nu:239 [in mathcomp.field.algC]
nu:242 [in mathcomp.field.algC]
nu:244 [in mathcomp.field.algC]
nu:245 [in mathcomp.field.algC]
nu:246 [in mathcomp.field.algC]
nu:247 [in mathcomp.field.algC]
nu:248 [in mathcomp.field.algC]
nu:249 [in mathcomp.field.algC]
nu:250 [in mathcomp.field.algC]
nu:271 [in mathcomp.character.vcharacter]
nu:272 [in mathcomp.character.vcharacter]
nu:302 [in mathcomp.field.algnum]
nu:333 [in mathcomp.field.algC]
nu:334 [in mathcomp.field.algC]
nu:335 [in mathcomp.field.algC]
nu:337 [in mathcomp.field.algC]
nu:506 [in mathcomp.character.classfun]
nu:7 [in mathcomp.character.integral_char]
nu:95 [in mathcomp.field.algnum]
nx1:626 [in mathcomp.algebra.ssrint]
nx:177 [in mathcomp.algebra.rat]
ny:179 [in mathcomp.algebra.rat]
nzA:548 [in mathcomp.algebra.mxpoly]
nzV:1360 [in mathcomp.character.mxrepresentation]
nz_x:4 [in mathcomp.field.finfield]
n_gt0:217 [in mathcomp.solvable.cyclic]
n':1040 [in mathcomp.algebra.matrix]
n':105 [in mathcomp.algebra.matrix]
n':112 [in mathcomp.algebra.matrix]
n':124 [in mathcomp.algebra.mxpoly]
n':1401 [in mathcomp.algebra.matrix]
n':1441 [in mathcomp.character.mxrepresentation]
n':1608 [in mathcomp.algebra.matrix]
n':1623 [in mathcomp.algebra.matrix]
n':1648 [in mathcomp.ssreflect.order]
n':166 [in mathcomp.algebra.matrix]
n':1661 [in mathcomp.ssreflect.order]
n':1674 [in mathcomp.ssreflect.order]
n':1689 [in mathcomp.ssreflect.order]
n':171 [in mathcomp.algebra.mxpoly]
n':174 [in mathcomp.algebra.matrix]
n':179 [in mathcomp.algebra.matrix]
n':186 [in mathcomp.algebra.matrix]
n':190 [in mathcomp.algebra.matrix]
n':1937 [in mathcomp.algebra.matrix]
n':1939 [in mathcomp.algebra.matrix]
n':194 [in mathcomp.algebra.matrix]
n':198 [in mathcomp.algebra.matrix]
n':2015 [in mathcomp.algebra.matrix]
n':2059 [in mathcomp.algebra.matrix]
n':22 [in mathcomp.algebra.rat]
n':2263 [in mathcomp.algebra.matrix]
n':2271 [in mathcomp.algebra.matrix]
n':2355 [in mathcomp.algebra.matrix]
n':2397 [in mathcomp.algebra.matrix]
n':2484 [in mathcomp.algebra.matrix]
n':2487 [in mathcomp.ssreflect.bigop]
n':2501 [in mathcomp.ssreflect.bigop]
n':2527 [in mathcomp.algebra.matrix]
n':2574 [in mathcomp.algebra.matrix]
n':2578 [in mathcomp.algebra.matrix]
n':258 [in mathcomp.algebra.matrix]
n':281 [in mathcomp.algebra.matrix]
n':3064 [in mathcomp.algebra.matrix]
n':3071 [in mathcomp.algebra.matrix]
n':3150 [in mathcomp.algebra.matrix]
n':3157 [in mathcomp.algebra.matrix]
n':335 [in mathcomp.ssreflect.div]
n':339 [in mathcomp.algebra.mxpoly]
n':565 [in mathcomp.algebra.matrix]
n':66 [in mathcomp.algebra.matrix]
n':72 [in mathcomp.algebra.matrix]
n':782 [in mathcomp.algebra.matrix]
n':791 [in mathcomp.algebra.matrix]
n':834 [in mathcomp.algebra.matrix]
n':844 [in mathcomp.algebra.matrix]
n':847 [in mathcomp.algebra.matrix]
n':85 [in mathcomp.solvable.extraspecial]
n':859 [in mathcomp.algebra.mxpoly]
n':86 [in mathcomp.solvable.extraspecial]
n':904 [in mathcomp.algebra.matrix]
n':914 [in mathcomp.algebra.matrix]
n':917 [in mathcomp.algebra.matrix]
n0:114 [in mathcomp.solvable.burnside_app]
n0:1195 [in mathcomp.ssreflect.ssrnat]
n0:1200 [in mathcomp.ssreflect.ssrnat]
n0:357 [in mathcomp.algebra.ssrint]
n0:361 [in mathcomp.algebra.ssrint]
n0:365 [in mathcomp.algebra.ssrint]
n0:369 [in mathcomp.algebra.ssrint]
n0:372 [in mathcomp.algebra.ssrint]
n0:375 [in mathcomp.algebra.ssrint]
n0:378 [in mathcomp.algebra.ssrint]
n0:381 [in mathcomp.algebra.ssrint]
n0:384 [in mathcomp.algebra.ssrint]
n0:387 [in mathcomp.algebra.ssrint]
n0:390 [in mathcomp.algebra.ssrint]
n0:393 [in mathcomp.algebra.ssrint]
n0:680 [in mathcomp.algebra.ssrint]
n0:682 [in mathcomp.algebra.ssrint]
N1op_subproof:1026 [in mathcomp.algebra.ssralg]
n1:1058 [in mathcomp.algebra.matrix]
n1:1061 [in mathcomp.algebra.matrix]
n1:1090 [in mathcomp.algebra.matrix]
n1:1097 [in mathcomp.algebra.matrix]
n1:1100 [in mathcomp.algebra.matrix]
n1:1115 [in mathcomp.algebra.matrix]
n1:1128 [in mathcomp.algebra.matrix]
N1:113 [in mathcomp.solvable.jordanholder]
n1:1139 [in mathcomp.algebra.matrix]
n1:1221 [in mathcomp.algebra.matrix]
n1:1226 [in mathcomp.algebra.matrix]
n1:1231 [in mathcomp.algebra.matrix]
n1:1236 [in mathcomp.algebra.matrix]
n1:1241 [in mathcomp.algebra.matrix]
n1:1246 [in mathcomp.algebra.matrix]
n1:1251 [in mathcomp.algebra.matrix]
n1:1262 [in mathcomp.character.mxrepresentation]
n1:1280 [in mathcomp.algebra.matrix]
n1:1343 [in mathcomp.algebra.matrix]
n1:1360 [in mathcomp.algebra.matrix]
n1:1379 [in mathcomp.ssreflect.seq]
n1:14 [in mathcomp.character.character]
n1:1417 [in mathcomp.character.mxrepresentation]
n1:1419 [in mathcomp.algebra.matrix]
n1:1422 [in mathcomp.algebra.matrix]
n1:1435 [in mathcomp.algebra.matrix]
n1:1446 [in mathcomp.algebra.matrix]
n1:1490 [in mathcomp.algebra.matrix]
n1:1495 [in mathcomp.algebra.matrix]
n1:164 [in mathcomp.ssreflect.seq]
n1:1673 [in mathcomp.ssreflect.bigop]
n1:1696 [in mathcomp.ssreflect.bigop]
n1:18 [in mathcomp.character.character]
n1:180 [in mathcomp.ssreflect.ssrnat]
n1:1807 [in mathcomp.algebra.matrix]
n1:181 [in mathcomp.character.character]
n1:1824 [in mathcomp.algebra.matrix]
n1:1836 [in mathcomp.algebra.matrix]
n1:1847 [in mathcomp.algebra.matrix]
n1:207 [in mathcomp.algebra.matrix]
n1:2077 [in mathcomp.algebra.matrix]
n1:2080 [in mathcomp.algebra.matrix]
n1:2100 [in mathcomp.algebra.matrix]
n1:2113 [in mathcomp.algebra.matrix]
n1:218 [in mathcomp.algebra.matrix]
n1:224 [in mathcomp.algebra.matrix]
n1:2278 [in mathcomp.algebra.matrix]
n1:23 [in mathcomp.character.character]
n1:230 [in mathcomp.algebra.matrix]
n1:2308 [in mathcomp.ssreflect.bigop]
n1:2330 [in mathcomp.ssreflect.bigop]
n1:238 [in mathcomp.algebra.matrix]
n1:244 [in mathcomp.algebra.matrix]
n1:244 [in mathcomp.algebra.mxalgebra]
n1:2463 [in mathcomp.algebra.matrix]
n1:2468 [in mathcomp.algebra.matrix]
n1:2517 [in mathcomp.algebra.matrix]
n1:2522 [in mathcomp.algebra.matrix]
n1:262 [in mathcomp.algebra.matrix]
n1:275 [in mathcomp.algebra.matrix]
n1:2799 [in mathcomp.ssreflect.bigop]
n1:28 [in mathcomp.character.character]
n1:2805 [in mathcomp.ssreflect.bigop]
n1:298 [in mathcomp.ssreflect.ssrnat]
n1:3 [in mathcomp.character.character]
n1:306 [in mathcomp.ssreflect.seq]
n1:310 [in mathcomp.character.character]
n1:316 [in mathcomp.character.character]
n1:318 [in mathcomp.algebra.matrix]
n1:32 [in mathcomp.character.character]
n1:354 [in mathcomp.algebra.matrix]
n1:36 [in mathcomp.character.character]
n1:365 [in mathcomp.character.character]
n1:368 [in mathcomp.ssreflect.ssrnat]
n1:375 [in mathcomp.ssreflect.ssrnat]
n1:378 [in mathcomp.ssreflect.ssrnat]
n1:391 [in mathcomp.ssreflect.ssrnat]
n1:394 [in mathcomp.ssreflect.ssrnat]
n1:396 [in mathcomp.algebra.matrix]
n1:397 [in mathcomp.ssreflect.ssrnat]
n1:40 [in mathcomp.character.character]
n1:400 [in mathcomp.ssreflect.ssrnat]
n1:402 [in mathcomp.algebra.matrix]
n1:409 [in mathcomp.algebra.matrix]
n1:415 [in mathcomp.algebra.matrix]
n1:422 [in mathcomp.algebra.matrix]
n1:430 [in mathcomp.algebra.matrix]
n1:443 [in mathcomp.algebra.matrix]
n1:45 [in mathcomp.character.character]
n1:48 [in mathcomp.ssreflect.seq]
N1:52 [in mathcomp.solvable.jordanholder]
n1:52 [in mathcomp.character.character]
n1:526 [in mathcomp.algebra.matrix]
n1:530 [in mathcomp.algebra.matrix]
n1:534 [in mathcomp.algebra.matrix]
N1:54 [in mathcomp.solvable.jordanholder]
n1:557 [in mathcomp.algebra.matrix]
n1:57 [in mathcomp.character.character]
n1:570 [in mathcomp.algebra.matrix]
n1:572 [in mathcomp.ssreflect.ssrnat]
n1:575 [in mathcomp.ssreflect.ssrnat]
n1:579 [in mathcomp.ssreflect.ssrnat]
n1:582 [in mathcomp.ssreflect.ssrnat]
n1:585 [in mathcomp.ssreflect.ssrnat]
n1:586 [in mathcomp.algebra.matrix]
n1:588 [in mathcomp.ssreflect.ssrnat]
n1:591 [in mathcomp.ssreflect.ssrnat]
n1:594 [in mathcomp.ssreflect.ssrnat]
n1:597 [in mathcomp.ssreflect.ssrnat]
n1:598 [in mathcomp.algebra.matrix]
n1:600 [in mathcomp.ssreflect.ssrnat]
n1:603 [in mathcomp.ssreflect.ssrnat]
n1:606 [in mathcomp.ssreflect.ssrnat]
n1:609 [in mathcomp.ssreflect.ssrnat]
n1:610 [in mathcomp.algebra.matrix]
n1:616 [in mathcomp.algebra.matrix]
n1:617 [in mathcomp.ssreflect.ssrnat]
n1:634 [in mathcomp.algebra.matrix]
n1:639 [in mathcomp.ssreflect.ssrnat]
n1:645 [in mathcomp.ssreflect.ssrnat]
n1:648 [in mathcomp.ssreflect.ssrnat]
n1:648 [in mathcomp.algebra.matrix]
n1:657 [in mathcomp.ssreflect.ssrnat]
n1:660 [in mathcomp.ssreflect.ssrnat]
n1:663 [in mathcomp.ssreflect.ssrnat]
n1:667 [in mathcomp.ssreflect.ssrnat]
n1:670 [in mathcomp.ssreflect.ssrnat]
n1:705 [in mathcomp.algebra.matrix]
n1:758 [in mathcomp.ssreflect.bigop]
n1:789 [in mathcomp.algebra.ssrint]
n1:792 [in mathcomp.algebra.ssrint]
n1:794 [in mathcomp.algebra.ssrint]
n1:796 [in mathcomp.algebra.ssrint]
n1:801 [in mathcomp.algebra.ssrint]
n1:805 [in mathcomp.algebra.ssrint]
n1:814 [in mathcomp.algebra.ssrint]
n1:817 [in mathcomp.algebra.ssrint]
n1:82 [in mathcomp.character.character]
n1:828 [in mathcomp.character.mxrepresentation]
n1:836 [in mathcomp.character.mxrepresentation]
n1:842 [in mathcomp.character.mxrepresentation]
n1:846 [in mathcomp.character.mxrepresentation]
n1:851 [in mathcomp.ssreflect.bigop]
n1:852 [in mathcomp.character.mxrepresentation]
n1:860 [in mathcomp.ssreflect.ssrnat]
n1:861 [in mathcomp.ssreflect.bigop]
n1:866 [in mathcomp.ssreflect.ssrnat]
n1:866 [in mathcomp.character.mxrepresentation]
n1:870 [in mathcomp.character.mxrepresentation]
n1:871 [in mathcomp.ssreflect.bigop]
n1:872 [in mathcomp.ssreflect.fintype]
n1:875 [in mathcomp.character.mxrepresentation]
n1:878 [in mathcomp.ssreflect.fintype]
n1:879 [in mathcomp.character.mxrepresentation]
n1:880 [in mathcomp.ssreflect.bigop]
n1:881 [in mathcomp.ssreflect.fintype]
n1:884 [in mathcomp.ssreflect.fintype]
n1:889 [in mathcomp.character.mxrepresentation]
n1:894 [in mathcomp.character.mxrepresentation]
n1:90 [in mathcomp.ssreflect.binomial]
n1:92 [in mathcomp.character.integral_char]
n1:92 [in mathcomp.character.character]
n1:952 [in mathcomp.ssreflect.bigop]
n1:964 [in mathcomp.ssreflect.bigop]
n1:976 [in mathcomp.ssreflect.bigop]
n1:987 [in mathcomp.ssreflect.bigop]
n2:1059 [in mathcomp.algebra.matrix]
n2:1062 [in mathcomp.algebra.matrix]
n2:1091 [in mathcomp.algebra.matrix]
n2:1098 [in mathcomp.algebra.matrix]
n2:1101 [in mathcomp.algebra.matrix]
n2:1116 [in mathcomp.algebra.matrix]
n2:1129 [in mathcomp.algebra.matrix]
N2:114 [in mathcomp.solvable.jordanholder]
n2:1140 [in mathcomp.algebra.matrix]
n2:12 [in mathcomp.character.character]
n2:1222 [in mathcomp.algebra.matrix]
n2:1227 [in mathcomp.algebra.matrix]
n2:1232 [in mathcomp.algebra.matrix]
n2:1237 [in mathcomp.algebra.matrix]
n2:1242 [in mathcomp.algebra.matrix]
n2:1247 [in mathcomp.algebra.matrix]
n2:1252 [in mathcomp.algebra.matrix]
n2:1263 [in mathcomp.character.mxrepresentation]
n2:1281 [in mathcomp.algebra.matrix]
n2:1344 [in mathcomp.algebra.matrix]
n2:1361 [in mathcomp.algebra.matrix]
n2:1380 [in mathcomp.ssreflect.seq]
n2:1418 [in mathcomp.character.mxrepresentation]
n2:1420 [in mathcomp.algebra.matrix]
n2:1423 [in mathcomp.algebra.matrix]
n2:1436 [in mathcomp.algebra.matrix]
n2:1447 [in mathcomp.algebra.matrix]
n2:1491 [in mathcomp.algebra.matrix]
n2:1496 [in mathcomp.algebra.matrix]
n2:16 [in mathcomp.character.character]
n2:166 [in mathcomp.ssreflect.seq]
n2:167 [in mathcomp.character.character]
n2:1675 [in mathcomp.ssreflect.bigop]
n2:1698 [in mathcomp.ssreflect.bigop]
n2:1808 [in mathcomp.algebra.matrix]
n2:181 [in mathcomp.ssreflect.ssrnat]
n2:182 [in mathcomp.character.character]
n2:1825 [in mathcomp.algebra.matrix]
n2:1837 [in mathcomp.algebra.matrix]
n2:1848 [in mathcomp.algebra.matrix]
n2:20 [in mathcomp.character.character]
n2:2078 [in mathcomp.algebra.matrix]
n2:2081 [in mathcomp.algebra.matrix]
n2:209 [in mathcomp.algebra.matrix]
n2:2101 [in mathcomp.algebra.matrix]
n2:2114 [in mathcomp.algebra.matrix]
n2:220 [in mathcomp.algebra.matrix]
n2:226 [in mathcomp.algebra.matrix]
n2:2280 [in mathcomp.algebra.matrix]
n2:2310 [in mathcomp.ssreflect.bigop]
n2:232 [in mathcomp.algebra.matrix]
n2:2332 [in mathcomp.ssreflect.bigop]
n2:240 [in mathcomp.algebra.matrix]
n2:245 [in mathcomp.algebra.mxalgebra]
n2:246 [in mathcomp.algebra.matrix]
n2:2464 [in mathcomp.algebra.matrix]
n2:2469 [in mathcomp.algebra.matrix]
n2:25 [in mathcomp.character.character]
n2:2518 [in mathcomp.algebra.matrix]
n2:2523 [in mathcomp.algebra.matrix]
n2:264 [in mathcomp.algebra.matrix]
n2:277 [in mathcomp.algebra.matrix]
n2:2800 [in mathcomp.ssreflect.bigop]
n2:2806 [in mathcomp.ssreflect.bigop]
n2:299 [in mathcomp.ssreflect.ssrnat]
n2:30 [in mathcomp.character.character]
n2:307 [in mathcomp.ssreflect.seq]
n2:311 [in mathcomp.character.character]
n2:317 [in mathcomp.character.character]
n2:319 [in mathcomp.algebra.matrix]
n2:34 [in mathcomp.character.character]
n2:355 [in mathcomp.algebra.matrix]
n2:366 [in mathcomp.character.character]
n2:369 [in mathcomp.ssreflect.ssrnat]
n2:371 [in mathcomp.algebra.matrix]
n2:376 [in mathcomp.ssreflect.ssrnat]
n2:379 [in mathcomp.ssreflect.ssrnat]
n2:379 [in mathcomp.algebra.matrix]
n2:38 [in mathcomp.character.character]
n2:386 [in mathcomp.algebra.matrix]
n2:392 [in mathcomp.ssreflect.ssrnat]
n2:395 [in mathcomp.ssreflect.ssrnat]
n2:397 [in mathcomp.algebra.matrix]
n2:398 [in mathcomp.ssreflect.ssrnat]
n2:401 [in mathcomp.ssreflect.ssrnat]
n2:403 [in mathcomp.algebra.matrix]
n2:410 [in mathcomp.algebra.matrix]
n2:416 [in mathcomp.algebra.matrix]
n2:42 [in mathcomp.character.character]
n2:423 [in mathcomp.algebra.matrix]
n2:431 [in mathcomp.algebra.matrix]
n2:444 [in mathcomp.algebra.matrix]
n2:48 [in mathcomp.character.character]
n2:49 [in mathcomp.ssreflect.seq]
n2:527 [in mathcomp.algebra.matrix]
N2:53 [in mathcomp.solvable.jordanholder]
n2:531 [in mathcomp.algebra.matrix]
n2:535 [in mathcomp.algebra.matrix]
N2:55 [in mathcomp.solvable.jordanholder]
n2:55 [in mathcomp.character.character]
n2:558 [in mathcomp.algebra.matrix]
n2:571 [in mathcomp.algebra.matrix]
n2:573 [in mathcomp.ssreflect.ssrnat]
n2:576 [in mathcomp.ssreflect.ssrnat]
n2:580 [in mathcomp.ssreflect.ssrnat]
n2:583 [in mathcomp.ssreflect.ssrnat]
n2:586 [in mathcomp.ssreflect.ssrnat]
n2:587 [in mathcomp.algebra.matrix]
n2:589 [in mathcomp.ssreflect.ssrnat]
n2:592 [in mathcomp.ssreflect.ssrnat]
n2:595 [in mathcomp.ssreflect.ssrnat]
n2:598 [in mathcomp.ssreflect.ssrnat]
n2:599 [in mathcomp.algebra.matrix]
n2:6 [in mathcomp.character.character]
n2:60 [in mathcomp.character.character]
n2:601 [in mathcomp.ssreflect.ssrnat]
n2:604 [in mathcomp.ssreflect.ssrnat]
n2:607 [in mathcomp.ssreflect.ssrnat]
n2:610 [in mathcomp.ssreflect.ssrnat]
n2:611 [in mathcomp.algebra.matrix]
n2:617 [in mathcomp.algebra.matrix]
n2:618 [in mathcomp.ssreflect.ssrnat]
n2:635 [in mathcomp.algebra.matrix]
n2:640 [in mathcomp.ssreflect.ssrnat]
n2:646 [in mathcomp.ssreflect.ssrnat]
n2:649 [in mathcomp.ssreflect.ssrnat]
n2:649 [in mathcomp.algebra.matrix]
n2:658 [in mathcomp.ssreflect.ssrnat]
n2:661 [in mathcomp.ssreflect.ssrnat]
n2:664 [in mathcomp.ssreflect.ssrnat]
n2:668 [in mathcomp.ssreflect.ssrnat]
n2:671 [in mathcomp.ssreflect.ssrnat]
n2:706 [in mathcomp.algebra.matrix]
n2:76 [in mathcomp.character.character]
n2:760 [in mathcomp.ssreflect.bigop]
n2:790 [in mathcomp.algebra.ssrint]
n2:793 [in mathcomp.algebra.ssrint]
n2:795 [in mathcomp.algebra.ssrint]
n2:797 [in mathcomp.algebra.ssrint]
n2:802 [in mathcomp.algebra.ssrint]
n2:806 [in mathcomp.algebra.ssrint]
n2:815 [in mathcomp.algebra.ssrint]
n2:818 [in mathcomp.algebra.ssrint]
n2:830 [in mathcomp.character.mxrepresentation]
n2:837 [in mathcomp.character.mxrepresentation]
n2:843 [in mathcomp.character.mxrepresentation]
n2:847 [in mathcomp.character.mxrepresentation]
n2:852 [in mathcomp.ssreflect.bigop]
n2:853 [in mathcomp.character.mxrepresentation]
n2:862 [in mathcomp.ssreflect.bigop]
n2:863 [in mathcomp.ssreflect.ssrnat]
n2:867 [in mathcomp.character.mxrepresentation]
n2:869 [in mathcomp.ssreflect.ssrnat]
n2:87 [in mathcomp.character.character]
n2:871 [in mathcomp.character.mxrepresentation]
n2:872 [in mathcomp.ssreflect.bigop]
n2:873 [in mathcomp.ssreflect.fintype]
n2:876 [in mathcomp.character.mxrepresentation]
n2:879 [in mathcomp.ssreflect.fintype]
n2:880 [in mathcomp.character.mxrepresentation]
n2:881 [in mathcomp.ssreflect.bigop]
n2:882 [in mathcomp.ssreflect.fintype]
n2:885 [in mathcomp.ssreflect.fintype]
n2:890 [in mathcomp.character.mxrepresentation]
n2:895 [in mathcomp.character.mxrepresentation]
n2:91 [in mathcomp.ssreflect.binomial]
n2:95 [in mathcomp.character.character]
n2:953 [in mathcomp.ssreflect.bigop]
n2:965 [in mathcomp.ssreflect.bigop]
n2:977 [in mathcomp.ssreflect.bigop]
n2:988 [in mathcomp.ssreflect.bigop]
n3:211 [in mathcomp.algebra.matrix]
n3:266 [in mathcomp.algebra.matrix]
n3:356 [in mathcomp.algebra.matrix]
n3:372 [in mathcomp.algebra.matrix]
n3:572 [in mathcomp.algebra.matrix]
n3:707 [in mathcomp.algebra.matrix]
n3:816 [in mathcomp.algebra.ssrint]
n3:848 [in mathcomp.character.mxrepresentation]
n3:874 [in mathcomp.ssreflect.fintype]
n:1 [in mathcomp.ssreflect.binomial]
n:1 [in mathcomp.ssreflect.choice]
n:1 [in mathcomp.solvable.commutator]
n:10 [in mathcomp.field.cyclotomic]
n:100 [in mathcomp.ssreflect.binomial]
n:100 [in mathcomp.algebra.ssrint]
n:100 [in mathcomp.fingroup.fingroup]
n:100 [in mathcomp.character.character]
n:100 [in mathcomp.field.falgebra]
n:1000 [in mathcomp.ssreflect.seq]
n:1000 [in mathcomp.ssreflect.ssrnat]
n:1001 [in mathcomp.algebra.ssrnum]
n:1002 [in mathcomp.ssreflect.seq]
n:1002 [in mathcomp.ssreflect.ssrnat]
n:1002 [in mathcomp.character.character]
n:1003 [in mathcomp.character.classfun]
n:1003 [in mathcomp.algebra.ssrnum]
n:1004 [in mathcomp.ssreflect.ssrnat]
n:1005 [in mathcomp.algebra.polydiv]
n:1005 [in mathcomp.algebra.ssrnum]
n:1006 [in mathcomp.ssreflect.ssrnat]
n:1007 [in mathcomp.algebra.ssrnum]
n:1007 [in mathcomp.algebra.mxalgebra]
n:1008 [in mathcomp.ssreflect.ssrnat]
n:1009 [in mathcomp.algebra.ssrnum]
n:1009 [in mathcomp.ssreflect.bigop]
n:101 [in mathcomp.ssreflect.ssrnat]
n:101 [in mathcomp.fingroup.fingroup]
n:101 [in mathcomp.solvable.nilpotent]
n:1010 [in mathcomp.ssreflect.ssrnat]
n:1011 [in mathcomp.algebra.ssrnum]
n:1012 [in mathcomp.ssreflect.ssrnat]
n:1013 [in mathcomp.algebra.ssralg]
n:1014 [in mathcomp.ssreflect.ssrnat]
n:1014 [in mathcomp.algebra.ssrnum]
n:1015 [in mathcomp.ssreflect.ssrnat]
n:1016 [in mathcomp.algebra.ssrnum]
n:1016 [in mathcomp.algebra.ssralg]
n:1016 [in mathcomp.algebra.mxalgebra]
n:1017 [in mathcomp.ssreflect.bigop]
n:1018 [in mathcomp.ssreflect.ssrnat]
n:1018 [in mathcomp.algebra.ssrnum]
n:1019 [in mathcomp.ssreflect.ssrnat]
n:1019 [in mathcomp.algebra.ssralg]
n:102 [in mathcomp.ssreflect.binomial]
n:102 [in mathcomp.ssreflect.path]
n:102 [in mathcomp.field.falgebra]
n:102 [in mathcomp.algebra.mxalgebra]
n:1020 [in mathcomp.algebra.ssrnum]
n:1022 [in mathcomp.ssreflect.ssrnat]
n:1023 [in mathcomp.ssreflect.ssrnat]
n:1023 [in mathcomp.algebra.ssrnum]
n:1023 [in mathcomp.algebra.mxalgebra]
n:1024 [in mathcomp.algebra.matrix]
n:1025 [in mathcomp.algebra.ssrnum]
n:1025 [in mathcomp.ssreflect.fintype]
n:1026 [in mathcomp.ssreflect.ssrnat]
n:1026 [in mathcomp.algebra.matrix]
n:1027 [in mathcomp.ssreflect.ssrnat]
n:1028 [in mathcomp.algebra.ssrnum]
n:1028 [in mathcomp.ssreflect.fintype]
n:1029 [in mathcomp.algebra.matrix]
n:103 [in mathcomp.ssreflect.div]
n:103 [in mathcomp.ssreflect.ssrnat]
n:103 [in mathcomp.fingroup.fingroup]
n:1030 [in mathcomp.ssreflect.ssrnat]
n:1030 [in mathcomp.algebra.ssrnum]
n:1030 [in mathcomp.algebra.mxalgebra]
n:1031 [in mathcomp.ssreflect.fintype]
n:1032 [in mathcomp.algebra.polydiv]
n:1032 [in mathcomp.ssreflect.ssrnat]
n:1032 [in mathcomp.algebra.matrix]
n:1032 [in mathcomp.algebra.ssrnum]
n:1034 [in mathcomp.ssreflect.ssrnat]
n:1034 [in mathcomp.algebra.mxalgebra]
n:1035 [in mathcomp.ssreflect.ssrnat]
n:1035 [in mathcomp.algebra.matrix]
n:1035 [in mathcomp.ssreflect.fintype]
n:1036 [in mathcomp.algebra.ssrnum]
n:1038 [in mathcomp.ssreflect.ssrnat]
n:1038 [in mathcomp.algebra.matrix]
n:1038 [in mathcomp.algebra.ssrnum]
n:1038 [in mathcomp.algebra.mxalgebra]
n:104 [in mathcomp.ssreflect.binomial]
n:104 [in mathcomp.algebra.ssrint]
n:104 [in mathcomp.ssreflect.prime]
n:1040 [in mathcomp.ssreflect.ssrnat]
n:1040 [in mathcomp.ssreflect.fintype]
n:1041 [in mathcomp.algebra.ssrnum]
n:1042 [in mathcomp.ssreflect.ssrnat]
n:1043 [in mathcomp.algebra.ssrnum]
n:1043 [in mathcomp.character.character]
n:1043 [in mathcomp.algebra.mxalgebra]
n:1044 [in mathcomp.ssreflect.ssrnat]
n:1044 [in mathcomp.algebra.matrix]
n:1046 [in mathcomp.ssreflect.ssrnat]
n:1046 [in mathcomp.algebra.ssrnum]
n:1046 [in mathcomp.ssreflect.fintype]
n:1046 [in mathcomp.algebra.mxalgebra]
n:1047 [in mathcomp.ssreflect.ssrnat]
n:1047 [in mathcomp.algebra.matrix]
n:1048 [in mathcomp.algebra.ssrnum]
n:1048 [in mathcomp.algebra.mxalgebra]
n:1049 [in mathcomp.ssreflect.fintype]
n:105 [in mathcomp.ssreflect.ssrnat]
n:105 [in mathcomp.field.algC]
n:105 [in mathcomp.solvable.extremal]
n:105 [in mathcomp.solvable.abelian]
n:1050 [in mathcomp.ssreflect.ssrnat]
n:1050 [in mathcomp.algebra.matrix]
n:1050 [in mathcomp.algebra.mxalgebra]
n:1051 [in mathcomp.ssreflect.ssrnat]
n:1051 [in mathcomp.algebra.ssrnum]
n:1052 [in mathcomp.ssreflect.fintype]
n:1053 [in mathcomp.algebra.ssrnum]
n:1053 [in mathcomp.algebra.vector]
n:1054 [in mathcomp.ssreflect.ssrnat]
n:1054 [in mathcomp.algebra.matrix]
n:1054 [in mathcomp.algebra.ssrnum]
n:1054 [in mathcomp.algebra.mxalgebra]
n:1055 [in mathcomp.ssreflect.fintype]
n:1056 [in mathcomp.ssreflect.ssrnat]
n:1057 [in mathcomp.algebra.ssrnum]
n:1058 [in mathcomp.ssreflect.ssrnat]
n:1058 [in mathcomp.ssreflect.fintype]
n:106 [in mathcomp.ssreflect.binomial]
n:106 [in mathcomp.ssreflect.div]
n:106 [in mathcomp.algebra.ssrint]
n:106 [in mathcomp.fingroup.fingroup]
n:106 [in mathcomp.solvable.abelian]
n:1060 [in mathcomp.ssreflect.ssrnat]
n:1060 [in mathcomp.ssreflect.fintype]
n:1060 [in mathcomp.algebra.mxalgebra]
n:1062 [in mathcomp.ssreflect.ssrnat]
n:1062 [in mathcomp.algebra.ssrnum]
n:1063 [in mathcomp.ssreflect.ssrnat]
n:1063 [in mathcomp.ssreflect.bigop]
n:1064 [in mathcomp.algebra.mxalgebra]
n:1065 [in mathcomp.algebra.matrix]
n:1065 [in mathcomp.ssreflect.fintype]
n:1066 [in mathcomp.ssreflect.ssrnat]
n:1067 [in mathcomp.ssreflect.ssrnat]
n:1067 [in mathcomp.algebra.ssrnum]
n:1067 [in mathcomp.ssreflect.fintype]
n:1068 [in mathcomp.algebra.matrix]
n:1068 [in mathcomp.ssreflect.bigop]
n:1068 [in mathcomp.algebra.mxalgebra]
n:107 [in mathcomp.ssreflect.ssrnat]
n:1070 [in mathcomp.ssreflect.ssrnat]
n:1070 [in mathcomp.algebra.matrix]
n:1070 [in mathcomp.ssreflect.fintype]
n:1071 [in mathcomp.algebra.poly]
n:1072 [in mathcomp.algebra.matrix]
n:1072 [in mathcomp.algebra.ssrnum]
n:1073 [in mathcomp.algebra.matrix]
n:1073 [in mathcomp.ssreflect.fintype]
n:1074 [in mathcomp.ssreflect.ssrnat]
n:1074 [in mathcomp.algebra.matrix]
n:1076 [in mathcomp.ssreflect.ssrnat]
n:1076 [in mathcomp.algebra.matrix]
n:1076 [in mathcomp.ssreflect.fintype]
n:1076 [in mathcomp.algebra.mxalgebra]
n:1077 [in mathcomp.algebra.ssrnum]
n:1078 [in mathcomp.ssreflect.ssrnat]
n:1078 [in mathcomp.algebra.matrix]
n:1078 [in mathcomp.algebra.ssrnum]
n:1079 [in mathcomp.ssreflect.fintype]
n:108 [in mathcomp.ssreflect.binomial]
n:108 [in mathcomp.fingroup.fingroup]
n:108 [in mathcomp.solvable.abelian]
n:108 [in mathcomp.algebra.mxalgebra]
n:1080 [in mathcomp.ssreflect.ssrnat]
n:1080 [in mathcomp.algebra.ssrnum]
n:1081 [in mathcomp.ssreflect.ssrnat]
n:1081 [in mathcomp.algebra.matrix]
n:1082 [in mathcomp.algebra.ssrnum]
n:1082 [in mathcomp.ssreflect.fintype]
n:1082 [in mathcomp.ssreflect.bigop]
n:1083 [in mathcomp.algebra.polydiv]
n:1084 [in mathcomp.ssreflect.ssrnat]
n:1084 [in mathcomp.algebra.matrix]
n:1084 [in mathcomp.algebra.ssrnum]
n:1084 [in mathcomp.ssreflect.fintype]
n:1084 [in mathcomp.algebra.mxalgebra]
n:1085 [in mathcomp.ssreflect.ssrnat]
n:1086 [in mathcomp.ssreflect.fintype]
n:1087 [in mathcomp.algebra.matrix]
n:1087 [in mathcomp.algebra.ssrnum]
n:1088 [in mathcomp.ssreflect.ssrnat]
n:1089 [in mathcomp.algebra.ssrnum]
n:109 [in mathcomp.ssreflect.ssrnat]
n:109 [in mathcomp.algebra.ssrint]
n:1090 [in mathcomp.ssreflect.ssrnat]
n:1090 [in mathcomp.algebra.ssrnum]
n:1090 [in mathcomp.ssreflect.fintype]
n:1092 [in mathcomp.ssreflect.ssrnat]
n:1094 [in mathcomp.ssreflect.ssrnat]
n:1094 [in mathcomp.algebra.matrix]
n:1094 [in mathcomp.ssreflect.fintype]
n:1095 [in mathcomp.algebra.mxalgebra]
n:1096 [in mathcomp.ssreflect.ssrnat]
n:1097 [in mathcomp.ssreflect.ssrnat]
n:1098 [in mathcomp.ssreflect.fintype]
n:11 [in mathcomp.ssreflect.binomial]
n:11 [in mathcomp.algebra.intdiv]
n:11 [in mathcomp.ssreflect.choice]
n:11 [in mathcomp.solvable.commutator]
n:11 [in mathcomp.character.mxrepresentation]
n:11 [in mathcomp.algebra.fraction]
n:110 [in mathcomp.algebra.archimedean]
n:110 [in mathcomp.ssreflect.binomial]
n:110 [in mathcomp.ssreflect.path]
n:1100 [in mathcomp.ssreflect.ssrnat]
n:1101 [in mathcomp.ssreflect.ssrnat]
n:1102 [in mathcomp.ssreflect.fintype]
n:1102 [in mathcomp.algebra.mxalgebra]
n:1104 [in mathcomp.ssreflect.ssrnat]
n:1105 [in mathcomp.ssreflect.fintype]
n:1106 [in mathcomp.ssreflect.ssrnat]
n:1107 [in mathcomp.algebra.mxalgebra]
n:1108 [in mathcomp.ssreflect.ssrnat]
n:1108 [in mathcomp.algebra.matrix]
n:1108 [in mathcomp.ssreflect.fintype]
n:1109 [in mathcomp.ssreflect.seq]
n:1109 [in mathcomp.ssreflect.ssrnat]
n:111 [in mathcomp.ssreflect.div]
n:111 [in mathcomp.algebra.intdiv]
n:111 [in mathcomp.ssreflect.ssrnat]
n:111 [in mathcomp.ssreflect.finfun]
n:111 [in mathcomp.algebra.ssrint]
n:111 [in mathcomp.character.mxabelem]
n:111 [in mathcomp.solvable.extremal]
n:1110 [in mathcomp.algebra.mxalgebra]
n:1111 [in mathcomp.ssreflect.seq]
n:1111 [in mathcomp.algebra.poly]
n:1112 [in mathcomp.ssreflect.ssrnat]
n:1114 [in mathcomp.ssreflect.ssrnat]
n:1115 [in mathcomp.ssreflect.fintype]
n:1115 [in mathcomp.algebra.mxalgebra]
n:1116 [in mathcomp.ssreflect.ssrnat]
n:1118 [in mathcomp.ssreflect.ssrnat]
n:1118 [in mathcomp.ssreflect.fintype]
n:112 [in mathcomp.ssreflect.binomial]
n:112 [in mathcomp.fingroup.fingroup]
n:112 [in mathcomp.solvable.abelian]
n:112 [in mathcomp.solvable.burnside_app]
n:1120 [in mathcomp.ssreflect.ssrnat]
n:1121 [in mathcomp.ssreflect.ssrnat]
n:1121 [in mathcomp.algebra.mxalgebra]
n:1123 [in mathcomp.ssreflect.seq]
n:1124 [in mathcomp.ssreflect.ssrnat]
n:1125 [in mathcomp.ssreflect.ssrnat]
n:1125 [in mathcomp.ssreflect.fintype]
n:1126 [in mathcomp.algebra.mxalgebra]
n:1128 [in mathcomp.ssreflect.ssrnat]
n:1128 [in mathcomp.ssreflect.fintype]
n:113 [in mathcomp.ssreflect.binomial]
n:113 [in mathcomp.ssreflect.seq]
n:113 [in mathcomp.ssreflect.ssrnat]
n:113 [in mathcomp.ssreflect.prime]
n:113 [in mathcomp.solvable.nilpotent]
n:1130 [in mathcomp.ssreflect.ssrnat]
n:1131 [in mathcomp.algebra.poly]
n:1131 [in mathcomp.algebra.mxalgebra]
n:1132 [in mathcomp.ssreflect.ssrnat]
n:1132 [in mathcomp.ssreflect.fintype]
n:1134 [in mathcomp.ssreflect.ssrnat]
n:1134 [in mathcomp.algebra.matrix]
n:1135 [in mathcomp.ssreflect.fintype]
n:1136 [in mathcomp.ssreflect.ssrnat]
n:1136 [in mathcomp.algebra.mxalgebra]
n:1137 [in mathcomp.ssreflect.ssrnat]
n:1137 [in mathcomp.ssreflect.fintype]
n:114 [in mathcomp.ssreflect.binomial]
n:114 [in mathcomp.algebra.intdiv]
n:114 [in mathcomp.character.mxabelem]
n:114 [in mathcomp.solvable.abelian]
n:114 [in mathcomp.field.falgebra]
n:114 [in mathcomp.algebra.qpoly]
n:1140 [in mathcomp.ssreflect.ssrnat]
n:1141 [in mathcomp.ssreflect.ssrnat]
n:1141 [in mathcomp.algebra.mxalgebra]
n:1144 [in mathcomp.ssreflect.ssrnat]
n:1145 [in mathcomp.ssreflect.ssrnat]
n:1146 [in mathcomp.algebra.matrix]
n:1146 [in mathcomp.algebra.mxalgebra]
n:1147 [in mathcomp.ssreflect.ssrnat]
n:1149 [in mathcomp.ssreflect.ssrnat]
n:1149 [in mathcomp.algebra.matrix]
n:115 [in mathcomp.ssreflect.ssrnat]
n:115 [in mathcomp.field.algC]
n:115 [in mathcomp.algebra.ssrint]
n:1151 [in mathcomp.ssreflect.ssrnat]
n:1151 [in mathcomp.algebra.mxalgebra]
n:1153 [in mathcomp.ssreflect.ssrnat]
n:1154 [in mathcomp.ssreflect.ssrnat]
n:1154 [in mathcomp.algebra.ssralg]
n:1156 [in mathcomp.ssreflect.ssrnat]
n:1156 [in mathcomp.algebra.mxalgebra]
n:1157 [in mathcomp.algebra.ssralg]
n:1158 [in mathcomp.ssreflect.ssrnat]
n:1158 [in mathcomp.algebra.matrix]
n:116 [in mathcomp.ssreflect.div]
n:116 [in mathcomp.ssreflect.ssrnat]
n:116 [in mathcomp.ssreflect.bigop]
n:1160 [in mathcomp.ssreflect.ssrnat]
n:1161 [in mathcomp.algebra.mxalgebra]
n:1162 [in mathcomp.algebra.matrix]
n:1164 [in mathcomp.ssreflect.ssrnat]
n:1165 [in mathcomp.algebra.matrix]
n:1165 [in mathcomp.algebra.mxalgebra]
n:1166 [in mathcomp.ssreflect.seq]
n:1169 [in mathcomp.ssreflect.ssrnat]
n:1169 [in mathcomp.algebra.matrix]
n:1169 [in mathcomp.algebra.mxalgebra]
n:117 [in mathcomp.ssreflect.binomial]
n:117 [in mathcomp.algebra.intdiv]
n:117 [in mathcomp.field.algC]
n:117 [in mathcomp.field.closed_field]
n:117 [in mathcomp.algebra.ssrint]
n:117 [in mathcomp.algebra.mxalgebra]
n:1172 [in mathcomp.ssreflect.ssrnat]
n:1173 [in mathcomp.algebra.mxalgebra]
n:1174 [in mathcomp.algebra.matrix]
n:1177 [in mathcomp.ssreflect.ssrnat]
n:1177 [in mathcomp.algebra.matrix]
n:1177 [in mathcomp.algebra.mxalgebra]
n:1179 [in mathcomp.ssreflect.ssrnat]
n:118 [in mathcomp.ssreflect.seq]
n:118 [in mathcomp.character.mxabelem]
n:1181 [in mathcomp.algebra.mxalgebra]
n:1182 [in mathcomp.ssreflect.ssrnat]
n:1184 [in mathcomp.ssreflect.ssrnat]
n:1186 [in mathcomp.algebra.matrix]
n:1187 [in mathcomp.algebra.poly]
n:1187 [in mathcomp.algebra.mxalgebra]
n:1188 [in mathcomp.ssreflect.ssrnat]
n:1189 [in mathcomp.algebra.poly]
n:119 [in mathcomp.algebra.archimedean]
n:119 [in mathcomp.ssreflect.div]
n:119 [in mathcomp.ssreflect.ssrnat]
n:119 [in mathcomp.field.algC]
n:119 [in mathcomp.field.closed_field]
n:119 [in mathcomp.algebra.ssrint]
n:1191 [in mathcomp.algebra.matrix]
n:1192 [in mathcomp.algebra.mxalgebra]
n:1194 [in mathcomp.algebra.matrix]
n:1195 [in mathcomp.algebra.poly]
n:1197 [in mathcomp.algebra.mxalgebra]
n:12 [in mathcomp.field.cyclotomic]
n:12 [in mathcomp.algebra.ssrint]
n:12 [in mathcomp.field.finfield]
n:12 [in mathcomp.ssreflect.prime]
n:12 [in mathcomp.ssreflect.fingraph]
n:12 [in mathcomp.solvable.nilpotent]
n:120 [in mathcomp.ssreflect.prime]
n:1202 [in mathcomp.algebra.mxalgebra]
n:1203 [in mathcomp.algebra.matrix]
n:1207 [in mathcomp.algebra.mxalgebra]
n:1208 [in mathcomp.algebra.matrix]
n:121 [in mathcomp.ssreflect.binomial]
n:121 [in mathcomp.algebra.intdiv]
n:121 [in mathcomp.algebra.ssrint]
n:121 [in mathcomp.character.mxabelem]
n:121 [in mathcomp.algebra.mxalgebra]
n:1211 [in mathcomp.algebra.matrix]
n:1211 [in mathcomp.algebra.mxalgebra]
n:1212 [in mathcomp.ssreflect.ssrnat]
n:1214 [in mathcomp.algebra.matrix]
n:1217 [in mathcomp.algebra.matrix]
n:1217 [in mathcomp.algebra.mxalgebra]
n:122 [in mathcomp.fingroup.perm]
n:1221 [in mathcomp.ssreflect.ssrnat]
n:1223 [in mathcomp.algebra.mxalgebra]
n:123 [in mathcomp.ssreflect.ssrnat]
n:123 [in mathcomp.algebra.ssrint]
n:1233 [in mathcomp.algebra.mxalgebra]
n:1234 [in mathcomp.algebra.poly]
n:1236 [in mathcomp.algebra.poly]
n:124 [in mathcomp.fingroup.fingroup]
n:1245 [in mathcomp.algebra.ssralg]
n:1246 [in mathcomp.algebra.mxalgebra]
n:125 [in mathcomp.algebra.intdiv]
n:125 [in mathcomp.ssreflect.seq]
n:125 [in mathcomp.ssreflect.ssrnat]
n:125 [in mathcomp.algebra.mxpoly]
n:125 [in mathcomp.algebra.ssrint]
n:125 [in mathcomp.algebra.mxalgebra]
n:1251 [in mathcomp.algebra.ssralg]
n:1258 [in mathcomp.algebra.matrix]
n:1259 [in mathcomp.algebra.mxalgebra]
n:126 [in mathcomp.ssreflect.ssrnat]
n:1261 [in mathcomp.algebra.matrix]
n:1263 [in mathcomp.algebra.matrix]
n:1264 [in mathcomp.algebra.mxalgebra]
n:1266 [in mathcomp.algebra.mxalgebra]
n:1268 [in mathcomp.algebra.matrix]
n:127 [in mathcomp.ssreflect.binomial]
n:127 [in mathcomp.field.closed_field]
n:127 [in mathcomp.algebra.ssrint]
n:127 [in mathcomp.solvable.nilpotent]
n:127 [in mathcomp.field.falgebra]
n:1270 [in mathcomp.algebra.matrix]
n:1270 [in mathcomp.algebra.mxalgebra]
n:1272 [in mathcomp.algebra.matrix]
n:1273 [in mathcomp.algebra.mxalgebra]
n:1274 [in mathcomp.algebra.ssralg]
n:1276 [in mathcomp.algebra.matrix]
n:128 [in mathcomp.algebra.intdiv]
n:128 [in mathcomp.ssreflect.seq]
n:128 [in mathcomp.field.separable]
n:128 [in mathcomp.algebra.ssrint]
n:128 [in mathcomp.fingroup.fingroup]
n:128 [in mathcomp.algebra.mxalgebra]
n:1282 [in mathcomp.algebra.ssrnum]
n:1283 [in mathcomp.algebra.mxalgebra]
n:1284 [in mathcomp.algebra.ssrnum]
n:1286 [in mathcomp.algebra.ssrnum]
n:1287 [in mathcomp.algebra.matrix]
n:1288 [in mathcomp.algebra.ssrnum]
n:129 [in mathcomp.ssreflect.seq]
n:129 [in mathcomp.algebra.ssrint]
n:129 [in mathcomp.ssreflect.prime]
n:129 [in mathcomp.ssreflect.fingraph]
n:1290 [in mathcomp.algebra.matrix]
n:1290 [in mathcomp.algebra.ssrnum]
n:1292 [in mathcomp.algebra.matrix]
n:1292 [in mathcomp.algebra.ssrnum]
n:1292 [in mathcomp.algebra.poly]
n:1292 [in mathcomp.algebra.mxalgebra]
n:1294 [in mathcomp.algebra.ssrnum]
n:1294 [in mathcomp.algebra.mxalgebra]
n:1296 [in mathcomp.algebra.ssrnum]
n:1297 [in mathcomp.algebra.matrix]
n:1297 [in mathcomp.algebra.poly]
n:1297 [in mathcomp.algebra.mxalgebra]
n:1298 [in mathcomp.character.mxrepresentation]
n:1299 [in mathcomp.algebra.matrix]
n:13 [in mathcomp.algebra.intdiv]
n:13 [in mathcomp.ssreflect.ssrnat]
n:13 [in mathcomp.solvable.commutator]
n:13 [in mathcomp.algebra.matrix]
n:13 [in mathcomp.algebra.ssrnum]
n:13 [in mathcomp.algebra.ssralg]
n:13 [in mathcomp.algebra.qpoly]
n:130 [in mathcomp.ssreflect.seq]
n:130 [in mathcomp.ssreflect.choice]
n:130 [in mathcomp.ssreflect.ssrnat]
n:130 [in mathcomp.fingroup.fingroup]
n:130 [in mathcomp.solvable.nilpotent]
n:1300 [in mathcomp.algebra.mxalgebra]
n:1301 [in mathcomp.algebra.matrix]
n:1302 [in mathcomp.algebra.ssralg]
n:1302 [in mathcomp.algebra.poly]
n:1302 [in mathcomp.ssreflect.bigop]
n:1303 [in mathcomp.algebra.mxalgebra]
n:1305 [in mathcomp.algebra.matrix]
n:1306 [in mathcomp.algebra.mxalgebra]
n:1307 [in mathcomp.algebra.matrix]
n:1308 [in mathcomp.algebra.ssralg]
n:131 [in mathcomp.algebra.intdiv]
n:131 [in mathcomp.algebra.mxalgebra]
n:1311 [in mathcomp.algebra.matrix]
n:1313 [in mathcomp.algebra.matrix]
n:1314 [in mathcomp.algebra.matrix]
n:1316 [in mathcomp.algebra.matrix]
n:1319 [in mathcomp.algebra.matrix]
n:132 [in mathcomp.ssreflect.ssrnat]
n:1320 [in mathcomp.algebra.ssrnum]
n:1322 [in mathcomp.algebra.ssralg]
n:1323 [in mathcomp.algebra.ssrnum]
n:1324 [in mathcomp.algebra.matrix]
n:1324 [in mathcomp.algebra.ssrnum]
n:1326 [in mathcomp.algebra.matrix]
n:133 [in mathcomp.fingroup.fingroup]
n:1338 [in mathcomp.algebra.ssrnum]
n:134 [in mathcomp.algebra.intdiv]
n:134 [in mathcomp.ssreflect.ssrnat]
n:134 [in mathcomp.algebra.mxalgebra]
n:1340 [in mathcomp.ssreflect.bigop]
n:135 [in mathcomp.algebra.archimedean]
n:135 [in mathcomp.ssreflect.div]
n:135 [in mathcomp.field.algC]
N:135 [in mathcomp.solvable.gseries]
n:1350 [in mathcomp.ssreflect.bigop]
n:136 [in mathcomp.ssreflect.seq]
n:137 [in mathcomp.field.separable]
n:137 [in mathcomp.ssreflect.bigop]
n:137 [in mathcomp.algebra.mxalgebra]
n:1371 [in mathcomp.algebra.ssralg]
n:1373 [in mathcomp.ssreflect.seq]
n:1373 [in mathcomp.ssreflect.finset]
n:1377 [in mathcomp.ssreflect.seq]
n:138 [in mathcomp.ssreflect.ssrnat]
n:1383 [in mathcomp.ssreflect.seq]
n:1385 [in mathcomp.algebra.matrix]
n:1386 [in mathcomp.ssreflect.seq]
n:1387 [in mathcomp.algebra.matrix]
n:1389 [in mathcomp.ssreflect.seq]
n:139 [in mathcomp.ssreflect.seq]
n:139 [in mathcomp.solvable.commutator]
n:139 [in mathcomp.ssreflect.path]
n:139 [in mathcomp.ssreflect.bigop]
n:139 [in mathcomp.algebra.qpoly]
n:1390 [in mathcomp.algebra.matrix]
n:1392 [in mathcomp.ssreflect.seq]
n:1393 [in mathcomp.algebra.matrix]
n:1395 [in mathcomp.ssreflect.seq]
n:1396 [in mathcomp.algebra.matrix]
n:1398 [in mathcomp.ssreflect.seq]
n:1399 [in mathcomp.algebra.matrix]
n:14 [in mathcomp.ssreflect.ssrnat]
n:14 [in mathcomp.algebra.ssrint]
n:140 [in mathcomp.ssreflect.tuple]
n:1400 [in mathcomp.ssreflect.seq]
n:1403 [in mathcomp.ssreflect.seq]
n:1405 [in mathcomp.algebra.matrix]
n:1408 [in mathcomp.algebra.matrix]
n:141 [in mathcomp.solvable.commutator]
n:141 [in mathcomp.field.closed_field]
n:141 [in mathcomp.algebra.ssrint]
n:141 [in mathcomp.algebra.mxalgebra]
n:1410 [in mathcomp.ssreflect.seq]
n:1411 [in mathcomp.algebra.matrix]
n:1412 [in mathcomp.ssreflect.seq]
n:1414 [in mathcomp.ssreflect.seq]
n:1415 [in mathcomp.algebra.matrix]
n:1418 [in mathcomp.ssreflect.seq]
n:142 [in mathcomp.ssreflect.seq]
n:142 [in mathcomp.ssreflect.ssrnat]
n:142 [in mathcomp.field.separable]
n:1421 [in mathcomp.character.mxrepresentation]
n:1424 [in mathcomp.ssreflect.seq]
n:1426 [in mathcomp.algebra.matrix]
n:1429 [in mathcomp.algebra.matrix]
n:143 [in mathcomp.solvable.commutator]
n:143 [in mathcomp.field.separable]
n:143 [in mathcomp.ssreflect.prime]
n:1431 [in mathcomp.algebra.matrix]
n:1433 [in mathcomp.algebra.matrix]
n:1438 [in mathcomp.ssreflect.seq]
n:1438 [in mathcomp.algebra.ssralg]
n:144 [in mathcomp.ssreflect.tuple]
n:1440 [in mathcomp.ssreflect.seq]
n:1441 [in mathcomp.algebra.matrix]
n:145 [in mathcomp.ssreflect.binomial]
n:145 [in mathcomp.solvable.commutator]
n:145 [in mathcomp.algebra.ssrint]
n:145 [in mathcomp.algebra.mxalgebra]
n:1451 [in mathcomp.algebra.ssralg]
n:1452 [in mathcomp.algebra.matrix]
n:1453 [in mathcomp.algebra.matrix]
n:146 [in mathcomp.algebra.intdiv]
n:146 [in mathcomp.ssreflect.ssrnat]
n:146 [in mathcomp.ssreflect.prime]
n:1468 [in mathcomp.ssreflect.seq]
n:1468 [in mathcomp.ssreflect.bigop]
n:147 [in mathcomp.algebra.archimedean]
n:147 [in mathcomp.ssreflect.div]
n:147 [in mathcomp.solvable.commutator]
n:147 [in mathcomp.ssreflect.path]
n:1471 [in mathcomp.ssreflect.seq]
n:1472 [in mathcomp.algebra.ssralg]
n:148 [in mathcomp.ssreflect.seq]
n:148 [in mathcomp.algebra.ssrint]
n:148 [in mathcomp.ssreflect.prime]
n:148 [in mathcomp.algebra.mxalgebra]
n:1480 [in mathcomp.ssreflect.seq]
n:1482 [in mathcomp.algebra.ssralg]
n:1484 [in mathcomp.ssreflect.seq]
n:1484 [in mathcomp.algebra.ssralg]
n:1486 [in mathcomp.algebra.matrix]
n:1486 [in mathcomp.algebra.ssralg]
n:1488 [in mathcomp.algebra.ssralg]
n:1489 [in mathcomp.ssreflect.seq]
n:149 [in mathcomp.solvable.commutator]
n:1493 [in mathcomp.ssreflect.seq]
n:1496 [in mathcomp.ssreflect.seq]
n:15 [in mathcomp.algebra.archimedean]
n:15 [in mathcomp.algebra.intdiv]
n:15 [in mathcomp.ssreflect.choice]
n:15 [in mathcomp.algebra.qpoly]
n:15 [in mathcomp.algebra.mxalgebra]
n:150 [in mathcomp.ssreflect.div]
n:150 [in mathcomp.ssreflect.prime]
n:1501 [in mathcomp.algebra.matrix]
n:1502 [in mathcomp.algebra.mxalgebra]
n:1506 [in mathcomp.algebra.matrix]
n:1506 [in mathcomp.algebra.ssrnum]
n:151 [in mathcomp.ssreflect.seq]
n:151 [in mathcomp.ssreflect.ssrnat]
n:151 [in mathcomp.ssreflect.prime]
n:151 [in mathcomp.solvable.nilpotent]
n:151 [in mathcomp.algebra.mxalgebra]
n:1510 [in mathcomp.algebra.matrix]
n:1514 [in mathcomp.algebra.matrix]
n:1514 [in mathcomp.algebra.mxalgebra]
n:1517 [in mathcomp.algebra.matrix]
n:1517 [in mathcomp.algebra.mxalgebra]
n:1518 [in mathcomp.algebra.matrix]
n:152 [in mathcomp.algebra.intdiv]
n:152 [in mathcomp.algebra.ssrint]
n:152 [in mathcomp.ssreflect.path]
n:152 [in mathcomp.ssreflect.prime]
n:152 [in mathcomp.solvable.nilpotent]
n:1520 [in mathcomp.algebra.matrix]
n:1523 [in mathcomp.algebra.matrix]
n:1528 [in mathcomp.algebra.mxalgebra]
n:153 [in mathcomp.ssreflect.div]
n:153 [in mathcomp.ssreflect.ssrnat]
n:153 [in mathcomp.ssreflect.prime]
n:153 [in mathcomp.solvable.nilpotent]
n:1533 [in mathcomp.algebra.matrix]
n:1537 [in mathcomp.ssreflect.seq]
n:154 [in mathcomp.solvable.commutator]
n:154 [in mathcomp.ssreflect.prime]
n:154 [in mathcomp.solvable.center]
n:154 [in mathcomp.algebra.ssralg]
n:154 [in mathcomp.solvable.nilpotent]
n:154 [in mathcomp.algebra.mxalgebra]
n:1540 [in mathcomp.algebra.matrix]
n:1542 [in mathcomp.algebra.mxalgebra]
n:1544 [in mathcomp.algebra.matrix]
n:1546 [in mathcomp.algebra.ssralg]
n:1548 [in mathcomp.algebra.matrix]
n:155 [in mathcomp.ssreflect.binomial]
n:155 [in mathcomp.algebra.intdiv]
n:155 [in mathcomp.ssreflect.ssrnat]
n:155 [in mathcomp.algebra.ssrint]
n:155 [in mathcomp.ssreflect.path]
n:155 [in mathcomp.ssreflect.prime]
n:155 [in mathcomp.algebra.ssralg]
n:1551 [in mathcomp.algebra.mxalgebra]
n:1553 [in mathcomp.ssreflect.seq]
n:1554 [in mathcomp.algebra.matrix]
n:1556 [in mathcomp.ssreflect.seq]
n:1559 [in mathcomp.algebra.mxalgebra]
n:156 [in mathcomp.ssreflect.seq]
n:156 [in mathcomp.solvable.commutator]
n:156 [in mathcomp.ssreflect.prime]
n:1560 [in mathcomp.algebra.matrix]
n:1565 [in mathcomp.ssreflect.finset]
n:1567 [in mathcomp.ssreflect.finset]
n:1568 [in mathcomp.ssreflect.finset]
n:157 [in mathcomp.ssreflect.div]
n:157 [in mathcomp.ssreflect.ssrnat]
n:157 [in mathcomp.field.algC]
n:157 [in mathcomp.ssreflect.prime]
n:157 [in mathcomp.solvable.center]
n:1570 [in mathcomp.algebra.mxalgebra]
n:1574 [in mathcomp.algebra.matrix]
n:1578 [in mathcomp.algebra.mxalgebra]
n:158 [in mathcomp.ssreflect.seq]
n:158 [in mathcomp.field.closed_field]
n:158 [in mathcomp.ssreflect.prime]
n:158 [in mathcomp.solvable.center]
n:158 [in mathcomp.algebra.mxalgebra]
n:1580 [in mathcomp.algebra.mxalgebra]
n:1582 [in mathcomp.algebra.mxalgebra]
n:1586 [in mathcomp.algebra.mxalgebra]
n:1588 [in mathcomp.algebra.matrix]
n:159 [in mathcomp.ssreflect.choice]
n:159 [in mathcomp.solvable.commutator]
n:159 [in mathcomp.ssreflect.prime]
n:159 [in mathcomp.solvable.center]
n:1592 [in mathcomp.algebra.matrix]
n:1592 [in mathcomp.algebra.mxalgebra]
n:1596 [in mathcomp.algebra.matrix]
n:1598 [in mathcomp.algebra.mxalgebra]
n:16 [in mathcomp.algebra.archimedean]
n:16 [in mathcomp.algebra.intdiv]
n:16 [in mathcomp.ssreflect.ssrnat]
n:16 [in mathcomp.ssreflect.ssrAC]
n:16 [in mathcomp.solvable.cyclic]
n:16 [in mathcomp.algebra.fraction]
n:160 [in mathcomp.algebra.intdiv]
n:160 [in mathcomp.ssreflect.prime]
n:160 [in mathcomp.algebra.rat]
n:1600 [in mathcomp.algebra.matrix]
n:1605 [in mathcomp.algebra.mxalgebra]
n:1606 [in mathcomp.algebra.matrix]
n:161 [in mathcomp.ssreflect.div]
n:161 [in mathcomp.ssreflect.seq]
n:161 [in mathcomp.ssreflect.ssrnat]
n:161 [in mathcomp.ssreflect.prime]
n:161 [in mathcomp.algebra.rat]
N:161 [in mathcomp.algebra.mxalgebra]
n:1612 [in mathcomp.algebra.ssralg]
n:1615 [in mathcomp.algebra.matrix]
n:1617 [in mathcomp.algebra.ssralg]
n:162 [in mathcomp.algebra.rat]
n:1622 [in mathcomp.algebra.matrix]
n:1622 [in mathcomp.algebra.mxalgebra]
n:1624 [in mathcomp.ssreflect.finset]
n:1628 [in mathcomp.algebra.mxalgebra]
n:1629 [in mathcomp.algebra.matrix]
n:163 [in mathcomp.ssreflect.ssrnat]
n:163 [in mathcomp.solvable.commutator]
n:163 [in mathcomp.algebra.ssralg]
n:1636 [in mathcomp.algebra.matrix]
n:1636 [in mathcomp.algebra.mxalgebra]
n:164 [in mathcomp.ssreflect.div]
n:164 [in mathcomp.algebra.ssrint]
n:164 [in mathcomp.fingroup.fingroup]
n:164 [in mathcomp.ssreflect.prime]
n:164 [in mathcomp.algebra.mxalgebra]
n:1641 [in mathcomp.algebra.mxalgebra]
n:1642 [in mathcomp.algebra.matrix]
n:1646 [in mathcomp.ssreflect.order]
n:1649 [in mathcomp.algebra.matrix]
n:1649 [in mathcomp.algebra.mxalgebra]
n:165 [in mathcomp.ssreflect.choice]
n:165 [in mathcomp.algebra.rat]
n:1655 [in mathcomp.algebra.matrix]
n:1659 [in mathcomp.ssreflect.order]
n:1659 [in mathcomp.algebra.mxalgebra]
n:166 [in mathcomp.solvable.commutator]
n:166 [in mathcomp.ssreflect.prime]
N:166 [in mathcomp.algebra.mxalgebra]
n:1660 [in mathcomp.algebra.matrix]
n:1664 [in mathcomp.algebra.matrix]
n:1668 [in mathcomp.algebra.matrix]
n:1668 [in mathcomp.algebra.mxalgebra]
n:167 [in mathcomp.ssreflect.div]
n:167 [in mathcomp.solvable.commutator]
n:167 [in mathcomp.field.closed_field]
N:167 [in mathcomp.solvable.frobenius]
n:167 [in mathcomp.ssreflect.prime]
n:1671 [in mathcomp.algebra.matrix]
n:1672 [in mathcomp.ssreflect.order]
n:1675 [in mathcomp.algebra.matrix]
n:1675 [in mathcomp.algebra.mxalgebra]
n:1679 [in mathcomp.algebra.matrix]
n:168 [in mathcomp.ssreflect.ssrnat]
n:168 [in mathcomp.solvable.commutator]
n:168 [in mathcomp.algebra.ssrint]
n:168 [in mathcomp.algebra.ssrnum]
n:168 [in mathcomp.algebra.mxalgebra]
n:1683 [in mathcomp.ssreflect.seq]
n:1685 [in mathcomp.algebra.matrix]
n:1687 [in mathcomp.ssreflect.order]
n:169 [in mathcomp.ssreflect.binomial]
n:169 [in mathcomp.ssreflect.choice]
n:169 [in mathcomp.solvable.commutator]
N:169 [in mathcomp.solvable.sylow]
n:169 [in mathcomp.ssreflect.prime]
n:169 [in mathcomp.algebra.rat]
n:169 [in mathcomp.solvable.nilpotent]
n:1691 [in mathcomp.algebra.matrix]
n:1693 [in mathcomp.algebra.mxalgebra]
n:1697 [in mathcomp.algebra.matrix]
n:1699 [in mathcomp.algebra.matrix]
n:17 [in mathcomp.ssreflect.seq]
n:17 [in mathcomp.algebra.zmodp]
n:17 [in mathcomp.field.algebraics_fundamentals]
n:17 [in mathcomp.ssreflect.prime]
n:17 [in mathcomp.solvable.abelian]
n:17 [in mathcomp.algebra.qpoly]
n:170 [in mathcomp.ssreflect.div]
n:170 [in mathcomp.algebra.ssrint]
n:170 [in mathcomp.ssreflect.fingraph]
n:1700 [in mathcomp.algebra.mxalgebra]
n:1702 [in mathcomp.ssreflect.order]
n:1703 [in mathcomp.algebra.matrix]
n:1707 [in mathcomp.algebra.matrix]
n:1707 [in mathcomp.algebra.mxalgebra]
n:171 [in mathcomp.ssreflect.ssrnat]
n:171 [in mathcomp.algebra.ssrint]
n:171 [in mathcomp.solvable.abelian]
n:171 [in mathcomp.solvable.nilpotent]
n:171 [in mathcomp.algebra.mxalgebra]
n:1711 [in mathcomp.algebra.matrix]
n:1712 [in mathcomp.ssreflect.seq]
n:1713 [in mathcomp.ssreflect.order]
n:1713 [in mathcomp.algebra.mxalgebra]
n:1716 [in mathcomp.algebra.matrix]
n:1717 [in mathcomp.algebra.mxalgebra]
n:172 [in mathcomp.solvable.commutator]
n:1720 [in mathcomp.algebra.matrix]
n:1721 [in mathcomp.algebra.mxalgebra]
n:1722 [in mathcomp.algebra.matrix]
n:1724 [in mathcomp.ssreflect.order]
n:1725 [in mathcomp.algebra.matrix]
n:1726 [in mathcomp.algebra.mxalgebra]
n:1727 [in mathcomp.algebra.matrix]
n:173 [in mathcomp.ssreflect.binomial]
n:173 [in mathcomp.algebra.ssrint]
n:173 [in mathcomp.ssreflect.prime]
n:173 [in mathcomp.solvable.nilpotent]
n:1730 [in mathcomp.algebra.matrix]
n:1731 [in mathcomp.algebra.matrix]
n:1731 [in mathcomp.algebra.mxalgebra]
n:1734 [in mathcomp.algebra.matrix]
n:1735 [in mathcomp.algebra.mxalgebra]
n:1737 [in mathcomp.ssreflect.order]
n:1739 [in mathcomp.algebra.matrix]
n:174 [in mathcomp.algebra.intdiv]
n:174 [in mathcomp.algebra.polydiv]
n:174 [in mathcomp.ssreflect.ssrnat]
n:174 [in mathcomp.algebra.mxpoly]
n:174 [in mathcomp.character.character]
n:1741 [in mathcomp.algebra.mxalgebra]
n:1742 [in mathcomp.algebra.matrix]
n:1744 [in mathcomp.algebra.matrix]
n:1744 [in mathcomp.algebra.mxalgebra]
n:1745 [in mathcomp.algebra.matrix]
n:1747 [in mathcomp.algebra.mxalgebra]
n:1748 [in mathcomp.algebra.matrix]
n:175 [in mathcomp.solvable.abelian]
n:175 [in mathcomp.algebra.rat]
n:175 [in mathcomp.algebra.vector]
n:175 [in mathcomp.algebra.mxalgebra]
n:1750 [in mathcomp.algebra.matrix]
n:1751 [in mathcomp.ssreflect.seq]
n:1754 [in mathcomp.algebra.matrix]
n:1756 [in mathcomp.algebra.mxalgebra]
n:1759 [in mathcomp.algebra.matrix]
n:176 [in mathcomp.algebra.polydiv]
n:176 [in mathcomp.ssreflect.prime]
n:176 [in mathcomp.solvable.nilpotent]
n:1761 [in mathcomp.algebra.matrix]
n:1762 [in mathcomp.algebra.mxalgebra]
n:1766 [in mathcomp.algebra.matrix]
n:1767 [in mathcomp.algebra.mxalgebra]
n:1769 [in mathcomp.algebra.matrix]
n:177 [in mathcomp.ssreflect.div]
n:177 [in mathcomp.algebra.intdiv]
n:177 [in mathcomp.ssreflect.ssrnat]
n:177 [in mathcomp.algebra.ssrint]
n:177 [in mathcomp.character.character]
n:1771 [in mathcomp.algebra.mxalgebra]
n:1772 [in mathcomp.algebra.matrix]
n:1774 [in mathcomp.algebra.mxalgebra]
n:1775 [in mathcomp.algebra.matrix]
n:1778 [in mathcomp.algebra.matrix]
n:1779 [in mathcomp.algebra.mxalgebra]
n:178 [in mathcomp.algebra.vector]
n:178 [in mathcomp.solvable.nilpotent]
n:1783 [in mathcomp.algebra.matrix]
n:1784 [in mathcomp.algebra.mxalgebra]
n:1785 [in mathcomp.algebra.ssralg]
n:1787 [in mathcomp.algebra.matrix]
n:1787 [in mathcomp.algebra.mxalgebra]
n:1789 [in mathcomp.algebra.ssralg]
n:179 [in mathcomp.field.closed_field]
n:179 [in mathcomp.algebra.ssrint]
n:179 [in mathcomp.ssreflect.prime]
n:179 [in mathcomp.field.algnum]
n:179 [in mathcomp.solvable.abelian]
n:179 [in mathcomp.character.character]
n:179 [in mathcomp.ssreflect.fintype]
n:1790 [in mathcomp.algebra.matrix]
n:1790 [in mathcomp.algebra.ssralg]
n:1791 [in mathcomp.algebra.mxalgebra]
n:1792 [in mathcomp.algebra.ssralg]
n:1793 [in mathcomp.algebra.matrix]
n:1793 [in mathcomp.algebra.ssralg]
n:1796 [in mathcomp.algebra.mxalgebra]
n:18 [in mathcomp.algebra.archimedean]
n:18 [in mathcomp.ssreflect.ssrnat]
n:18 [in mathcomp.ssreflect.ssrAC]
n:180 [in mathcomp.algebra.intdiv]
n:180 [in mathcomp.algebra.vector]
n:180 [in mathcomp.solvable.nilpotent]
n:180 [in mathcomp.algebra.mxalgebra]
n:1801 [in mathcomp.algebra.matrix]
n:1804 [in mathcomp.algebra.ssralg]
n:181 [in mathcomp.algebra.ssrint]
n:181 [in mathcomp.field.falgebra]
n:1810 [in mathcomp.algebra.ssrnum]
n:1816 [in mathcomp.algebra.matrix]
n:1817 [in mathcomp.algebra.mxalgebra]
n:182 [in mathcomp.fingroup.gproduct]
n:182 [in mathcomp.solvable.nilpotent]
n:1823 [in mathcomp.algebra.mxalgebra]
n:1826 [in mathcomp.algebra.mxalgebra]
n:1829 [in mathcomp.algebra.mxalgebra]
n:183 [in mathcomp.algebra.intdiv]
n:183 [in mathcomp.ssreflect.ssrnat]
n:183 [in mathcomp.solvable.cyclic]
n:183 [in mathcomp.algebra.rat]
n:1832 [in mathcomp.algebra.mxalgebra]
n:1835 [in mathcomp.algebra.mxalgebra]
n:1838 [in mathcomp.algebra.mxalgebra]
n:184 [in mathcomp.algebra.polydiv]
n:184 [in mathcomp.algebra.mxpoly]
n:184 [in mathcomp.algebra.ssrint]
n:184 [in mathcomp.algebra.ssrnum]
n:184 [in mathcomp.ssreflect.fingraph]
n:1841 [in mathcomp.algebra.mxalgebra]
n:1844 [in mathcomp.algebra.mxalgebra]
n:1847 [in mathcomp.algebra.mxalgebra]
n:185 [in mathcomp.ssreflect.div]
n:185 [in mathcomp.ssreflect.tuple]
n:185 [in mathcomp.ssreflect.ssrnat]
n:185 [in mathcomp.solvable.abelian]
n:185 [in mathcomp.algebra.ssrnum]
n:185 [in mathcomp.algebra.poly]
n:185 [in mathcomp.solvable.nilpotent]
n:185 [in mathcomp.algebra.mxalgebra]
n:1850 [in mathcomp.algebra.mxalgebra]
n:1854 [in mathcomp.algebra.mxalgebra]
n:1856 [in mathcomp.algebra.ssralg]
n:1859 [in mathcomp.algebra.ssralg]
n:1859 [in mathcomp.algebra.mxalgebra]
n:186 [in mathcomp.algebra.intdiv]
n:186 [in mathcomp.algebra.ssrnum]
n:186 [in mathcomp.algebra.rat]
n:186 [in mathcomp.algebra.vector]
n:1860 [in mathcomp.algebra.matrix]
n:1864 [in mathcomp.algebra.mxalgebra]
n:1866 [in mathcomp.algebra.matrix]
n:1868 [in mathcomp.algebra.mxalgebra]
n:187 [in mathcomp.ssreflect.tuple]
n:187 [in mathcomp.ssreflect.ssrnat]
n:187 [in mathcomp.algebra.ssrint]
n:187 [in mathcomp.algebra.ssrnum]
n:1872 [in mathcomp.algebra.mxalgebra]
n:1873 [in mathcomp.algebra.matrix]
n:1877 [in mathcomp.algebra.mxalgebra]
n:1879 [in mathcomp.algebra.matrix]
n:188 [in mathcomp.solvable.frobenius]
n:188 [in mathcomp.fingroup.gproduct]
n:188 [in mathcomp.algebra.rat]
n:188 [in mathcomp.algebra.ssralg]
n:1882 [in mathcomp.algebra.mxalgebra]
n:1885 [in mathcomp.algebra.ssralg]
n:1886 [in mathcomp.algebra.mxalgebra]
n:189 [in mathcomp.algebra.intdiv]
n:189 [in mathcomp.solvable.abelian]
n:189 [in mathcomp.ssreflect.fingraph]
n:189 [in mathcomp.algebra.mxalgebra]
n:1890 [in mathcomp.algebra.mxalgebra]
n:1892 [in mathcomp.algebra.ssrnum]
n:1892 [in mathcomp.algebra.ssralg]
n:1893 [in mathcomp.algebra.mxalgebra]
n:1896 [in mathcomp.algebra.mxalgebra]
n:1897 [in mathcomp.algebra.matrix]
n:1899 [in mathcomp.ssreflect.bigop]
n:19 [in mathcomp.ssreflect.seq]
n:19 [in mathcomp.ssreflect.ssrnat]
n:19 [in mathcomp.algebra.zmodp]
n:19 [in mathcomp.fingroup.fingroup]
n:190 [in mathcomp.ssreflect.ssrnat]
n:190 [in mathcomp.algebra.ssrint]
n:190 [in mathcomp.solvable.nilpotent]
n:1900 [in mathcomp.algebra.mxalgebra]
n:1903 [in mathcomp.algebra.matrix]
n:1905 [in mathcomp.algebra.mxalgebra]
n:1906 [in mathcomp.ssreflect.bigop]
n:1909 [in mathcomp.algebra.matrix]
n:1909 [in mathcomp.algebra.mxalgebra]
n:191 [in mathcomp.algebra.ssrint]
n:191 [in mathcomp.algebra.ssrnum]
n:191 [in mathcomp.ssreflect.fingraph]
n:191 [in mathcomp.solvable.burnside_app]
n:1911 [in mathcomp.algebra.matrix]
n:1912 [in mathcomp.algebra.mxalgebra]
n:1913 [in mathcomp.ssreflect.bigop]
n:1915 [in mathcomp.algebra.mxalgebra]
n:1917 [in mathcomp.algebra.matrix]
n:1919 [in mathcomp.algebra.matrix]
n:192 [in mathcomp.algebra.intdiv]
n:1929 [in mathcomp.ssreflect.bigop]
n:193 [in mathcomp.ssreflect.div]
n:193 [in mathcomp.ssreflect.ssrnat]
n:193 [in mathcomp.algebra.vector]
n:193 [in mathcomp.algebra.mxalgebra]
n:1938 [in mathcomp.algebra.matrix]
n:194 [in mathcomp.algebra.intdiv]
n:194 [in mathcomp.character.inertia]
n:1941 [in mathcomp.algebra.matrix]
n:1941 [in mathcomp.ssreflect.bigop]
n:195 [in mathcomp.ssreflect.ssrnat]
n:195 [in mathcomp.solvable.abelian]
n:1953 [in mathcomp.ssreflect.bigop]
n:1959 [in mathcomp.algebra.ssrnum]
n:196 [in mathcomp.ssreflect.div]
n:196 [in mathcomp.algebra.mxpoly]
n:196 [in mathcomp.solvable.nilpotent]
n:196 [in mathcomp.algebra.mxalgebra]
n:1961 [in mathcomp.algebra.ssrnum]
n:1961 [in mathcomp.ssreflect.bigop]
n:1963 [in mathcomp.algebra.ssrnum]
n:1964 [in mathcomp.algebra.ssralg]
n:1965 [in mathcomp.algebra.ssrnum]
n:1965 [in mathcomp.ssreflect.bigop]
n:1967 [in mathcomp.algebra.ssrnum]
n:1967 [in mathcomp.algebra.ssralg]
n:1969 [in mathcomp.algebra.ssrnum]
n:1969 [in mathcomp.algebra.ssralg]
n:197 [in mathcomp.algebra.intdiv]
n:197 [in mathcomp.ssreflect.seq]
n:197 [in mathcomp.ssreflect.ssrnat]
n:197 [in mathcomp.algebra.mxpoly]
n:197 [in mathcomp.ssreflect.prime]
n:1970 [in mathcomp.ssreflect.bigop]
n:1971 [in mathcomp.algebra.ssrnum]
n:1971 [in mathcomp.algebra.ssralg]
n:1973 [in mathcomp.algebra.ssrnum]
n:1979 [in mathcomp.algebra.matrix]
n:1979 [in mathcomp.ssreflect.bigop]
n:198 [in mathcomp.algebra.mxalgebra]
n:1986 [in mathcomp.algebra.matrix]
n:1989 [in mathcomp.algebra.matrix]
n:199 [in mathcomp.ssreflect.ssrnat]
n:199 [in mathcomp.field.algC]
n:199 [in mathcomp.ssreflect.prime]
n:199 [in mathcomp.solvable.abelian]
n:1992 [in mathcomp.ssreflect.bigop]
n:1993 [in mathcomp.algebra.matrix]
n:1993 [in mathcomp.algebra.ssralg]
n:1996 [in mathcomp.algebra.matrix]
n:1999 [in mathcomp.algebra.matrix]
n:2 [in mathcomp.ssreflect.ssrnat]
n:2 [in mathcomp.solvable.abelian]
n:2 [in mathcomp.algebra.vector]
n:200 [in mathcomp.algebra.intdiv]
n:200 [in mathcomp.algebra.ssralg]
n:200 [in mathcomp.algebra.poly]
n:200 [in mathcomp.solvable.nilpotent]
n:2002 [in mathcomp.ssreflect.order]
n:2003 [in mathcomp.algebra.matrix]
n:2006 [in mathcomp.ssreflect.order]
n:2009 [in mathcomp.algebra.ssralg]
n:201 [in mathcomp.ssreflect.div]
n:201 [in mathcomp.ssreflect.choice]
n:201 [in mathcomp.fingroup.fingroup]
n:201 [in mathcomp.solvable.burnside_app]
n:201 [in mathcomp.algebra.mxalgebra]
n:2010 [in mathcomp.ssreflect.order]
n:2014 [in mathcomp.ssreflect.order]
n:202 [in mathcomp.ssreflect.seq]
n:202 [in mathcomp.ssreflect.ssrnat]
n:202 [in mathcomp.algebra.ssrnum]
n:2020 [in mathcomp.ssreflect.bigop]
n:2025 [in mathcomp.algebra.ssralg]
n:2029 [in mathcomp.algebra.matrix]
n:203 [in mathcomp.algebra.matrix]
n:203 [in mathcomp.ssreflect.prime]
n:203 [in mathcomp.algebra.poly]
n:2036 [in mathcomp.algebra.matrix]
n:204 [in mathcomp.ssreflect.ssrnat]
n:204 [in mathcomp.field.closed_field]
n:204 [in mathcomp.algebra.ssrint]
n:204 [in mathcomp.fingroup.fingroup]
n:204 [in mathcomp.solvable.extremal]
n:204 [in mathcomp.solvable.abelian]
n:2043 [in mathcomp.algebra.matrix]
n:2045 [in mathcomp.algebra.matrix]
n:2048 [in mathcomp.algebra.matrix]
n:205 [in mathcomp.field.algebraics_fundamentals]
n:205 [in mathcomp.ssreflect.prime]
n:205 [in mathcomp.algebra.mxalgebra]
n:2051 [in mathcomp.algebra.matrix]
n:2054 [in mathcomp.algebra.matrix]
n:2057 [in mathcomp.algebra.matrix]
n:2057 [in mathcomp.ssreflect.bigop]
n:206 [in mathcomp.ssreflect.div]
n:206 [in mathcomp.ssreflect.seq]
n:206 [in mathcomp.ssreflect.ssrnat]
n:2063 [in mathcomp.algebra.matrix]
n:2065 [in mathcomp.algebra.ssrnum]
n:2066 [in mathcomp.algebra.matrix]
n:2069 [in mathcomp.algebra.matrix]
n:2071 [in mathcomp.algebra.ssrnum]
n:2073 [in mathcomp.algebra.matrix]
n:2078 [in mathcomp.algebra.ssrnum]
n:208 [in mathcomp.ssreflect.div]
n:208 [in mathcomp.ssreflect.seq]
n:208 [in mathcomp.ssreflect.ssrnat]
n:208 [in mathcomp.ssreflect.prime]
n:208 [in mathcomp.solvable.abelian]
n:2084 [in mathcomp.algebra.matrix]
n:2087 [in mathcomp.algebra.matrix]
n:2089 [in mathcomp.algebra.matrix]
n:2090 [in mathcomp.algebra.ssrnum]
n:2091 [in mathcomp.algebra.matrix]
n:2093 [in mathcomp.algebra.matrix]
n:2094 [in mathcomp.algebra.matrix]
n:21 [in mathcomp.ssreflect.seq]
n:21 [in mathcomp.ssreflect.ssrnat]
n:21 [in mathcomp.algebra.ssrint]
n:21 [in mathcomp.ssreflect.prime]
n:21 [in mathcomp.ssreflect.fingraph]
n:21 [in mathcomp.field.falgebra]
n:210 [in mathcomp.ssreflect.seq]
n:210 [in mathcomp.ssreflect.ssrnat]
n:210 [in mathcomp.character.classfun]
n:210 [in mathcomp.field.closed_field]
n:210 [in mathcomp.algebra.mxalgebra]
n:2101 [in mathcomp.algebra.ssrnum]
n:2103 [in mathcomp.algebra.ssrnum]
n:2106 [in mathcomp.algebra.ssrnum]
n:2107 [in mathcomp.algebra.matrix]
n:2107 [in mathcomp.algebra.ssrnum]
n:2108 [in mathcomp.algebra.ssrnum]
n:2113 [in mathcomp.algebra.ssrnum]
n:212 [in mathcomp.ssreflect.ssrnat]
n:212 [in mathcomp.ssreflect.prime]
n:212 [in mathcomp.solvable.nilpotent]
n:2120 [in mathcomp.algebra.matrix]
n:2121 [in mathcomp.algebra.matrix]
n:2122 [in mathcomp.algebra.matrix]
n:2127 [in mathcomp.algebra.matrix]
n:213 [in mathcomp.ssreflect.div]
n:2130 [in mathcomp.algebra.matrix]
n:2133 [in mathcomp.algebra.matrix]
n:2135 [in mathcomp.algebra.matrix]
n:214 [in mathcomp.ssreflect.ssrnat]
n:214 [in mathcomp.field.algebraics_fundamentals]
n:214 [in mathcomp.algebra.mxpoly]
n:214 [in mathcomp.character.mxabelem]
n:214 [in mathcomp.algebra.mxalgebra]
n:2140 [in mathcomp.algebra.matrix]
n:2145 [in mathcomp.algebra.matrix]
n:215 [in mathcomp.field.algebraics_fundamentals]
n:215 [in mathcomp.ssreflect.fingraph]
n:215 [in mathcomp.solvable.cyclic]
n:2150 [in mathcomp.algebra.matrix]
n:2155 [in mathcomp.algebra.matrix]
n:216 [in mathcomp.ssreflect.binomial]
n:216 [in mathcomp.ssreflect.div]
n:216 [in mathcomp.algebra.intdiv]
n:216 [in mathcomp.ssreflect.ssrnat]
n:216 [in mathcomp.ssreflect.prime]
n:2161 [in mathcomp.algebra.matrix]
n:2167 [in mathcomp.algebra.matrix]
n:217 [in mathcomp.solvable.extremal]
n:2173 [in mathcomp.algebra.matrix]
n:218 [in mathcomp.ssreflect.prime]
n:218 [in mathcomp.solvable.extremal]
n:218 [in mathcomp.algebra.rat]
n:2180 [in mathcomp.algebra.matrix]
n:2183 [in mathcomp.algebra.matrix]
n:2186 [in mathcomp.algebra.matrix]
n:2189 [in mathcomp.algebra.matrix]
n:219 [in mathcomp.ssreflect.div]
n:219 [in mathcomp.algebra.intdiv]
n:219 [in mathcomp.ssreflect.ssrnat]
n:219 [in mathcomp.field.algebraics_fundamentals]
n:219 [in mathcomp.solvable.extremal]
n:2191 [in mathcomp.algebra.matrix]
n:22 [in mathcomp.ssreflect.tuple]
n:22 [in mathcomp.algebra.zmodp]
n:22 [in mathcomp.solvable.abelian]
n:22 [in mathcomp.solvable.maximal]
n:220 [in mathcomp.field.closed_field]
n:220 [in mathcomp.algebra.mxalgebra]
n:2202 [in mathcomp.algebra.ssrnum]
n:2205 [in mathcomp.algebra.ssrnum]
n:221 [in mathcomp.algebra.intdiv]
n:221 [in mathcomp.algebra.ssrint]
n:221 [in mathcomp.ssreflect.prime]
n:2211 [in mathcomp.algebra.matrix]
n:2212 [in mathcomp.algebra.ssrnum]
n:2216 [in mathcomp.algebra.ssrnum]
n:222 [in mathcomp.ssreflect.div]
n:222 [in mathcomp.ssreflect.ssrnat]
n:222 [in mathcomp.algebra.ssrint]
n:222 [in mathcomp.algebra.poly]
n:2220 [in mathcomp.algebra.ssrnum]
n:2222 [in mathcomp.algebra.ssrnum]
n:2224 [in mathcomp.algebra.ssrnum]
n:2226 [in mathcomp.algebra.matrix]
n:2226 [in mathcomp.algebra.ssrnum]
n:223 [in mathcomp.field.algebraics_fundamentals]
n:223 [in mathcomp.solvable.pgroup]
n:223 [in mathcomp.ssreflect.prime]
n:2231 [in mathcomp.algebra.ssrnum]
n:2234 [in mathcomp.algebra.matrix]
n:2236 [in mathcomp.algebra.ssrnum]
n:2238 [in mathcomp.algebra.matrix]
n:224 [in mathcomp.field.closed_field]
n:224 [in mathcomp.algebra.ssrint]
n:224 [in mathcomp.solvable.abelian]
n:224 [in mathcomp.solvable.burnside_app]
n:224 [in mathcomp.algebra.rat]
n:224 [in mathcomp.solvable.nilpotent]
n:224 [in mathcomp.algebra.mxalgebra]
n:2241 [in mathcomp.algebra.ssrnum]
n:2244 [in mathcomp.algebra.matrix]
n:2246 [in mathcomp.algebra.matrix]
n:2246 [in mathcomp.algebra.ssrnum]
n:2248 [in mathcomp.algebra.ssrnum]
n:225 [in mathcomp.ssreflect.div]
n:225 [in mathcomp.ssreflect.choice]
n:225 [in mathcomp.ssreflect.ssrnat]
n:2250 [in mathcomp.algebra.ssrnum]
n:2252 [in mathcomp.algebra.matrix]
n:2253 [in mathcomp.algebra.ssrnum]
n:2254 [in mathcomp.algebra.matrix]
n:2254 [in mathcomp.algebra.ssrnum]
n:2257 [in mathcomp.algebra.ssrnum]
n:2259 [in mathcomp.algebra.ssrnum]
n:226 [in mathcomp.ssreflect.binomial]
n:226 [in mathcomp.ssreflect.prime]
n:226 [in mathcomp.algebra.rat]
n:2261 [in mathcomp.algebra.ssrnum]
n:2263 [in mathcomp.algebra.ssrnum]
n:2265 [in mathcomp.algebra.ssrnum]
n:2267 [in mathcomp.algebra.ssrnum]
n:2269 [in mathcomp.algebra.matrix]
n:2269 [in mathcomp.algebra.ssrnum]
n:227 [in mathcomp.algebra.ssrint]
n:227 [in mathcomp.algebra.poly]
n:2272 [in mathcomp.algebra.ssrnum]
n:2273 [in mathcomp.algebra.matrix]
n:2277 [in mathcomp.algebra.ssrnum]
n:228 [in mathcomp.ssreflect.div]
n:228 [in mathcomp.ssreflect.tuple]
n:228 [in mathcomp.ssreflect.ssrnat]
n:228 [in mathcomp.solvable.nilpotent]
n:2285 [in mathcomp.algebra.matrix]
n:2288 [in mathcomp.algebra.ssralg]
n:229 [in mathcomp.field.algebraics_fundamentals]
n:229 [in mathcomp.solvable.nilpotent]
n:229 [in mathcomp.algebra.mxalgebra]
n:2299 [in mathcomp.algebra.ssralg]
n:23 [in mathcomp.algebra.zmodp]
n:23 [in mathcomp.algebra.ssrint]
n:230 [in mathcomp.algebra.intdiv]
n:230 [in mathcomp.ssreflect.tuple]
n:230 [in mathcomp.algebra.poly]
n:2308 [in mathcomp.algebra.matrix]
n:231 [in mathcomp.ssreflect.div]
n:231 [in mathcomp.ssreflect.ssrnat]
n:231 [in mathcomp.algebra.ssrint]
n:231 [in mathcomp.ssreflect.prime]
n:231 [in mathcomp.solvable.nilpotent]
n:2319 [in mathcomp.algebra.ssralg]
n:232 [in mathcomp.algebra.intdiv]
n:232 [in mathcomp.field.closed_field]
n:232 [in mathcomp.algebra.poly]
n:232 [in mathcomp.algebra.mxalgebra]
n:2322 [in mathcomp.algebra.ssralg]
n:2326 [in mathcomp.algebra.ssralg]
n:2327 [in mathcomp.algebra.matrix]
n:233 [in mathcomp.ssreflect.div]
n:233 [in mathcomp.algebra.ssrint]
n:233 [in mathcomp.field.algnum]
n:233 [in mathcomp.solvable.nilpotent]
n:2330 [in mathcomp.algebra.matrix]
n:2330 [in mathcomp.algebra.ssralg]
n:2335 [in mathcomp.algebra.ssralg]
n:2337 [in mathcomp.algebra.matrix]
n:2338 [in mathcomp.algebra.ssralg]
n:234 [in mathcomp.ssreflect.ssrnat]
n:234 [in mathcomp.algebra.ssrint]
n:234 [in mathcomp.ssreflect.prime]
n:2342 [in mathcomp.algebra.matrix]
n:2344 [in mathcomp.algebra.matrix]
n:2349 [in mathcomp.algebra.matrix]
n:2349 [in mathcomp.algebra.ssralg]
n:235 [in mathcomp.algebra.intdiv]
n:235 [in mathcomp.ssreflect.tuple]
n:235 [in mathcomp.algebra.mxpoly]
n:235 [in mathcomp.solvable.nilpotent]
n:2351 [in mathcomp.algebra.matrix]
n:2356 [in mathcomp.algebra.matrix]
n:236 [in mathcomp.ssreflect.div]
n:236 [in mathcomp.ssreflect.ssrnat]
n:2360 [in mathcomp.algebra.matrix]
n:2366 [in mathcomp.algebra.ssralg]
n:237 [in mathcomp.ssreflect.prime]
n:238 [in mathcomp.ssreflect.tuple]
n:238 [in mathcomp.ssreflect.ssrnat]
n:238 [in mathcomp.character.character]
n:238 [in mathcomp.algebra.mxalgebra]
n:239 [in mathcomp.algebra.ssrint]
n:239 [in mathcomp.solvable.abelian]
n:24 [in mathcomp.ssreflect.seq]
n:24 [in mathcomp.ssreflect.ssrnat]
n:24 [in mathcomp.algebra.zmodp]
n:24 [in mathcomp.algebra.ssrint]
n:24 [in mathcomp.algebra.mxalgebra]
n:240 [in mathcomp.ssreflect.div]
n:240 [in mathcomp.ssreflect.ssrnat]
n:240 [in mathcomp.ssreflect.prime]
n:240 [in mathcomp.field.falgebra]
n:2400 [in mathcomp.algebra.matrix]
n:241 [in mathcomp.ssreflect.tuple]
n:241 [in mathcomp.algebra.ssrint]
n:241 [in mathcomp.solvable.nilpotent]
n:2418 [in mathcomp.algebra.ssrnum]
n:2419 [in mathcomp.algebra.ssrnum]
n:242 [in mathcomp.ssreflect.ssrnat]
n:242 [in mathcomp.algebra.ssrint]
n:2420 [in mathcomp.algebra.matrix]
n:2421 [in mathcomp.algebra.ssrnum]
n:2429 [in mathcomp.algebra.matrix]
n:243 [in mathcomp.ssreflect.binomial]
n:243 [in mathcomp.ssreflect.div]
n:243 [in mathcomp.ssreflect.prime]
n:243 [in mathcomp.solvable.nilpotent]
n:2433 [in mathcomp.algebra.matrix]
n:2438 [in mathcomp.algebra.matrix]
n:244 [in mathcomp.algebra.ssrint]
n:244 [in mathcomp.field.algnum]
n:2444 [in mathcomp.algebra.matrix]
n:2446 [in mathcomp.algebra.matrix]
n:2449 [in mathcomp.algebra.matrix]
n:245 [in mathcomp.algebra.intdiv]
n:245 [in mathcomp.algebra.ssrint]
n:245 [in mathcomp.field.falgebra]
n:2453 [in mathcomp.algebra.matrix]
n:2455 [in mathcomp.algebra.matrix]
n:2456 [in mathcomp.algebra.matrix]
n:246 [in mathcomp.character.vcharacter]
n:246 [in mathcomp.ssreflect.ssrnat]
n:246 [in mathcomp.field.algebraics_fundamentals]
n:246 [in mathcomp.algebra.ssrint]
n:246 [in mathcomp.solvable.cyclic]
n:2460 [in mathcomp.algebra.matrix]
n:2460 [in mathcomp.ssreflect.bigop]
n:247 [in mathcomp.algebra.intdiv]
n:247 [in mathcomp.ssreflect.tuple]
n:247 [in mathcomp.ssreflect.prime]
n:2473 [in mathcomp.algebra.matrix]
n:2478 [in mathcomp.algebra.matrix]
n:248 [in mathcomp.field.algnum]
n:248 [in mathcomp.solvable.abelian]
n:248 [in mathcomp.algebra.rat]
n:248 [in mathcomp.algebra.ssralg]
n:2485 [in mathcomp.ssreflect.bigop]
n:249 [in mathcomp.algebra.intdiv]
n:249 [in mathcomp.ssreflect.ssrnat]
n:249 [in mathcomp.algebra.ssrint]
n:2499 [in mathcomp.ssreflect.bigop]
n:25 [in mathcomp.ssreflect.fintype]
n:250 [in mathcomp.field.algnum]
n:251 [in mathcomp.algebra.intdiv]
n:251 [in mathcomp.solvable.abelian]
n:251 [in mathcomp.solvable.nilpotent]
n:2511 [in mathcomp.ssreflect.bigop]
n:252 [in mathcomp.ssreflect.ssrnat]
n:252 [in mathcomp.algebra.matrix]
n:252 [in mathcomp.algebra.rat]
n:2528 [in mathcomp.algebra.matrix]
n:253 [in mathcomp.algebra.intdiv]
n:253 [in mathcomp.ssreflect.tuple]
n:253 [in mathcomp.algebra.ssrint]
n:253 [in mathcomp.algebra.mxalgebra]
n:2535 [in mathcomp.algebra.matrix]
n:254 [in mathcomp.ssreflect.ssrnat]
n:2542 [in mathcomp.algebra.ssrnum]
n:255 [in mathcomp.algebra.intdiv]
n:255 [in mathcomp.ssreflect.prime]
n:255 [in mathcomp.solvable.abelian]
n:255 [in mathcomp.solvable.maximal]
n:2551 [in mathcomp.algebra.matrix]
n:2555 [in mathcomp.algebra.matrix]
n:2557 [in mathcomp.algebra.matrix]
n:256 [in mathcomp.ssreflect.tuple]
n:256 [in mathcomp.algebra.ssrint]
n:256 [in mathcomp.solvable.maximal]
n:2569 [in mathcomp.algebra.matrix]
n:257 [in mathcomp.algebra.intdiv]
n:257 [in mathcomp.algebra.matrix]
n:2570 [in mathcomp.algebra.matrix]
n:2572 [in mathcomp.algebra.matrix]
n:2576 [in mathcomp.algebra.matrix]
n:258 [in mathcomp.ssreflect.ssrnat]
n:258 [in mathcomp.field.closed_field]
n:258 [in mathcomp.algebra.ssrint]
n:2581 [in mathcomp.algebra.matrix]
n:2584 [in mathcomp.algebra.matrix]
n:2598 [in mathcomp.algebra.matrix]
n:26 [in mathcomp.ssreflect.seq]
n:26 [in mathcomp.algebra.ssrint]
n:26 [in mathcomp.ssreflect.prime]
n:260 [in mathcomp.ssreflect.div]
n:260 [in mathcomp.algebra.intdiv]
n:260 [in mathcomp.ssreflect.tuple]
n:260 [in mathcomp.ssreflect.prime]
n:260 [in mathcomp.algebra.mxalgebra]
n:2600 [in mathcomp.algebra.matrix]
n:2602 [in mathcomp.algebra.matrix]
n:2604 [in mathcomp.algebra.matrix]
n:2608 [in mathcomp.algebra.matrix]
n:261 [in mathcomp.ssreflect.ssrnat]
n:261 [in mathcomp.ssreflect.prime]
n:2613 [in mathcomp.algebra.matrix]
n:262 [in mathcomp.algebra.intdiv]
n:262 [in mathcomp.field.algebraics_fundamentals]
n:262 [in mathcomp.solvable.pgroup]
n:263 [in mathcomp.ssreflect.div]
n:263 [in mathcomp.ssreflect.tuple]
n:263 [in mathcomp.algebra.ssrint]
n:263 [in mathcomp.ssreflect.fingraph]
n:2635 [in mathcomp.algebra.matrix]
n:2639 [in mathcomp.algebra.matrix]
n:264 [in mathcomp.algebra.intdiv]
n:264 [in mathcomp.ssreflect.ssrnat]
n:2644 [in mathcomp.algebra.ssrnum]
n:2645 [in mathcomp.algebra.matrix]
n:265 [in mathcomp.ssreflect.div]
n:265 [in mathcomp.algebra.intdiv]
n:265 [in mathcomp.field.algebraics_fundamentals]
n:265 [in mathcomp.field.algnum]
n:2652 [in mathcomp.algebra.matrix]
n:266 [in mathcomp.ssreflect.tuple]
n:267 [in mathcomp.ssreflect.binomial]
n:267 [in mathcomp.algebra.intdiv]
n:267 [in mathcomp.ssreflect.ssrnat]
n:267 [in mathcomp.field.algnum]
n:267 [in mathcomp.algebra.mxalgebra]
n:2673 [in mathcomp.algebra.matrix]
n:268 [in mathcomp.ssreflect.div]
n:269 [in mathcomp.algebra.ssrint]
n:269 [in mathcomp.ssreflect.prime]
n:2697 [in mathcomp.ssreflect.seq]
n:27 [in mathcomp.algebra.archimedean]
n:27 [in mathcomp.ssreflect.ssrnat]
n:27 [in mathcomp.field.closed_field]
n:27 [in mathcomp.algebra.ssrint]
n:27 [in mathcomp.solvable.cyclic]
n:270 [in mathcomp.algebra.intdiv]
n:270 [in mathcomp.ssreflect.ssrnat]
n:2700 [in mathcomp.algebra.matrix]
n:2705 [in mathcomp.ssreflect.seq]
n:2707 [in mathcomp.ssreflect.seq]
n:271 [in mathcomp.field.algC]
n:271 [in mathcomp.algebra.matrix]
n:2712 [in mathcomp.algebra.matrix]
n:272 [in mathcomp.ssreflect.div]
n:272 [in mathcomp.algebra.intdiv]
n:272 [in mathcomp.ssreflect.tuple]
n:272 [in mathcomp.field.closed_field]
n:272 [in mathcomp.algebra.ssrint]
n:272 [in mathcomp.field.algnum]
n:272 [in mathcomp.algebra.mxalgebra]
n:273 [in mathcomp.fingroup.perm]
n:273 [in mathcomp.ssreflect.div]
n:273 [in mathcomp.ssreflect.ssrnat]
n:273 [in mathcomp.algebra.matrix]
n:274 [in mathcomp.field.closed_field]
n:274 [in mathcomp.solvable.pgroup]
n:274 [in mathcomp.ssreflect.prime]
n:274 [in mathcomp.algebra.mxalgebra]
n:2740 [in mathcomp.algebra.matrix]
n:275 [in mathcomp.fingroup.perm]
n:275 [in mathcomp.algebra.intdiv]
n:275 [in mathcomp.ssreflect.tuple]
n:275 [in mathcomp.ssreflect.ssrnat]
n:276 [in mathcomp.field.algebraics_fundamentals]
n:276 [in mathcomp.algebra.mxpoly]
n:276 [in mathcomp.ssreflect.prime]
n:2760 [in mathcomp.algebra.matrix]
n:277 [in mathcomp.ssreflect.ssrnat]
n:277 [in mathcomp.field.algebraics_fundamentals]
n:277 [in mathcomp.algebra.ssrint]
n:277 [in mathcomp.algebra.mxalgebra]
n:2771 [in mathcomp.algebra.matrix]
n:2771 [in mathcomp.ssreflect.bigop]
n:2772 [in mathcomp.ssreflect.seq]
n:2775 [in mathcomp.ssreflect.seq]
n:2777 [in mathcomp.ssreflect.seq]
n:278 [in mathcomp.ssreflect.div]
n:278 [in mathcomp.algebra.intdiv]
n:2781 [in mathcomp.ssreflect.seq]
n:279 [in mathcomp.ssreflect.tuple]
n:2793 [in mathcomp.ssreflect.bigop]
n:28 [in mathcomp.algebra.ssrint]
n:280 [in mathcomp.fingroup.perm]
n:280 [in mathcomp.algebra.intdiv]
n:280 [in mathcomp.ssreflect.ssrnat]
n:280 [in mathcomp.algebra.mxpoly]
n:2801 [in mathcomp.ssreflect.bigop]
n:2805 [in mathcomp.algebra.matrix]
n:2807 [in mathcomp.ssreflect.bigop]
n:281 [in mathcomp.ssreflect.div]
n:281 [in mathcomp.field.algC]
n:281 [in mathcomp.ssreflect.prime]
n:281 [in mathcomp.algebra.mxalgebra]
n:2811 [in mathcomp.ssreflect.bigop]
n:2812 [in mathcomp.algebra.matrix]
n:282 [in mathcomp.field.algC]
n:2828 [in mathcomp.ssreflect.bigop]
n:283 [in mathcomp.algebra.intdiv]
n:283 [in mathcomp.ssreflect.tuple]
n:283 [in mathcomp.ssreflect.ssrnat]
n:283 [in mathcomp.algebra.matrix]
n:283 [in mathcomp.algebra.mxpoly]
n:283 [in mathcomp.ssreflect.prime]
n:2830 [in mathcomp.algebra.matrix]
n:2835 [in mathcomp.algebra.matrix]
n:284 [in mathcomp.fingroup.perm]
n:284 [in mathcomp.ssreflect.div]
n:284 [in mathcomp.field.algC]
n:284 [in mathcomp.ssreflect.prime]
n:284 [in mathcomp.algebra.mxalgebra]
n:2842 [in mathcomp.ssreflect.bigop]
n:285 [in mathcomp.algebra.intdiv]
n:285 [in mathcomp.ssreflect.seq]
n:285 [in mathcomp.field.algebraics_fundamentals]
n:285 [in mathcomp.algebra.mxpoly]
n:285 [in mathcomp.ssreflect.prime]
n:285 [in mathcomp.solvable.nilpotent]
n:286 [in mathcomp.ssreflect.ssrnat]
n:286 [in mathcomp.algebra.ssrint]
n:286 [in mathcomp.solvable.abelian]
n:287 [in mathcomp.ssreflect.div]
n:287 [in mathcomp.ssreflect.tuple]
n:287 [in mathcomp.algebra.matrix]
n:287 [in mathcomp.algebra.mxpoly]
n:287 [in mathcomp.algebra.mxalgebra]
n:2873 [in mathcomp.algebra.ssralg]
n:2879 [in mathcomp.algebra.matrix]
n:288 [in mathcomp.algebra.intdiv]
n:288 [in mathcomp.algebra.ssrint]
n:288 [in mathcomp.ssreflect.prime]
n:2884 [in mathcomp.algebra.matrix]
n:289 [in mathcomp.fingroup.perm]
n:289 [in mathcomp.ssreflect.ssrnat]
n:289 [in mathcomp.field.algnum]
n:289 [in mathcomp.algebra.poly]
n:2892 [in mathcomp.algebra.matrix]
n:2895 [in mathcomp.algebra.matrix]
n:29 [in mathcomp.ssreflect.tuple]
n:29 [in mathcomp.ssreflect.ssrnat]
n:29 [in mathcomp.solvable.cyclic]
n:290 [in mathcomp.ssreflect.div]
n:290 [in mathcomp.algebra.intdiv]
n:290 [in mathcomp.algebra.mxpoly]
n:290 [in mathcomp.ssreflect.prime]
n:290 [in mathcomp.field.algnum]
n:290 [in mathcomp.algebra.mxalgebra]
n:291 [in mathcomp.ssreflect.seq]
n:291 [in mathcomp.algebra.matrix]
n:291 [in mathcomp.algebra.poly]
n:2910 [in mathcomp.algebra.matrix]
n:292 [in mathcomp.ssreflect.ssrnat]
n:292 [in mathcomp.field.closed_field]
n:292 [in mathcomp.field.algnum]
n:292 [in mathcomp.algebra.poly]
n:293 [in mathcomp.ssreflect.tuple]
n:293 [in mathcomp.algebra.mxalgebra]
n:294 [in mathcomp.fingroup.perm]
n:294 [in mathcomp.algebra.mxpoly]
n:294 [in mathcomp.ssreflect.prime]
n:294 [in mathcomp.algebra.rat]
n:294 [in mathcomp.algebra.poly]
n:295 [in mathcomp.ssreflect.div]
n:295 [in mathcomp.algebra.intdiv]
n:295 [in mathcomp.ssreflect.ssrnat]
n:295 [in mathcomp.field.algC]
n:295 [in mathcomp.algebra.matrix]
n:295 [in mathcomp.algebra.poly]
n:296 [in mathcomp.ssreflect.prime]
n:296 [in mathcomp.algebra.poly]
n:297 [in mathcomp.algebra.intdiv]
n:297 [in mathcomp.ssreflect.tuple]
n:297 [in mathcomp.ssreflect.prime]
n:297 [in mathcomp.algebra.mxalgebra]
n:2971 [in mathcomp.algebra.matrix]
n:2978 [in mathcomp.algebra.matrix]
n:298 [in mathcomp.ssreflect.div]
n:298 [in mathcomp.algebra.mxpoly]
n:298 [in mathcomp.ssreflect.prime]
n:298 [in mathcomp.algebra.ssralg]
n:298 [in mathcomp.algebra.poly]
n:2981 [in mathcomp.algebra.matrix]
n:2984 [in mathcomp.algebra.matrix]
n:299 [in mathcomp.algebra.intdiv]
n:2990 [in mathcomp.algebra.ssralg]
n:3 [in mathcomp.field.cyclotomic]
n:3 [in mathcomp.algebra.rat]
n:3 [in mathcomp.algebra.mxalgebra]
n:30 [in mathcomp.ssreflect.seq]
n:30 [in mathcomp.ssreflect.finfun]
n:30 [in mathcomp.solvable.nilpotent]
n:30 [in mathcomp.algebra.mxalgebra]
n:300 [in mathcomp.fingroup.perm]
n:300 [in mathcomp.ssreflect.seq]
n:300 [in mathcomp.field.algC]
n:300 [in mathcomp.algebra.matrix]
n:300 [in mathcomp.ssreflect.prime]
n:300 [in mathcomp.algebra.rat]
n:300 [in mathcomp.ssreflect.fintype]
n:301 [in mathcomp.algebra.intdiv]
n:301 [in mathcomp.algebra.ssralg]
n:301 [in mathcomp.algebra.poly]
n:302 [in mathcomp.ssreflect.ssrnat]
n:302 [in mathcomp.algebra.mxalgebra]
n:303 [in mathcomp.fingroup.perm]
n:303 [in mathcomp.algebra.intdiv]
n:303 [in mathcomp.ssreflect.seq]
n:303 [in mathcomp.algebra.ssralg]
n:303 [in mathcomp.algebra.poly]
n:304 [in mathcomp.algebra.matrix]
n:304 [in mathcomp.algebra.mxpoly]
n:305 [in mathcomp.algebra.intdiv]
n:305 [in mathcomp.ssreflect.ssrnat]
n:305 [in mathcomp.ssreflect.prime]
n:305 [in mathcomp.algebra.ssralg]
n:305 [in mathcomp.character.character]
n:3058 [in mathcomp.algebra.matrix]
n:306 [in mathcomp.fingroup.perm]
n:307 [in mathcomp.ssreflect.ssrnat]
n:307 [in mathcomp.algebra.matrix]
n:307 [in mathcomp.ssreflect.prime]
n:307 [in mathcomp.algebra.ssralg]
n:3076 [in mathcomp.algebra.matrix]
n:308 [in mathcomp.ssreflect.seq]
n:308 [in mathcomp.algebra.ssralg]
n:308 [in mathcomp.algebra.mxalgebra]
n:3084 [in mathcomp.algebra.ssralg]
n:309 [in mathcomp.ssreflect.div]
n:309 [in mathcomp.ssreflect.prime]
n:309 [in mathcomp.algebra.ssralg]
n:3092 [in mathcomp.algebra.ssralg]
n:3093 [in mathcomp.algebra.ssralg]
n:3095 [in mathcomp.algebra.ssralg]
n:3097 [in mathcomp.algebra.ssralg]
n:31 [in mathcomp.solvable.extremal]
n:310 [in mathcomp.ssreflect.ssrnat]
n:310 [in mathcomp.algebra.poly]
n:311 [in mathcomp.fingroup.perm]
n:311 [in mathcomp.algebra.intdiv]
n:311 [in mathcomp.algebra.ssralg]
n:312 [in mathcomp.ssreflect.div]
n:312 [in mathcomp.field.algebraics_fundamentals]
n:312 [in mathcomp.algebra.matrix]
n:312 [in mathcomp.ssreflect.prime]
n:313 [in mathcomp.algebra.intdiv]
n:313 [in mathcomp.ssreflect.ssrnat]
n:313 [in mathcomp.algebra.mxalgebra]
n:314 [in mathcomp.character.vcharacter]
n:314 [in mathcomp.fingroup.perm]
n:314 [in mathcomp.ssreflect.seq]
n:314 [in mathcomp.algebra.ssrint]
n:314 [in mathcomp.ssreflect.prime]
n:3145 [in mathcomp.algebra.matrix]
n:315 [in mathcomp.ssreflect.div]
n:315 [in mathcomp.algebra.ssrint]
n:316 [in mathcomp.ssreflect.ssrnat]
n:316 [in mathcomp.field.algebraics_fundamentals]
n:316 [in mathcomp.algebra.ssralg]
n:3164 [in mathcomp.algebra.matrix]
n:317 [in mathcomp.algebra.intdiv]
n:317 [in mathcomp.algebra.ssrnum]
n:317 [in mathcomp.algebra.ssralg]
n:318 [in mathcomp.ssreflect.div]
n:318 [in mathcomp.algebra.ssrint]
n:318 [in mathcomp.algebra.ssralg]
n:318 [in mathcomp.algebra.poly]
n:319 [in mathcomp.ssreflect.ssrnat]
n:32 [in mathcomp.ssreflect.ssrnat]
n:32 [in mathcomp.solvable.finmodule]
n:32 [in mathcomp.algebra.ssrint]
n:32 [in mathcomp.ssreflect.prime]
n:32 [in mathcomp.solvable.nilpotent]
n:320 [in mathcomp.algebra.intdiv]
n:320 [in mathcomp.algebra.mxpoly]
n:320 [in mathcomp.ssreflect.prime]
n:321 [in mathcomp.fingroup.perm]
n:321 [in mathcomp.algebra.ssralg]
n:322 [in mathcomp.ssreflect.ssrnat]
n:322 [in mathcomp.ssreflect.prime]
n:323 [in mathcomp.algebra.intdiv]
n:323 [in mathcomp.algebra.ssralg]
n:324 [in mathcomp.fingroup.perm]
n:324 [in mathcomp.algebra.ssrint]
n:325 [in mathcomp.ssreflect.ssrnat]
n:325 [in mathcomp.algebra.matrix]
n:325 [in mathcomp.algebra.mxalgebra]
n:3258 [in mathcomp.algebra.matrix]
n:326 [in mathcomp.algebra.intdiv]
n:326 [in mathcomp.ssreflect.prime]
n:328 [in mathcomp.ssreflect.seq]
n:328 [in mathcomp.ssreflect.ssrnat]
n:328 [in mathcomp.ssreflect.prime]
n:328 [in mathcomp.algebra.poly]
n:329 [in mathcomp.field.algC]
n:329 [in mathcomp.ssreflect.prime]
n:33 [in mathcomp.algebra.ssrint]
n:33 [in mathcomp.algebra.ssralg]
n:330 [in mathcomp.algebra.intdiv]
n:330 [in mathcomp.algebra.matrix]
n:330 [in mathcomp.algebra.ssrint]
n:330 [in mathcomp.ssreflect.prime]
n:330 [in mathcomp.algebra.mxalgebra]
n:331 [in mathcomp.ssreflect.ssrnat]
n:332 [in mathcomp.ssreflect.prime]
n:333 [in mathcomp.ssreflect.div]
n:333 [in mathcomp.algebra.intdiv]
n:333 [in mathcomp.algebra.mxpoly]
n:334 [in mathcomp.ssreflect.ssrnat]
n:334 [in mathcomp.ssreflect.prime]
n:334 [in mathcomp.algebra.mxalgebra]
n:335 [in mathcomp.solvable.abelian]
n:336 [in mathcomp.algebra.intdiv]
n:336 [in mathcomp.algebra.matrix]
n:336 [in mathcomp.algebra.mxpoly]
n:336 [in mathcomp.algebra.ssrint]
n:337 [in mathcomp.ssreflect.ssrnat]
n:338 [in mathcomp.ssreflect.div]
n:339 [in mathcomp.algebra.intdiv]
n:339 [in mathcomp.algebra.mxalgebra]
n:34 [in mathcomp.algebra.poly]
n:34 [in mathcomp.solvable.nilpotent]
n:340 [in mathcomp.ssreflect.div]
n:340 [in mathcomp.algebra.matrix]
n:340 [in mathcomp.fingroup.action]
n:340 [in mathcomp.character.character]
n:341 [in mathcomp.ssreflect.ssrnat]
n:342 [in mathcomp.ssreflect.div]
n:342 [in mathcomp.algebra.intdiv]
n:342 [in mathcomp.algebra.mxpoly]
n:342 [in mathcomp.algebra.ssrint]
n:342 [in mathcomp.solvable.abelian]
n:342 [in mathcomp.field.falgebra]
n:343 [in mathcomp.algebra.polydiv]
n:343 [in mathcomp.ssreflect.ssrnat]
n:343 [in mathcomp.algebra.poly]
n:343 [in mathcomp.algebra.mxalgebra]
n:344 [in mathcomp.ssreflect.div]
n:344 [in mathcomp.algebra.polydiv]
n:344 [in mathcomp.algebra.matrix]
n:345 [in mathcomp.algebra.intdiv]
n:346 [in mathcomp.algebra.mxpoly]
n:346 [in mathcomp.ssreflect.prime]
n:347 [in mathcomp.ssreflect.div]
n:347 [in mathcomp.ssreflect.ssrnat]
n:348 [in mathcomp.algebra.intdiv]
n:348 [in mathcomp.algebra.matrix]
n:348 [in mathcomp.algebra.ssrint]
n:348 [in mathcomp.ssreflect.prime]
n:349 [in mathcomp.ssreflect.div]
n:349 [in mathcomp.ssreflect.ssrnat]
n:349 [in mathcomp.algebra.mxalgebra]
n:35 [in mathcomp.ssreflect.tuple]
n:35 [in mathcomp.ssreflect.ssrnat]
n:35 [in mathcomp.algebra.rat]
n:35 [in mathcomp.algebra.ssralg]
n:350 [in mathcomp.solvable.abelian]
n:351 [in mathcomp.algebra.intdiv]
n:351 [in mathcomp.ssreflect.finset]
n:351 [in mathcomp.ssreflect.prime]
n:351 [in mathcomp.solvable.abelian]
n:352 [in mathcomp.ssreflect.div]
n:353 [in mathcomp.ssreflect.div]
n:353 [in mathcomp.algebra.intdiv]
n:353 [in mathcomp.algebra.polydiv]
n:353 [in mathcomp.ssreflect.ssrnat]
n:353 [in mathcomp.algebra.mxpoly]
n:3536 [in mathcomp.algebra.matrix]
n:354 [in mathcomp.ssreflect.tuple]
n:354 [in mathcomp.algebra.polydiv]
n:354 [in mathcomp.algebra.ssralg]
n:3541 [in mathcomp.algebra.matrix]
n:355 [in mathcomp.ssreflect.div]
n:355 [in mathcomp.ssreflect.ssrnat]
n:355 [in mathcomp.algebra.ssrint]
n:355 [in mathcomp.algebra.mxalgebra]
n:356 [in mathcomp.algebra.intdiv]
n:356 [in mathcomp.ssreflect.tuple]
n:356 [in mathcomp.algebra.mxpoly]
n:358 [in mathcomp.ssreflect.div]
n:358 [in mathcomp.ssreflect.ssrnat]
n:358 [in mathcomp.ssreflect.prime]
n:359 [in mathcomp.algebra.intdiv]
n:359 [in mathcomp.ssreflect.tuple]
n:359 [in mathcomp.algebra.polydiv]
n:359 [in mathcomp.algebra.ssrint]
n:359 [in mathcomp.solvable.abelian]
n:359 [in mathcomp.algebra.mxalgebra]
n:36 [in mathcomp.algebra.ssrint]
n:36 [in mathcomp.solvable.extremal]
n:36 [in mathcomp.algebra.mxalgebra]
n:360 [in mathcomp.ssreflect.div]
n:360 [in mathcomp.ssreflect.ssrnat]
n:360 [in mathcomp.solvable.extremal]
n:361 [in mathcomp.algebra.mxpoly]
n:361 [in mathcomp.ssreflect.prime]
n:362 [in mathcomp.ssreflect.tuple]
n:362 [in mathcomp.algebra.polydiv]
n:362 [in mathcomp.ssreflect.ssrnat]
n:362 [in mathcomp.solvable.extremal]
n:363 [in mathcomp.ssreflect.div]
n:363 [in mathcomp.algebra.ssrint]
n:363 [in mathcomp.ssreflect.prime]
n:363 [in mathcomp.solvable.extremal]
n:363 [in mathcomp.character.character]
n:363 [in mathcomp.algebra.mxalgebra]
n:364 [in mathcomp.ssreflect.tuple]
n:364 [in mathcomp.ssreflect.ssrnat]
n:364 [in mathcomp.algebra.mxpoly]
n:364 [in mathcomp.solvable.extremal]
n:365 [in mathcomp.ssreflect.div]
n:365 [in mathcomp.algebra.polydiv]
n:365 [in mathcomp.algebra.matrix]
n:365 [in mathcomp.solvable.extremal]
n:366 [in mathcomp.ssreflect.tuple]
n:366 [in mathcomp.ssreflect.ssrnat]
n:366 [in mathcomp.ssreflect.prime]
n:366 [in mathcomp.solvable.extremal]
n:366 [in mathcomp.algebra.poly]
n:366 [in mathcomp.algebra.mxalgebra]
n:367 [in mathcomp.ssreflect.div]
n:367 [in mathcomp.algebra.ssrint]
n:367 [in mathcomp.solvable.extremal]
n:368 [in mathcomp.algebra.polydiv]
n:368 [in mathcomp.algebra.ssralg]
n:369 [in mathcomp.field.algnum]
n:37 [in mathcomp.fingroup.perm]
n:37 [in mathcomp.algebra.poly]
n:37 [in mathcomp.solvable.nilpotent]
n:370 [in mathcomp.ssreflect.tuple]
n:370 [in mathcomp.ssreflect.seq]
n:370 [in mathcomp.algebra.matrix]
n:370 [in mathcomp.solvable.extremal]
n:371 [in mathcomp.algebra.polydiv]
n:371 [in mathcomp.ssreflect.ssrnat]
n:371 [in mathcomp.algebra.mxpoly]
n:371 [in mathcomp.algebra.ssrint]
n:371 [in mathcomp.ssreflect.prime]
n:371 [in mathcomp.field.algnum]
n:371 [in mathcomp.solvable.extremal]
n:371 [in mathcomp.algebra.ssralg]
n:371 [in mathcomp.algebra.mxalgebra]
n:372 [in mathcomp.ssreflect.seq]
n:372 [in mathcomp.solvable.abelian]
n:372 [in mathcomp.character.character]
n:373 [in mathcomp.algebra.polydiv]
n:373 [in mathcomp.ssreflect.ssrnat]
n:374 [in mathcomp.ssreflect.div]
n:374 [in mathcomp.ssreflect.tuple]
n:374 [in mathcomp.ssreflect.seq]
n:374 [in mathcomp.algebra.mxpoly]
n:374 [in mathcomp.algebra.ssrint]
n:374 [in mathcomp.field.algnum]
n:374 [in mathcomp.solvable.extremal]
n:374 [in mathcomp.algebra.ssralg]
n:376 [in mathcomp.ssreflect.tuple]
n:376 [in mathcomp.algebra.mxalgebra]
n:377 [in mathcomp.algebra.mxpoly]
n:377 [in mathcomp.algebra.ssrint]
n:377 [in mathcomp.ssreflect.prime]
n:377 [in mathcomp.algebra.ssralg]
n:378 [in mathcomp.ssreflect.seq]
n:378 [in mathcomp.algebra.matrix]
n:378 [in mathcomp.solvable.abelian]
n:379 [in mathcomp.field.algnum]
n:38 [in mathcomp.algebra.ssrint]
n:38 [in mathcomp.field.qfpoly]
n:38 [in mathcomp.algebra.ssralg]
n:380 [in mathcomp.ssreflect.div]
n:380 [in mathcomp.ssreflect.tuple]
n:380 [in mathcomp.character.classfun]
n:380 [in mathcomp.algebra.ssrint]
n:380 [in mathcomp.solvable.abelian]
n:380 [in mathcomp.algebra.ssralg]
n:380 [in mathcomp.algebra.mxalgebra]
n:381 [in mathcomp.ssreflect.ssrnat]
n:382 [in mathcomp.ssreflect.div]
n:382 [in mathcomp.ssreflect.tuple]
n:382 [in mathcomp.ssreflect.prime]
n:382 [in mathcomp.field.algnum]
n:383 [in mathcomp.ssreflect.ssrnat]
n:383 [in mathcomp.algebra.ssrint]
n:383 [in mathcomp.algebra.ssralg]
n:384 [in mathcomp.ssreflect.tuple]
n:384 [in mathcomp.algebra.ssralg]
n:384 [in mathcomp.algebra.mxalgebra]
n:385 [in mathcomp.ssreflect.seq]
n:385 [in mathcomp.ssreflect.ssrnat]
n:385 [in mathcomp.algebra.matrix]
n:385 [in mathcomp.ssreflect.prime]
n:386 [in mathcomp.algebra.ssrint]
n:387 [in mathcomp.ssreflect.div]
n:387 [in mathcomp.ssreflect.ssrnat]
n:387 [in mathcomp.ssreflect.prime]
n:387 [in mathcomp.algebra.ssralg]
n:388 [in mathcomp.algebra.mxalgebra]
n:3887 [in mathcomp.ssreflect.order]
n:3889 [in mathcomp.ssreflect.order]
n:389 [in mathcomp.ssreflect.div]
n:389 [in mathcomp.ssreflect.ssrnat]
n:389 [in mathcomp.algebra.ssrint]
n:389 [in mathcomp.ssreflect.prime]
n:3890 [in mathcomp.ssreflect.order]
n:3892 [in mathcomp.ssreflect.order]
n:3897 [in mathcomp.ssreflect.order]
n:39 [in mathcomp.ssreflect.tuple]
n:39 [in mathcomp.field.cyclotomic]
n:39 [in mathcomp.algebra.ssrint]
n:39 [in mathcomp.field.qfpoly]
n:39 [in mathcomp.algebra.ssralg]
n:39 [in mathcomp.algebra.vector]
n:39 [in mathcomp.solvable.nilpotent]
n:390 [in mathcomp.algebra.ssralg]
n:3900 [in mathcomp.ssreflect.order]
n:391 [in mathcomp.ssreflect.prime]
n:392 [in mathcomp.character.vcharacter]
n:392 [in mathcomp.algebra.matrix]
n:392 [in mathcomp.algebra.ssrint]
n:392 [in mathcomp.algebra.mxalgebra]
n:393 [in mathcomp.ssreflect.div]
n:393 [in mathcomp.ssreflect.prime]
n:394 [in mathcomp.ssreflect.prime]
n:396 [in mathcomp.ssreflect.prime]
n:396 [in mathcomp.solvable.abelian]
n:396 [in mathcomp.algebra.mxalgebra]
n:397 [in mathcomp.ssreflect.div]
n:397 [in mathcomp.algebra.mxpoly]
n:397 [in mathcomp.ssreflect.prime]
n:398 [in mathcomp.solvable.abelian]
n:399 [in mathcomp.ssreflect.prime]
n:399 [in mathcomp.algebra.mxalgebra]
n:4 [in mathcomp.character.mxrepresentation]
N:4 [in mathcomp.solvable.gseries]
n:40 [in mathcomp.fingroup.perm]
n:40 [in mathcomp.solvable.finmodule]
n:40 [in mathcomp.algebra.ssrint]
n:40 [in mathcomp.field.qfpoly]
n:40 [in mathcomp.field.finfield]
n:40 [in mathcomp.algebra.rat]
n:40 [in mathcomp.algebra.poly]
n:401 [in mathcomp.ssreflect.prime]
n:401 [in mathcomp.algebra.mxalgebra]
n:402 [in mathcomp.ssreflect.div]
n:403 [in mathcomp.ssreflect.ssrnat]
n:403 [in mathcomp.ssreflect.prime]
n:403 [in mathcomp.algebra.mxalgebra]
n:404 [in mathcomp.algebra.ssralg]
n:405 [in mathcomp.ssreflect.ssrnat]
n:405 [in mathcomp.algebra.ssralg]
n:405 [in mathcomp.algebra.mxalgebra]
n:407 [in mathcomp.ssreflect.ssrnat]
n:407 [in mathcomp.algebra.mxalgebra]
n:408 [in mathcomp.ssreflect.div]
n:408 [in mathcomp.ssreflect.seq]
n:408 [in mathcomp.ssreflect.prime]
n:408 [in mathcomp.algebra.ssralg]
n:409 [in mathcomp.ssreflect.ssrnat]
n:41 [in mathcomp.field.cyclotomic]
n:41 [in mathcomp.solvable.primitive_action]
n:41 [in mathcomp.fingroup.presentation]
n:41 [in mathcomp.solvable.nilpotent]
n:410 [in mathcomp.ssreflect.div]
n:410 [in mathcomp.solvable.abelian]
n:411 [in mathcomp.ssreflect.ssrnat]
n:411 [in mathcomp.algebra.mxpoly]
n:412 [in mathcomp.character.character]
n:412 [in mathcomp.algebra.mxalgebra]
n:413 [in mathcomp.ssreflect.div]
n:413 [in mathcomp.ssreflect.ssrnat]
n:413 [in mathcomp.character.classfun]
n:413 [in mathcomp.ssreflect.prime]
n:413 [in mathcomp.algebra.poly]
n:415 [in mathcomp.ssreflect.div]
n:415 [in mathcomp.ssreflect.ssrnat]
n:416 [in mathcomp.algebra.mxalgebra]
n:417 [in mathcomp.ssreflect.div]
n:418 [in mathcomp.ssreflect.seq]
n:418 [in mathcomp.ssreflect.ssrnat]
n:418 [in mathcomp.algebra.mxpoly]
n:418 [in mathcomp.algebra.ssralg]
n:419 [in mathcomp.algebra.mxalgebra]
n:42 [in mathcomp.field.cyclotomic]
n:42 [in mathcomp.ssreflect.ssrnat]
n:42 [in mathcomp.algebra.zmodp]
n:42 [in mathcomp.algebra.ssrint]
n:42 [in mathcomp.algebra.vector]
n:421 [in mathcomp.field.galois]
n:422 [in mathcomp.ssreflect.ssrnat]
n:422 [in mathcomp.algebra.poly]
n:422 [in mathcomp.algebra.mxalgebra]
n:424 [in mathcomp.algebra.polydiv]
n:424 [in mathcomp.ssreflect.ssrnat]
n:424 [in mathcomp.algebra.mxpoly]
n:425 [in mathcomp.algebra.mxalgebra]
n:426 [in mathcomp.ssreflect.div]
n:427 [in mathcomp.algebra.mxalgebra]
n:428 [in mathcomp.ssreflect.div]
n:428 [in mathcomp.ssreflect.ssrnat]
n:429 [in mathcomp.ssreflect.ssrnat]
n:43 [in mathcomp.ssreflect.tuple]
n:43 [in mathcomp.field.cyclotomic]
n:43 [in mathcomp.field.qfpoly]
n:43 [in mathcomp.algebra.poly]
n:43 [in mathcomp.solvable.nilpotent]
n:430 [in mathcomp.ssreflect.div]
n:430 [in mathcomp.algebra.mxalgebra]
n:431 [in mathcomp.algebra.ssrint]
n:432 [in mathcomp.ssreflect.div]
n:432 [in mathcomp.ssreflect.ssrnat]
n:433 [in mathcomp.algebra.intdiv]
n:433 [in mathcomp.algebra.mxalgebra]
n:434 [in mathcomp.ssreflect.ssrnat]
n:434 [in mathcomp.algebra.ssrint]
n:4343 [in mathcomp.ssreflect.order]
n:435 [in mathcomp.ssreflect.div]
n:4352 [in mathcomp.ssreflect.order]
n:4354 [in mathcomp.ssreflect.order]
n:4356 [in mathcomp.ssreflect.order]
n:436 [in mathcomp.algebra.mxalgebra]
n:4363 [in mathcomp.ssreflect.order]
n:437 [in mathcomp.ssreflect.div]
n:437 [in mathcomp.algebra.ssrint]
n:438 [in mathcomp.ssreflect.div]
n:438 [in mathcomp.ssreflect.ssrnat]
n:438 [in mathcomp.algebra.matrix]
n:439 [in mathcomp.ssreflect.div]
n:44 [in mathcomp.ssreflect.ssrnat]
n:44 [in mathcomp.algebra.matrix]
n:44 [in mathcomp.algebra.ssrint]
n:440 [in mathcomp.algebra.ssrint]
n:440 [in mathcomp.algebra.mxalgebra]
n:441 [in mathcomp.ssreflect.div]
n:441 [in mathcomp.ssreflect.ssrnat]
n:4411 [in mathcomp.ssreflect.order]
n:4413 [in mathcomp.ssreflect.order]
n:443 [in mathcomp.ssreflect.div]
n:443 [in mathcomp.algebra.ssrint]
n:4441 [in mathcomp.ssreflect.order]
n:4443 [in mathcomp.ssreflect.order]
n:4445 [in mathcomp.ssreflect.order]
n:4447 [in mathcomp.ssreflect.order]
n:445 [in mathcomp.ssreflect.div]
n:445 [in mathcomp.algebra.mxalgebra]
n:4450 [in mathcomp.ssreflect.order]
n:4452 [in mathcomp.ssreflect.order]
n:4454 [in mathcomp.ssreflect.order]
n:4456 [in mathcomp.ssreflect.order]
n:4458 [in mathcomp.ssreflect.order]
n:446 [in mathcomp.ssreflect.div]
n:446 [in mathcomp.algebra.ssrint]
n:4460 [in mathcomp.ssreflect.order]
n:4462 [in mathcomp.ssreflect.order]
n:4464 [in mathcomp.ssreflect.order]
n:4466 [in mathcomp.ssreflect.order]
n:4468 [in mathcomp.ssreflect.order]
n:447 [in mathcomp.ssreflect.div]
n:4470 [in mathcomp.ssreflect.order]
n:4472 [in mathcomp.ssreflect.order]
n:4474 [in mathcomp.ssreflect.order]
n:4477 [in mathcomp.ssreflect.order]
n:448 [in mathcomp.ssreflect.div]
n:448 [in mathcomp.character.classfun]
n:4486 [in mathcomp.ssreflect.order]
n:4488 [in mathcomp.ssreflect.order]
n:449 [in mathcomp.ssreflect.div]
n:449 [in mathcomp.ssreflect.ssrnat]
n:449 [in mathcomp.algebra.ssrint]
n:449 [in mathcomp.algebra.ssralg]
n:4490 [in mathcomp.ssreflect.order]
n:4496 [in mathcomp.ssreflect.order]
n:45 [in mathcomp.ssreflect.seq]
n:45 [in mathcomp.ssreflect.ssrnat]
n:45 [in mathcomp.solvable.primitive_action]
n:45 [in mathcomp.solvable.cyclic]
n:45 [in mathcomp.solvable.nilpotent]
n:450 [in mathcomp.ssreflect.div]
n:450 [in mathcomp.algebra.polydiv]
n:450 [in mathcomp.algebra.mxalgebra]
n:4502 [in mathcomp.ssreflect.order]
n:4509 [in mathcomp.ssreflect.order]
n:451 [in mathcomp.ssreflect.div]
n:4511 [in mathcomp.ssreflect.order]
n:4513 [in mathcomp.ssreflect.order]
n:452 [in mathcomp.ssreflect.div]
n:452 [in mathcomp.algebra.ssrint]
n:4522 [in mathcomp.ssreflect.order]
n:4525 [in mathcomp.ssreflect.order]
n:4527 [in mathcomp.ssreflect.order]
n:4529 [in mathcomp.ssreflect.order]
n:453 [in mathcomp.algebra.polydiv]
n:453 [in mathcomp.algebra.poly]
n:4531 [in mathcomp.ssreflect.order]
n:4533 [in mathcomp.ssreflect.order]
n:4535 [in mathcomp.ssreflect.order]
n:4537 [in mathcomp.ssreflect.order]
n:4539 [in mathcomp.ssreflect.order]
n:454 [in mathcomp.algebra.mxalgebra]
n:456 [in mathcomp.ssreflect.div]
n:456 [in mathcomp.ssreflect.ssrnat]
n:457 [in mathcomp.ssreflect.ssrnat]
n:457 [in mathcomp.algebra.ssrint]
n:458 [in mathcomp.ssreflect.prime]
n:459 [in mathcomp.ssreflect.div]
n:459 [in mathcomp.algebra.ssrint]
n:46 [in mathcomp.ssreflect.tuple]
n:46 [in mathcomp.algebra.zmodp]
n:46 [in mathcomp.algebra.ssrint]
n:46 [in mathcomp.field.qfpoly]
n:46 [in mathcomp.algebra.rat]
n:46 [in mathcomp.algebra.poly]
n:460 [in mathcomp.algebra.mxalgebra]
n:4605 [in mathcomp.ssreflect.order]
n:4606 [in mathcomp.ssreflect.order]
n:4609 [in mathcomp.ssreflect.order]
n:461 [in mathcomp.ssreflect.ssrnat]
n:461 [in mathcomp.algebra.ssrint]
n:461 [in mathcomp.ssreflect.prime]
n:4610 [in mathcomp.ssreflect.order]
n:4613 [in mathcomp.ssreflect.order]
n:4616 [in mathcomp.ssreflect.order]
n:462 [in mathcomp.ssreflect.div]
n:462 [in mathcomp.algebra.ssrint]
n:463 [in mathcomp.algebra.ssrint]
n:464 [in mathcomp.algebra.ssrint]
n:464 [in mathcomp.ssreflect.prime]
n:465 [in mathcomp.ssreflect.div]
n:465 [in mathcomp.algebra.ssrint]
N:466 [in mathcomp.character.inertia]
n:466 [in mathcomp.algebra.ssrint]
n:466 [in mathcomp.algebra.mxalgebra]
n:467 [in mathcomp.algebra.ssrint]
n:467 [in mathcomp.ssreflect.prime]
n:468 [in mathcomp.ssreflect.div]
n:468 [in mathcomp.algebra.ssrint]
n:469 [in mathcomp.algebra.ssrint]
n:47 [in mathcomp.ssreflect.div]
n:47 [in mathcomp.algebra.matrix]
n:47 [in mathcomp.algebra.ssrint]
n:47 [in mathcomp.solvable.cyclic]
n:47 [in mathcomp.algebra.ssralg]
n:47 [in mathcomp.solvable.extraspecial]
n:47 [in mathcomp.solvable.nilpotent]
n:470 [in mathcomp.ssreflect.div]
n:470 [in mathcomp.algebra.ssrint]
n:470 [in mathcomp.ssreflect.prime]
n:4704 [in mathcomp.ssreflect.order]
n:472 [in mathcomp.algebra.ssrint]
n:472 [in mathcomp.ssreflect.prime]
n:472 [in mathcomp.algebra.mxalgebra]
n:473 [in mathcomp.ssreflect.div]
n:474 [in mathcomp.algebra.ssrint]
n:475 [in mathcomp.algebra.ssrint]
n:475 [in mathcomp.ssreflect.prime]
n:475 [in mathcomp.algebra.ssralg]
n:476 [in mathcomp.ssreflect.div]
N:477 [in mathcomp.character.inertia]
n:478 [in mathcomp.algebra.ssrint]
n:478 [in mathcomp.ssreflect.prime]
n:478 [in mathcomp.algebra.mxalgebra]
n:479 [in mathcomp.ssreflect.div]
n:48 [in mathcomp.character.vcharacter]
n:48 [in mathcomp.algebra.polydiv]
n:48 [in mathcomp.ssreflect.ssrnat]
n:48 [in mathcomp.solvable.primitive_action]
n:48 [in mathcomp.algebra.ssrint]
n:48 [in mathcomp.solvable.extraspecial]
n:480 [in mathcomp.ssreflect.ssrnat]
n:480 [in mathcomp.algebra.poly]
n:481 [in mathcomp.ssreflect.prime]
n:481 [in mathcomp.algebra.ssralg]
n:482 [in mathcomp.ssreflect.div]
n:482 [in mathcomp.algebra.ssrint]
n:482 [in mathcomp.algebra.poly]
n:483 [in mathcomp.ssreflect.prime]
N:484 [in mathcomp.character.inertia]
n:484 [in mathcomp.algebra.ssrint]
n:484 [in mathcomp.solvable.abelian]
n:484 [in mathcomp.algebra.mxalgebra]
n:485 [in mathcomp.ssreflect.div]
n:485 [in mathcomp.algebra.poly]
n:486 [in mathcomp.ssreflect.ssrnat]
n:486 [in mathcomp.solvable.abelian]
n:488 [in mathcomp.ssreflect.div]
n:488 [in mathcomp.ssreflect.prime]
n:489 [in mathcomp.algebra.ssrint]
n:489 [in mathcomp.ssreflect.prime]
n:489 [in mathcomp.algebra.mxalgebra]
n:49 [in mathcomp.ssreflect.tuple]
n:49 [in mathcomp.algebra.polydiv]
n:49 [in mathcomp.solvable.cyclic]
n:49 [in mathcomp.solvable.extraspecial]
n:49 [in mathcomp.solvable.nilpotent]
n:49 [in mathcomp.algebra.mxalgebra]
n:491 [in mathcomp.ssreflect.div]
n:491 [in mathcomp.algebra.polydiv]
n:491 [in mathcomp.algebra.ssrint]
n:491 [in mathcomp.ssreflect.prime]
n:491 [in mathcomp.solvable.abelian]
n:491 [in mathcomp.algebra.ssralg]
n:491 [in mathcomp.algebra.mxalgebra]
n:492 [in mathcomp.algebra.ssrint]
n:492 [in mathcomp.algebra.ssralg]
n:493 [in mathcomp.ssreflect.ssrnat]
n:493 [in mathcomp.ssreflect.prime]
n:493 [in mathcomp.solvable.abelian]
n:494 [in mathcomp.ssreflect.div]
n:494 [in mathcomp.algebra.ssrint]
n:495 [in mathcomp.ssreflect.prime]
n:495 [in mathcomp.algebra.mxalgebra]
n:496 [in mathcomp.ssreflect.div]
n:496 [in mathcomp.algebra.ssrint]
N:497 [in mathcomp.character.inertia]
n:497 [in mathcomp.ssreflect.prime]
n:497 [in mathcomp.algebra.vector]
n:499 [in mathcomp.ssreflect.div]
n:499 [in mathcomp.algebra.ssrint]
n:499 [in mathcomp.algebra.mxalgebra]
n:5 [in mathcomp.ssreflect.binomial]
n:5 [in mathcomp.ssreflect.prime]
n:5 [in mathcomp.solvable.extraspecial]
n:50 [in mathcomp.algebra.matrix]
n:50 [in mathcomp.algebra.ssrint]
n:50 [in mathcomp.algebra.ssralg]
n:50 [in mathcomp.solvable.extraspecial]
n:50 [in mathcomp.algebra.poly]
n:500 [in mathcomp.algebra.polydiv]
n:500 [in mathcomp.ssreflect.ssrnat]
n:500 [in mathcomp.ssreflect.prime]
n:500 [in mathcomp.algebra.ssralg]
n:501 [in mathcomp.ssreflect.div]
n:501 [in mathcomp.algebra.ssralg]
n:501 [in mathcomp.algebra.vector]
n:502 [in mathcomp.algebra.ssrint]
n:502 [in mathcomp.ssreflect.prime]
n:504 [in mathcomp.ssreflect.div]
n:504 [in mathcomp.ssreflect.prime]
n:504 [in mathcomp.algebra.vector]
n:505 [in mathcomp.algebra.ssrint]
n:505 [in mathcomp.algebra.ssralg]
n:506 [in mathcomp.algebra.ssrint]
n:506 [in mathcomp.algebra.mxalgebra]
n:507 [in mathcomp.ssreflect.ssrnat]
n:507 [in mathcomp.ssreflect.prime]
n:507 [in mathcomp.algebra.vector]
n:509 [in mathcomp.algebra.ssrint]
n:51 [in mathcomp.ssreflect.binomial]
n:51 [in mathcomp.algebra.intdiv]
n:51 [in mathcomp.ssreflect.ssrnat]
n:51 [in mathcomp.solvable.primitive_action]
n:51 [in mathcomp.solvable.extraspecial]
n:51 [in mathcomp.solvable.nilpotent]
n:510 [in mathcomp.ssreflect.ssrnat]
N:510 [in mathcomp.character.inertia]
n:510 [in mathcomp.ssreflect.prime]
n:512 [in mathcomp.algebra.ssrint]
n:512 [in mathcomp.algebra.mxalgebra]
n:513 [in mathcomp.ssreflect.ssrnat]
n:514 [in mathcomp.ssreflect.prime]
n:515 [in mathcomp.algebra.ssrint]
n:516 [in mathcomp.algebra.mxpoly]
n:517 [in mathcomp.ssreflect.ssrnat]
n:517 [in mathcomp.algebra.ssrint]
n:517 [in mathcomp.ssreflect.prime]
n:517 [in mathcomp.algebra.mxalgebra]
n:518 [in mathcomp.algebra.matrix]
n:519 [in mathcomp.algebra.mxpoly]
n:52 [in mathcomp.ssreflect.ssrnat]
n:52 [in mathcomp.algebra.ssrint]
n:52 [in mathcomp.solvable.cyclic]
n:520 [in mathcomp.algebra.mxalgebra]
n:521 [in mathcomp.ssreflect.ssrnat]
n:521 [in mathcomp.ssreflect.prime]
n:521 [in mathcomp.algebra.mxalgebra]
n:522 [in mathcomp.algebra.matrix]
n:522 [in mathcomp.algebra.ssrint]
n:523 [in mathcomp.algebra.poly]
n:524 [in mathcomp.ssreflect.seq]
n:524 [in mathcomp.algebra.polydiv]
n:524 [in mathcomp.ssreflect.prime]
n:524 [in mathcomp.algebra.poly]
n:524 [in mathcomp.algebra.mxalgebra]
n:525 [in mathcomp.algebra.ssrint]
n:525 [in mathcomp.ssreflect.order]
n:525 [in mathcomp.algebra.poly]
n:526 [in mathcomp.ssreflect.ssrnat]
n:526 [in mathcomp.ssreflect.prime]
n:526 [in mathcomp.algebra.vector]
n:526 [in mathcomp.algebra.poly]
n:527 [in mathcomp.ssreflect.ssrnat]
n:527 [in mathcomp.algebra.mxalgebra]
n:528 [in mathcomp.algebra.ssrint]
n:528 [in mathcomp.ssreflect.prime]
n:528 [in mathcomp.algebra.poly]
n:53 [in mathcomp.ssreflect.ssrnat]
n:53 [in mathcomp.algebra.matrix]
n:53 [in mathcomp.algebra.ssralg]
n:53 [in mathcomp.solvable.nilpotent]
n:53 [in mathcomp.algebra.mxalgebra]
n:530 [in mathcomp.algebra.mxpoly]
n:530 [in mathcomp.algebra.ssrint]
n:530 [in mathcomp.ssreflect.prime]
n:530 [in mathcomp.algebra.poly]
n:531 [in mathcomp.algebra.mxalgebra]
n:532 [in mathcomp.ssreflect.ssrnat]
n:532 [in mathcomp.ssreflect.order]
n:532 [in mathcomp.ssreflect.prime]
n:533 [in mathcomp.ssreflect.ssrnat]
N:533 [in mathcomp.character.inertia]
n:534 [in mathcomp.ssreflect.prime]
n:534 [in mathcomp.algebra.vector]
n:535 [in mathcomp.algebra.mxpoly]
n:535 [in mathcomp.algebra.poly]
n:536 [in mathcomp.algebra.polydiv]
n:536 [in mathcomp.algebra.ssrint]
n:536 [in mathcomp.algebra.mxalgebra]
n:538 [in mathcomp.algebra.ssrint]
n:538 [in mathcomp.ssreflect.prime]
n:538 [in mathcomp.algebra.vector]
n:539 [in mathcomp.algebra.polydiv]
N:539 [in mathcomp.character.inertia]
n:539 [in mathcomp.ssreflect.order]
n:54 [in mathcomp.ssreflect.tuple]
n:54 [in mathcomp.field.cyclotomic]
n:54 [in mathcomp.algebra.polydiv]
n:54 [in mathcomp.ssreflect.ssrnat]
n:54 [in mathcomp.algebra.ssrint]
n:54 [in mathcomp.algebra.finalg]
n:54 [in mathcomp.algebra.ssralg]
n:540 [in mathcomp.algebra.matrix]
n:540 [in mathcomp.ssreflect.prime]
n:540 [in mathcomp.algebra.mxalgebra]
n:541 [in mathcomp.algebra.polydiv]
n:541 [in mathcomp.algebra.mxalgebra]
n:542 [in mathcomp.algebra.mxpoly]
n:542 [in mathcomp.algebra.ssrint]
n:543 [in mathcomp.algebra.polydiv]
n:543 [in mathcomp.algebra.mxalgebra]
n:544 [in mathcomp.ssreflect.ssrnat]
n:544 [in mathcomp.ssreflect.prime]
n:545 [in mathcomp.ssreflect.ssrnat]
n:545 [in mathcomp.algebra.matrix]
n:546 [in mathcomp.algebra.polydiv]
n:546 [in mathcomp.algebra.ssrint]
n:546 [in mathcomp.ssreflect.order]
n:546 [in mathcomp.solvable.abelian]
n:546 [in mathcomp.algebra.mxalgebra]
n:547 [in mathcomp.ssreflect.ssrnat]
n:547 [in mathcomp.ssreflect.prime]
n:548 [in mathcomp.algebra.ssrint]
n:549 [in mathcomp.algebra.polydiv]
n:549 [in mathcomp.ssreflect.ssrnat]
n:549 [in mathcomp.algebra.matrix]
n:549 [in mathcomp.algebra.ssrint]
n:549 [in mathcomp.algebra.poly]
n:549 [in mathcomp.algebra.mxalgebra]
n:55 [in mathcomp.ssreflect.binomial]
n:55 [in mathcomp.solvable.primitive_action]
n:55 [in mathcomp.algebra.ssrint]
n:550 [in mathcomp.ssreflect.prime]
n:551 [in mathcomp.algebra.polydiv]
n:551 [in mathcomp.ssreflect.ssrnat]
n:552 [in mathcomp.character.classfun]
n:552 [in mathcomp.algebra.ssrint]
n:552 [in mathcomp.algebra.mxalgebra]
n:553 [in mathcomp.algebra.polydiv]
n:553 [in mathcomp.ssreflect.ssrnat]
n:553 [in mathcomp.algebra.matrix]
n:553 [in mathcomp.ssreflect.prime]
n:553 [in mathcomp.solvable.abelian]
n:554 [in mathcomp.character.classfun]
n:554 [in mathcomp.ssreflect.prime]
n:555 [in mathcomp.ssreflect.ssrnat]
n:555 [in mathcomp.algebra.mxpoly]
n:555 [in mathcomp.ssreflect.prime]
n:555 [in mathcomp.algebra.vector]
n:556 [in mathcomp.algebra.mxalgebra]
n:557 [in mathcomp.ssreflect.ssrnat]
n:557 [in mathcomp.algebra.ssrint]
n:558 [in mathcomp.ssreflect.prime]
n:559 [in mathcomp.algebra.ssrint]
n:559 [in mathcomp.ssreflect.path]
n:559 [in mathcomp.ssreflect.prime]
n:56 [in mathcomp.ssreflect.ssrnat]
n:56 [in mathcomp.algebra.matrix]
n:56 [in mathcomp.algebra.ssrint]
n:56 [in mathcomp.solvable.cyclic]
n:56 [in mathcomp.solvable.nilpotent]
n:560 [in mathcomp.ssreflect.ssrnat]
n:560 [in mathcomp.algebra.mxpoly]
n:560 [in mathcomp.ssreflect.prime]
n:560 [in mathcomp.algebra.vector]
n:560 [in mathcomp.algebra.poly]
n:561 [in mathcomp.ssreflect.path]
n:561 [in mathcomp.algebra.ssralg]
n:562 [in mathcomp.ssreflect.ssrnat]
n:562 [in mathcomp.algebra.ssrint]
n:562 [in mathcomp.algebra.mxalgebra]
n:563 [in mathcomp.ssreflect.prime]
n:564 [in mathcomp.ssreflect.ssrnat]
n:564 [in mathcomp.algebra.matrix]
n:564 [in mathcomp.algebra.mxpoly]
n:564 [in mathcomp.ssreflect.path]
n:564 [in mathcomp.ssreflect.prime]
n:564 [in mathcomp.solvable.abelian]
n:565 [in mathcomp.character.character]
n:566 [in mathcomp.ssreflect.ssrnat]
n:567 [in mathcomp.algebra.mxalgebra]
n:568 [in mathcomp.ssreflect.ssrnat]
n:568 [in mathcomp.algebra.mxpoly]
n:569 [in mathcomp.algebra.ssralg]
n:57 [in mathcomp.ssreflect.binomial]
n:57 [in mathcomp.ssreflect.tuple]
n:57 [in mathcomp.algebra.ssralg]
n:570 [in mathcomp.ssreflect.ssrnat]
n:570 [in mathcomp.algebra.ssrint]
n:570 [in mathcomp.algebra.ssralg]
n:571 [in mathcomp.algebra.ssralg]
n:571 [in mathcomp.character.character]
n:572 [in mathcomp.algebra.mxalgebra]
n:573 [in mathcomp.algebra.ssrint]
n:573 [in mathcomp.ssreflect.path]
n:574 [in mathcomp.algebra.polydiv]
n:574 [in mathcomp.ssreflect.prime]
n:576 [in mathcomp.algebra.polydiv]
n:576 [in mathcomp.algebra.ssrint]
n:577 [in mathcomp.ssreflect.prime]
n:577 [in mathcomp.algebra.mxalgebra]
n:579 [in mathcomp.algebra.polydiv]
n:579 [in mathcomp.algebra.ssrint]
n:58 [in mathcomp.field.cyclotomic]
n:58 [in mathcomp.algebra.zmodp]
n:58 [in mathcomp.fingroup.morphism]
n:58 [in mathcomp.solvable.nilpotent]
n:580 [in mathcomp.algebra.matrix]
n:581 [in mathcomp.ssreflect.prime]
n:582 [in mathcomp.algebra.mxalgebra]
n:583 [in mathcomp.algebra.ssrint]
n:583 [in mathcomp.algebra.ssralg]
n:585 [in mathcomp.ssreflect.seq]
n:585 [in mathcomp.ssreflect.prime]
n:585 [in mathcomp.algebra.ssralg]
n:585 [in mathcomp.algebra.poly]
n:586 [in mathcomp.ssreflect.seq]
n:586 [in mathcomp.algebra.ssrint]
n:586 [in mathcomp.algebra.ssralg]
n:587 [in mathcomp.algebra.mxalgebra]
n:589 [in mathcomp.ssreflect.seq]
n:589 [in mathcomp.algebra.polydiv]
n:59 [in mathcomp.ssreflect.binomial]
n:59 [in mathcomp.field.cyclotomic]
n:59 [in mathcomp.ssreflect.ssrnat]
n:59 [in mathcomp.algebra.matrix]
n:59 [in mathcomp.field.closed_field]
n:59 [in mathcomp.solvable.cyclic]
n:59 [in mathcomp.algebra.mxalgebra]
n:590 [in mathcomp.ssreflect.prime]
n:590 [in mathcomp.algebra.ssralg]
n:591 [in mathcomp.ssreflect.prime]
n:591 [in mathcomp.algebra.vector]
n:592 [in mathcomp.ssreflect.seq]
n:592 [in mathcomp.algebra.polydiv]
n:592 [in mathcomp.algebra.mxalgebra]
n:593 [in mathcomp.algebra.matrix]
n:596 [in mathcomp.algebra.mxalgebra]
n:597 [in mathcomp.ssreflect.path]
n:597 [in mathcomp.algebra.ssrnum]
n:597 [in mathcomp.algebra.poly]
n:599 [in mathcomp.solvable.abelian]
n:599 [in mathcomp.algebra.poly]
n:599 [in mathcomp.algebra.mxalgebra]
n:6 [in mathcomp.solvable.nilpotent]
n:6 [in mathcomp.algebra.qpoly]
n:60 [in mathcomp.field.separable]
n:60 [in mathcomp.algebra.ssrint]
n:60 [in mathcomp.ssreflect.prime]
n:603 [in mathcomp.character.character]
n:605 [in mathcomp.algebra.matrix]
n:606 [in mathcomp.algebra.ssralg]
n:606 [in mathcomp.algebra.mxalgebra]
n:608 [in mathcomp.solvable.abelian]
n:609 [in mathcomp.algebra.mxpoly]
n:609 [in mathcomp.fingroup.fingroup]
n:609 [in mathcomp.algebra.vector]
n:609 [in mathcomp.algebra.poly]
n:61 [in mathcomp.ssreflect.binomial]
n:61 [in mathcomp.ssreflect.ssrnat]
n:61 [in mathcomp.algebra.ssrint]
n:61 [in mathcomp.ssreflect.prime]
n:61 [in mathcomp.algebra.rat]
n:61 [in mathcomp.solvable.nilpotent]
n:611 [in mathcomp.solvable.abelian]
n:612 [in mathcomp.ssreflect.ssrnat]
n:613 [in mathcomp.algebra.mxpoly]
n:613 [in mathcomp.algebra.ssralg]
n:614 [in mathcomp.ssreflect.ssrnat]
n:614 [in mathcomp.algebra.poly]
n:615 [in mathcomp.algebra.mxalgebra]
n:616 [in mathcomp.algebra.poly]
n:617 [in mathcomp.algebra.poly]
n:619 [in mathcomp.algebra.mxpoly]
n:619 [in mathcomp.algebra.ssralg]
n:62 [in mathcomp.ssreflect.binomial]
n:62 [in mathcomp.ssreflect.choice]
n:62 [in mathcomp.solvable.finmodule]
n:62 [in mathcomp.field.separable]
n:62 [in mathcomp.solvable.cyclic]
n:620 [in mathcomp.ssreflect.ssrnat]
n:620 [in mathcomp.algebra.mxalgebra]
n:622 [in mathcomp.algebra.ssrint]
n:622 [in mathcomp.algebra.poly]
n:623 [in mathcomp.algebra.matrix]
n:623 [in mathcomp.algebra.poly]
n:624 [in mathcomp.ssreflect.ssrnat]
n:624 [in mathcomp.algebra.mxpoly]
n:624 [in mathcomp.algebra.poly]
n:626 [in mathcomp.algebra.poly]
n:627 [in mathcomp.algebra.poly]
n:627 [in mathcomp.algebra.mxalgebra]
n:628 [in mathcomp.ssreflect.ssrnat]
n:629 [in mathcomp.algebra.matrix]
n:629 [in mathcomp.character.character]
n:63 [in mathcomp.ssreflect.ssrnat]
n:63 [in mathcomp.ssreflect.prime]
n:63 [in mathcomp.algebra.ssralg]
n:630 [in mathcomp.ssreflect.ssrnat]
n:631 [in mathcomp.algebra.ssralg]
n:632 [in mathcomp.ssreflect.ssrnat]
n:632 [in mathcomp.algebra.mxpoly]
n:632 [in mathcomp.algebra.poly]
n:635 [in mathcomp.ssreflect.ssrnat]
n:636 [in mathcomp.ssreflect.ssrnat]
n:637 [in mathcomp.ssreflect.ssrnat]
n:637 [in mathcomp.algebra.poly]
n:638 [in mathcomp.algebra.mxpoly]
n:64 [in mathcomp.ssreflect.binomial]
n:64 [in mathcomp.algebra.polydiv]
n:64 [in mathcomp.algebra.ssrint]
n:64 [in mathcomp.algebra.rat]
n:64 [in mathcomp.character.character]
n:640 [in mathcomp.algebra.poly]
n:641 [in mathcomp.algebra.matrix]
n:641 [in mathcomp.solvable.abelian]
n:643 [in mathcomp.ssreflect.ssrnat]
n:643 [in mathcomp.algebra.mxpoly]
n:643 [in mathcomp.algebra.poly]
n:645 [in mathcomp.algebra.mxalgebra]
n:646 [in mathcomp.algebra.matrix]
n:646 [in mathcomp.algebra.poly]
n:647 [in mathcomp.algebra.mxpoly]
n:648 [in mathcomp.algebra.poly]
n:649 [in mathcomp.algebra.poly]
n:649 [in mathcomp.algebra.mxalgebra]
n:65 [in mathcomp.ssreflect.ssrnat]
n:65 [in mathcomp.algebra.zmodp]
n:65 [in mathcomp.field.closed_field]
n:65 [in mathcomp.algebra.fraction]
n:65 [in mathcomp.solvable.nilpotent]
n:65 [in mathcomp.algebra.mxalgebra]
n:651 [in mathcomp.ssreflect.ssrnat]
n:652 [in mathcomp.algebra.mxpoly]
n:652 [in mathcomp.algebra.mxalgebra]
n:653 [in mathcomp.algebra.poly]
n:655 [in mathcomp.ssreflect.ssrnat]
n:655 [in mathcomp.algebra.matrix]
n:655 [in mathcomp.algebra.poly]
n:655 [in mathcomp.algebra.mxalgebra]
n:656 [in mathcomp.algebra.mxpoly]
n:656 [in mathcomp.algebra.mxalgebra]
n:657 [in mathcomp.character.character]
n:658 [in mathcomp.algebra.poly]
n:659 [in mathcomp.algebra.mxpoly]
n:66 [in mathcomp.algebra.ssrint]
n:66 [in mathcomp.solvable.abelian]
N:660 [in mathcomp.field.galois]
n:660 [in mathcomp.algebra.mxalgebra]
n:661 [in mathcomp.algebra.polydiv]
n:661 [in mathcomp.algebra.mxpoly]
n:661 [in mathcomp.algebra.poly]
n:664 [in mathcomp.algebra.mxpoly]
n:664 [in mathcomp.algebra.mxalgebra]
n:665 [in mathcomp.algebra.polydiv]
n:665 [in mathcomp.algebra.poly]
n:666 [in mathcomp.algebra.mxpoly]
n:667 [in mathcomp.algebra.ssrint]
n:667 [in mathcomp.algebra.ssralg]
n:667 [in mathcomp.algebra.mxalgebra]
n:668 [in mathcomp.algebra.polydiv]
n:669 [in mathcomp.algebra.mxpoly]
n:669 [in mathcomp.algebra.ssralg]
n:669 [in mathcomp.algebra.poly]
n:67 [in mathcomp.ssreflect.choice]
n:67 [in mathcomp.ssreflect.ssrnat]
n:67 [in mathcomp.ssreflect.prime]
n:67 [in mathcomp.algebra.poly]
n:671 [in mathcomp.algebra.poly]
n:672 [in mathcomp.algebra.mxpoly]
n:672 [in mathcomp.algebra.poly]
n:672 [in mathcomp.algebra.mxalgebra]
n:673 [in mathcomp.ssreflect.ssrnat]
n:673 [in mathcomp.algebra.ssrint]
n:673 [in mathcomp.algebra.poly]
n:674 [in mathcomp.algebra.poly]
n:676 [in mathcomp.ssreflect.ssrnat]
n:676 [in mathcomp.algebra.mxpoly]
n:676 [in mathcomp.algebra.mxalgebra]
n:677 [in mathcomp.algebra.polydiv]
n:679 [in mathcomp.ssreflect.ssrnat]
n:679 [in mathcomp.algebra.ssrint]
n:679 [in mathcomp.algebra.poly]
n:679 [in mathcomp.algebra.mxalgebra]
n:68 [in mathcomp.algebra.ssrint]
n:68 [in mathcomp.algebra.fraction]
n:680 [in mathcomp.algebra.polydiv]
n:680 [in mathcomp.algebra.mxpoly]
n:681 [in mathcomp.algebra.ssrint]
n:682 [in mathcomp.fingroup.action]
n:683 [in mathcomp.algebra.polydiv]
n:683 [in mathcomp.ssreflect.ssrnat]
n:683 [in mathcomp.algebra.ssrint]
n:684 [in mathcomp.ssreflect.seq]
n:684 [in mathcomp.algebra.mxpoly]
n:684 [in mathcomp.algebra.poly]
n:686 [in mathcomp.algebra.polydiv]
n:686 [in mathcomp.ssreflect.ssrnat]
n:687 [in mathcomp.algebra.poly]
n:688 [in mathcomp.algebra.mxalgebra]
n:689 [in mathcomp.algebra.polydiv]
n:689 [in mathcomp.ssreflect.ssrnat]
n:689 [in mathcomp.algebra.ssrint]
n:69 [in mathcomp.ssreflect.binomial]
n:69 [in mathcomp.ssreflect.ssrnat]
N:69 [in mathcomp.ssreflect.ssrAC]
n:69 [in mathcomp.solvable.nilpotent]
n:69 [in mathcomp.algebra.mxalgebra]
n:690 [in mathcomp.ssreflect.ssrnat]
n:690 [in mathcomp.algebra.mxpoly]
n:690 [in mathcomp.algebra.poly]
n:691 [in mathcomp.ssreflect.ssrnat]
n:693 [in mathcomp.ssreflect.ssrnat]
n:693 [in mathcomp.algebra.mxpoly]
n:693 [in mathcomp.algebra.poly]
n:694 [in mathcomp.ssreflect.path]
n:694 [in mathcomp.algebra.poly]
n:695 [in mathcomp.algebra.ssrint]
n:696 [in mathcomp.algebra.mxalgebra]
n:698 [in mathcomp.ssreflect.path]
n:698 [in mathcomp.algebra.poly]
n:7 [in mathcomp.ssreflect.ssrnat]
n:7 [in mathcomp.ssreflect.fingraph]
n:70 [in mathcomp.character.character]
n:700 [in mathcomp.ssreflect.path]
n:701 [in mathcomp.algebra.ssrint]
n:701 [in mathcomp.algebra.mxalgebra]
n:702 [in mathcomp.ssreflect.path]
n:704 [in mathcomp.ssreflect.ssrnat]
n:704 [in mathcomp.ssreflect.path]
n:705 [in mathcomp.algebra.poly]
n:706 [in mathcomp.ssreflect.ssrnat]
n:707 [in mathcomp.ssreflect.ssrnat]
n:707 [in mathcomp.algebra.ssrint]
n:707 [in mathcomp.ssreflect.path]
n:707 [in mathcomp.algebra.mxalgebra]
N:708 [in mathcomp.fingroup.action]
n:709 [in mathcomp.ssreflect.path]
n:709 [in mathcomp.algebra.ssrnum]
n:71 [in mathcomp.ssreflect.binomial]
n:71 [in mathcomp.ssreflect.div]
n:71 [in mathcomp.ssreflect.ssrnat]
n:71 [in mathcomp.ssreflect.prime]
n:710 [in mathcomp.ssreflect.ssrnat]
n:712 [in mathcomp.ssreflect.path]
n:713 [in mathcomp.ssreflect.ssrnat]
n:713 [in mathcomp.algebra.ssralg]
n:714 [in mathcomp.ssreflect.path]
n:714 [in mathcomp.algebra.ssrnum]
n:715 [in mathcomp.algebra.polydiv]
n:715 [in mathcomp.ssreflect.ssrnat]
n:715 [in mathcomp.algebra.poly]
n:717 [in mathcomp.algebra.mxpoly]
n:717 [in mathcomp.algebra.ssralg]
n:717 [in mathcomp.algebra.mxalgebra]
n:719 [in mathcomp.ssreflect.ssrnat]
N:719 [in mathcomp.fingroup.action]
n:719 [in mathcomp.algebra.ssrnum]
n:72 [in mathcomp.algebra.intdiv]
n:72 [in mathcomp.ssreflect.ssrnat]
n:72 [in mathcomp.algebra.mxpoly]
n:72 [in mathcomp.algebra.ssrint]
n:72 [in mathcomp.ssreflect.prime]
n:720 [in mathcomp.algebra.ssrnum]
n:720 [in mathcomp.algebra.ssralg]
n:721 [in mathcomp.ssreflect.ssrnat]
n:721 [in mathcomp.algebra.ssrint]
n:722 [in mathcomp.ssreflect.ssrnat]
n:723 [in mathcomp.algebra.matrix]
n:723 [in mathcomp.algebra.ssralg]
n:724 [in mathcomp.algebra.mxalgebra]
n:725 [in mathcomp.ssreflect.ssrnat]
n:725 [in mathcomp.ssreflect.path]
n:726 [in mathcomp.ssreflect.ssrnat]
n:726 [in mathcomp.algebra.matrix]
n:726 [in mathcomp.algebra.ssrnum]
n:727 [in mathcomp.ssreflect.ssrnat]
n:727 [in mathcomp.ssreflect.path]
n:728 [in mathcomp.algebra.ssrnum]
n:729 [in mathcomp.algebra.matrix]
n:729 [in mathcomp.ssreflect.path]
n:73 [in mathcomp.ssreflect.binomial]
n:73 [in mathcomp.algebra.polydiv]
n:73 [in mathcomp.ssreflect.ssrnat]
n:73 [in mathcomp.character.classfun]
n:73 [in mathcomp.ssreflect.prime]
n:73 [in mathcomp.solvable.extraspecial]
n:73 [in mathcomp.solvable.nilpotent]
n:73 [in mathcomp.algebra.mxalgebra]
n:730 [in mathcomp.algebra.mxpoly]
n:730 [in mathcomp.algebra.ssrnum]
n:730 [in mathcomp.algebra.mxalgebra]
n:731 [in mathcomp.ssreflect.ssrnat]
n:731 [in mathcomp.algebra.matrix]
n:731 [in mathcomp.ssreflect.path]
n:732 [in mathcomp.algebra.ssrnum]
n:733 [in mathcomp.ssreflect.ssrnat]
n:734 [in mathcomp.ssreflect.path]
n:735 [in mathcomp.ssreflect.ssrnat]
n:735 [in mathcomp.algebra.mxpoly]
n:735 [in mathcomp.algebra.ssrnum]
n:736 [in mathcomp.algebra.ssrnum]
n:737 [in mathcomp.ssreflect.ssrnat]
n:737 [in mathcomp.algebra.mxalgebra]
n:738 [in mathcomp.algebra.ssrint]
n:739 [in mathcomp.ssreflect.ssrnat]
n:739 [in mathcomp.algebra.mxpoly]
n:739 [in mathcomp.ssreflect.path]
n:739 [in mathcomp.ssreflect.bigop]
n:74 [in mathcomp.ssreflect.binomial]
n:74 [in mathcomp.ssreflect.div]
n:74 [in mathcomp.ssreflect.ssrnat]
n:74 [in mathcomp.algebra.ssrint]
n:74 [in mathcomp.ssreflect.prime]
n:741 [in mathcomp.ssreflect.ssrnat]
n:741 [in mathcomp.algebra.matrix]
n:741 [in mathcomp.algebra.ssrint]
n:741 [in mathcomp.algebra.ssrnum]
n:742 [in mathcomp.ssreflect.ssrnat]
n:743 [in mathcomp.ssreflect.ssrnat]
n:744 [in mathcomp.ssreflect.ssrnat]
n:745 [in mathcomp.algebra.matrix]
n:746 [in mathcomp.ssreflect.ssrnat]
n:747 [in mathcomp.algebra.ssrnum]
n:748 [in mathcomp.ssreflect.ssrnat]
n:748 [in mathcomp.algebra.matrix]
n:748 [in mathcomp.algebra.mxalgebra]
n:749 [in mathcomp.ssreflect.ssrnat]
n:749 [in mathcomp.algebra.mxpoly]
n:749 [in mathcomp.algebra.ssrnum]
n:749 [in mathcomp.ssreflect.bigop]
n:75 [in mathcomp.algebra.intdiv]
n:75 [in mathcomp.ssreflect.ssrnat]
n:75 [in mathcomp.solvable.abelian]
n:75 [in mathcomp.algebra.fraction]
n:750 [in mathcomp.ssreflect.ssrnat]
n:750 [in mathcomp.algebra.ssrnum]
n:753 [in mathcomp.algebra.ssrnum]
n:754 [in mathcomp.algebra.matrix]
n:754 [in mathcomp.algebra.mxpoly]
n:755 [in mathcomp.ssreflect.ssrnat]
n:756 [in mathcomp.ssreflect.ssrnat]
n:756 [in mathcomp.algebra.matrix]
n:756 [in mathcomp.algebra.ssrnum]
n:756 [in mathcomp.algebra.mxalgebra]
n:757 [in mathcomp.ssreflect.ssrnat]
n:757 [in mathcomp.algebra.ssrint]
n:758 [in mathcomp.ssreflect.ssrnat]
n:758 [in mathcomp.algebra.mxpoly]
n:759 [in mathcomp.ssreflect.ssrnat]
n:759 [in mathcomp.algebra.matrix]
n:76 [in mathcomp.ssreflect.binomial]
n:76 [in mathcomp.ssreflect.ssrnat]
n:76 [in mathcomp.algebra.ssrint]
n:76 [in mathcomp.solvable.extraspecial]
n:760 [in mathcomp.algebra.ssrnum]
n:761 [in mathcomp.ssreflect.seq]
n:761 [in mathcomp.ssreflect.ssrnat]
n:762 [in mathcomp.ssreflect.ssrnat]
n:763 [in mathcomp.ssreflect.ssrnat]
n:763 [in mathcomp.algebra.mxpoly]
n:763 [in mathcomp.ssreflect.fintype]
n:763 [in mathcomp.algebra.poly]
n:764 [in mathcomp.ssreflect.ssrnat]
n:764 [in mathcomp.algebra.matrix]
n:765 [in mathcomp.ssreflect.ssrnat]
n:765 [in mathcomp.algebra.ssrint]
n:765 [in mathcomp.algebra.ssrnum]
n:765 [in mathcomp.algebra.mxalgebra]
n:766 [in mathcomp.ssreflect.seq]
n:766 [in mathcomp.ssreflect.ssrnat]
n:766 [in mathcomp.algebra.matrix]
n:767 [in mathcomp.algebra.ssrnum]
n:769 [in mathcomp.ssreflect.ssrnat]
n:769 [in mathcomp.algebra.matrix]
n:769 [in mathcomp.algebra.mxpoly]
n:77 [in mathcomp.solvable.extraspecial]
n:77 [in mathcomp.solvable.nilpotent]
n:770 [in mathcomp.algebra.ssrnum]
n:771 [in mathcomp.ssreflect.seq]
n:771 [in mathcomp.ssreflect.ssrnat]
n:772 [in mathcomp.algebra.ssrnum]
n:773 [in mathcomp.ssreflect.ssrnat]
n:773 [in mathcomp.algebra.mxpoly]
n:773 [in mathcomp.algebra.poly]
n:774 [in mathcomp.algebra.matrix]
n:774 [in mathcomp.algebra.ssrnum]
n:774 [in mathcomp.ssreflect.bigop]
n:776 [in mathcomp.ssreflect.seq]
n:776 [in mathcomp.ssreflect.ssrnat]
n:776 [in mathcomp.algebra.ssrnum]
n:776 [in mathcomp.algebra.mxalgebra]
n:777 [in mathcomp.algebra.matrix]
n:777 [in mathcomp.algebra.mxpoly]
n:778 [in mathcomp.ssreflect.ssrnat]
n:779 [in mathcomp.algebra.ssrnum]
n:78 [in mathcomp.ssreflect.binomial]
n:78 [in mathcomp.ssreflect.ssrnat]
N:78 [in mathcomp.ssreflect.ssrAC]
n:78 [in mathcomp.solvable.extraspecial]
n:78 [in mathcomp.algebra.mxalgebra]
n:780 [in mathcomp.ssreflect.ssrnat]
n:780 [in mathcomp.algebra.matrix]
n:780 [in mathcomp.algebra.poly]
n:781 [in mathcomp.ssreflect.ssrnat]
n:781 [in mathcomp.algebra.ssrnum]
n:782 [in mathcomp.ssreflect.seq]
n:782 [in mathcomp.algebra.poly]
n:783 [in mathcomp.ssreflect.ssrnat]
n:784 [in mathcomp.algebra.ssrnum]
n:785 [in mathcomp.ssreflect.ssrnat]
n:785 [in mathcomp.algebra.matrix]
n:785 [in mathcomp.ssreflect.bigop]
n:786 [in mathcomp.algebra.ssrnum]
n:787 [in mathcomp.ssreflect.ssrnat]
n:787 [in mathcomp.algebra.mxalgebra]
n:788 [in mathcomp.algebra.matrix]
n:789 [in mathcomp.ssreflect.ssrnat]
n:789 [in mathcomp.algebra.mxpoly]
n:789 [in mathcomp.algebra.ssrnum]
n:79 [in mathcomp.algebra.intdiv]
n:79 [in mathcomp.ssreflect.ssrnat]
n:79 [in mathcomp.algebra.ssrint]
n:79 [in mathcomp.solvable.extraspecial]
n:791 [in mathcomp.ssreflect.ssrnat]
n:791 [in mathcomp.algebra.ssrnum]
n:792 [in mathcomp.ssreflect.ssrnat]
n:792 [in mathcomp.ssreflect.bigop]
n:794 [in mathcomp.ssreflect.ssrnat]
n:794 [in mathcomp.algebra.ssrnum]
n:795 [in mathcomp.algebra.matrix]
n:796 [in mathcomp.ssreflect.ssrnat]
n:796 [in mathcomp.algebra.ssrnum]
n:797 [in mathcomp.ssreflect.ssrnat]
n:798 [in mathcomp.ssreflect.ssrnat]
n:798 [in mathcomp.algebra.ssrint]
n:798 [in mathcomp.character.mxrepresentation]
n:798 [in mathcomp.algebra.ssrnum]
n:799 [in mathcomp.algebra.ssrint]
n:799 [in mathcomp.algebra.mxalgebra]
n:8 [in mathcomp.field.cyclotomic]
n:8 [in mathcomp.algebra.polydiv]
n:8 [in mathcomp.solvable.commutator]
n:80 [in mathcomp.algebra.polydiv]
n:80 [in mathcomp.ssreflect.ssrnat]
N:80 [in mathcomp.solvable.jordanholder]
n:800 [in mathcomp.algebra.ssrnum]
n:800 [in mathcomp.algebra.poly]
n:801 [in mathcomp.ssreflect.ssrnat]
n:802 [in mathcomp.algebra.ssrnum]
n:803 [in mathcomp.ssreflect.ssrnat]
n:803 [in mathcomp.algebra.ssrint]
n:803 [in mathcomp.algebra.ssrnum]
n:803 [in mathcomp.ssreflect.bigop]
n:804 [in mathcomp.algebra.ssrint]
n:804 [in mathcomp.algebra.ssrnum]
n:805 [in mathcomp.ssreflect.ssrnat]
n:805 [in mathcomp.algebra.ssrnum]
n:806 [in mathcomp.algebra.ssrnum]
n:807 [in mathcomp.ssreflect.ssrnat]
n:807 [in mathcomp.algebra.ssrnum]
n:808 [in mathcomp.algebra.mxpoly]
n:808 [in mathcomp.algebra.ssrnum]
n:809 [in mathcomp.ssreflect.ssrnat]
n:809 [in mathcomp.character.mxrepresentation]
n:809 [in mathcomp.algebra.ssrnum]
n:81 [in mathcomp.algebra.intdiv]
n:81 [in mathcomp.ssreflect.ssrnat]
n:81 [in mathcomp.field.closed_field]
n:81 [in mathcomp.algebra.ssrint]
n:81 [in mathcomp.solvable.cyclic]
n:81 [in mathcomp.field.falgebra]
n:810 [in mathcomp.algebra.mxpoly]
n:811 [in mathcomp.algebra.polydiv]
n:811 [in mathcomp.ssreflect.ssrnat]
n:811 [in mathcomp.character.mxrepresentation]
n:811 [in mathcomp.algebra.ssrnum]
n:812 [in mathcomp.ssreflect.ssrnat]
n:812 [in mathcomp.ssreflect.bigop]
n:812 [in mathcomp.algebra.mxalgebra]
n:813 [in mathcomp.algebra.polydiv]
n:813 [in mathcomp.algebra.ssrnum]
n:814 [in mathcomp.ssreflect.ssrnat]
n:814 [in mathcomp.character.mxrepresentation]
n:815 [in mathcomp.algebra.ssrnum]
n:816 [in mathcomp.ssreflect.ssrnat]
n:816 [in mathcomp.character.mxrepresentation]
n:817 [in mathcomp.algebra.mxpoly]
n:817 [in mathcomp.algebra.ssrnum]
n:819 [in mathcomp.ssreflect.ssrnat]
n:819 [in mathcomp.character.mxrepresentation]
n:819 [in mathcomp.algebra.ssrnum]
n:82 [in mathcomp.ssreflect.div]
n:82 [in mathcomp.ssreflect.ssrnat]
n:821 [in mathcomp.algebra.matrix]
n:821 [in mathcomp.algebra.ssrnum]
n:823 [in mathcomp.ssreflect.ssrnat]
n:823 [in mathcomp.algebra.ssrnum]
n:823 [in mathcomp.ssreflect.bigop]
n:824 [in mathcomp.algebra.mxalgebra]
n:826 [in mathcomp.algebra.ssrint]
n:828 [in mathcomp.algebra.ssrint]
n:83 [in mathcomp.ssreflect.binomial]
n:83 [in mathcomp.algebra.ssrint]
n:831 [in mathcomp.algebra.ssrint]
n:832 [in mathcomp.ssreflect.bigop]
n:834 [in mathcomp.ssreflect.ssrnat]
n:834 [in mathcomp.algebra.ssrint]
n:834 [in mathcomp.algebra.poly]
n:836 [in mathcomp.ssreflect.ssrnat]
n:836 [in mathcomp.algebra.mxpoly]
n:836 [in mathcomp.algebra.ssrint]
n:836 [in mathcomp.algebra.poly]
n:837 [in mathcomp.algebra.mxalgebra]
n:838 [in mathcomp.ssreflect.ssrnat]
n:838 [in mathcomp.algebra.mxpoly]
n:839 [in mathcomp.algebra.ssrint]
n:839 [in mathcomp.algebra.poly]
n:84 [in mathcomp.ssreflect.ssrnat]
n:84 [in mathcomp.algebra.ssrint]
n:84 [in mathcomp.algebra.polyXY]
n:84 [in mathcomp.solvable.extraspecial]
n:840 [in mathcomp.algebra.mxpoly]
n:840 [in mathcomp.algebra.ssrint]
n:840 [in mathcomp.character.mxrepresentation]
n:841 [in mathcomp.ssreflect.ssrnat]
n:841 [in mathcomp.algebra.mxpoly]
n:841 [in mathcomp.ssreflect.bigop]
n:842 [in mathcomp.algebra.ssrint]
n:843 [in mathcomp.ssreflect.ssrnat]
n:843 [in mathcomp.algebra.ssrint]
n:844 [in mathcomp.algebra.ssrint]
n:847 [in mathcomp.algebra.mxalgebra]
n:849 [in mathcomp.algebra.mxalgebra]
n:85 [in mathcomp.ssreflect.binomial]
n:85 [in mathcomp.algebra.intdiv]
n:85 [in mathcomp.field.closed_field]
n:85 [in mathcomp.algebra.ssrint]
n:852 [in mathcomp.algebra.mxalgebra]
n:855 [in mathcomp.ssreflect.fintype]
n:855 [in mathcomp.algebra.mxalgebra]
n:857 [in mathcomp.algebra.mxalgebra]
n:858 [in mathcomp.ssreflect.fintype]
n:86 [in mathcomp.ssreflect.ssrnat]
n:86 [in mathcomp.algebra.ssrint]
n:86 [in mathcomp.field.falgebra]
n:860 [in mathcomp.algebra.mxpoly]
n:860 [in mathcomp.character.mxrepresentation]
n:861 [in mathcomp.algebra.mxalgebra]
n:862 [in mathcomp.ssreflect.fintype]
n:863 [in mathcomp.algebra.ssrint]
n:863 [in mathcomp.algebra.mxalgebra]
n:865 [in mathcomp.algebra.matrix]
n:865 [in mathcomp.algebra.ssrint]
n:865 [in mathcomp.ssreflect.fintype]
n:867 [in mathcomp.algebra.ssrint]
n:867 [in mathcomp.algebra.mxalgebra]
n:868 [in mathcomp.algebra.ssralg]
n:869 [in mathcomp.algebra.mxpoly]
n:869 [in mathcomp.ssreflect.fintype]
n:87 [in mathcomp.ssreflect.binomial]
n:87 [in mathcomp.ssreflect.div]
n:87 [in mathcomp.ssreflect.ssrnat]
n:87 [in mathcomp.character.classfun]
n:87 [in mathcomp.solvable.extraspecial]
n:87 [in mathcomp.field.falgebra]
n:870 [in mathcomp.algebra.polydiv]
n:870 [in mathcomp.algebra.mxalgebra]
n:872 [in mathcomp.ssreflect.ssrnat]
n:874 [in mathcomp.ssreflect.seq]
n:874 [in mathcomp.ssreflect.ssrnat]
n:874 [in mathcomp.algebra.mxpoly]
n:876 [in mathcomp.ssreflect.seq]
n:876 [in mathcomp.algebra.mxalgebra]
n:877 [in mathcomp.ssreflect.ssrnat]
n:879 [in mathcomp.algebra.polydiv]
n:88 [in mathcomp.character.integral_char]
n:88 [in mathcomp.ssreflect.binomial]
n:88 [in mathcomp.ssreflect.finfun]
n:88 [in mathcomp.field.closed_field]
n:88 [in mathcomp.algebra.ssrint]
n:880 [in mathcomp.ssreflect.ssrnat]
n:881 [in mathcomp.algebra.mxalgebra]
n:883 [in mathcomp.ssreflect.ssrnat]
n:883 [in mathcomp.character.mxrepresentation]
n:885 [in mathcomp.algebra.ssralg]
n:885 [in mathcomp.algebra.mxalgebra]
n:886 [in mathcomp.ssreflect.ssrnat]
n:887 [in mathcomp.ssreflect.fintype]
n:887 [in mathcomp.algebra.mxalgebra]
n:888 [in mathcomp.algebra.matrix]
n:889 [in mathcomp.ssreflect.ssrnat]
n:889 [in mathcomp.ssreflect.fintype]
n:89 [in mathcomp.ssreflect.ssrnat]
n:89 [in mathcomp.solvable.extraspecial]
n:89 [in mathcomp.solvable.nilpotent]
n:89 [in mathcomp.field.falgebra]
n:89 [in mathcomp.algebra.mxalgebra]
n:891 [in mathcomp.ssreflect.fintype]
n:892 [in mathcomp.ssreflect.ssrnat]
n:892 [in mathcomp.algebra.mxalgebra]
n:893 [in mathcomp.ssreflect.fintype]
n:895 [in mathcomp.ssreflect.ssrnat]
n:895 [in mathcomp.ssreflect.fintype]
n:896 [in mathcomp.ssreflect.fintype]
n:896 [in mathcomp.algebra.mxalgebra]
n:897 [in mathcomp.ssreflect.fintype]
n:898 [in mathcomp.ssreflect.ssrnat]
n:898 [in mathcomp.ssreflect.fintype]
n:898 [in mathcomp.ssreflect.bigop]
n:899 [in mathcomp.ssreflect.fintype]
n:9 [in mathcomp.algebra.intdiv]
n:9 [in mathcomp.ssreflect.choice]
n:90 [in mathcomp.algebra.ssrint]
n:90 [in mathcomp.ssreflect.prime]
n:90 [in mathcomp.algebra.ssralg]
n:900 [in mathcomp.ssreflect.fintype]
n:901 [in mathcomp.ssreflect.ssrnat]
n:901 [in mathcomp.ssreflect.fintype]
n:902 [in mathcomp.algebra.mxalgebra]
n:903 [in mathcomp.ssreflect.fintype]
n:904 [in mathcomp.ssreflect.ssrnat]
n:905 [in mathcomp.ssreflect.fintype]
n:906 [in mathcomp.ssreflect.fintype]
n:907 [in mathcomp.ssreflect.ssrnat]
n:908 [in mathcomp.algebra.ssralg]
n:908 [in mathcomp.ssreflect.fintype]
n:908 [in mathcomp.algebra.mxalgebra]
n:91 [in mathcomp.algebra.archimedean]
n:91 [in mathcomp.ssreflect.div]
n:91 [in mathcomp.ssreflect.ssrnat]
n:910 [in mathcomp.ssreflect.ssrnat]
n:913 [in mathcomp.ssreflect.ssrnat]
n:913 [in mathcomp.algebra.mxalgebra]
n:915 [in mathcomp.algebra.ssralg]
n:916 [in mathcomp.ssreflect.ssrnat]
n:916 [in mathcomp.algebra.ssrnum]
n:918 [in mathcomp.algebra.poly]
n:919 [in mathcomp.ssreflect.ssrnat]
n:92 [in mathcomp.algebra.ssrint]
n:92 [in mathcomp.algebra.rat]
n:92 [in mathcomp.solvable.extraspecial]
n:92 [in mathcomp.field.falgebra]
n:920 [in mathcomp.algebra.ssralg]
n:920 [in mathcomp.algebra.poly]
n:920 [in mathcomp.algebra.mxalgebra]
n:922 [in mathcomp.ssreflect.ssrnat]
n:922 [in mathcomp.algebra.ssralg]
n:922 [in mathcomp.algebra.poly]
n:925 [in mathcomp.ssreflect.ssrnat]
n:925 [in mathcomp.algebra.mxalgebra]
n:928 [in mathcomp.ssreflect.ssrnat]
n:93 [in mathcomp.ssreflect.binomial]
n:93 [in mathcomp.ssreflect.ssrnat]
n:93 [in mathcomp.ssreflect.prime]
n:93 [in mathcomp.algebra.mxalgebra]
n:930 [in mathcomp.ssreflect.ssrnat]
n:930 [in mathcomp.algebra.mxalgebra]
n:932 [in mathcomp.algebra.ssrnum]
n:933 [in mathcomp.fingroup.fingroup]
n:933 [in mathcomp.algebra.poly]
n:934 [in mathcomp.ssreflect.ssrnat]
n:935 [in mathcomp.algebra.poly]
n:935 [in mathcomp.algebra.mxalgebra]
n:938 [in mathcomp.ssreflect.ssrnat]
n:938 [in mathcomp.algebra.mxalgebra]
n:94 [in mathcomp.ssreflect.div]
n:94 [in mathcomp.ssreflect.ssrnat]
n:94 [in mathcomp.field.falgebra]
n:941 [in mathcomp.fingroup.fingroup]
n:942 [in mathcomp.ssreflect.ssrnat]
n:942 [in mathcomp.ssreflect.bigop]
n:942 [in mathcomp.algebra.mxalgebra]
n:944 [in mathcomp.algebra.matrix]
n:946 [in mathcomp.ssreflect.order]
n:946 [in mathcomp.algebra.mxalgebra]
n:947 [in mathcomp.algebra.polydiv]
n:95 [in mathcomp.ssreflect.binomial]
n:95 [in mathcomp.ssreflect.ssrnat]
n:950 [in mathcomp.ssreflect.order]
n:950 [in mathcomp.algebra.mxalgebra]
n:954 [in mathcomp.ssreflect.order]
n:955 [in mathcomp.algebra.mxalgebra]
n:958 [in mathcomp.ssreflect.order]
n:96 [in mathcomp.ssreflect.binomial]
n:96 [in mathcomp.ssreflect.ssrnat]
n:96 [in mathcomp.algebra.ssrint]
n:96 [in mathcomp.fingroup.fingroup]
n:960 [in mathcomp.ssreflect.seq]
n:960 [in mathcomp.algebra.mxalgebra]
n:962 [in mathcomp.ssreflect.seq]
n:962 [in mathcomp.algebra.ssralg]
n:962 [in mathcomp.algebra.poly]
n:964 [in mathcomp.ssreflect.order]
n:964 [in mathcomp.algebra.poly]
n:965 [in mathcomp.ssreflect.seq]
N:965 [in mathcomp.algebra.mxalgebra]
n:966 [in mathcomp.algebra.poly]
n:967 [in mathcomp.ssreflect.seq]
n:968 [in mathcomp.ssreflect.order]
n:968 [in mathcomp.algebra.mxalgebra]
n:969 [in mathcomp.algebra.poly]
n:97 [in mathcomp.ssreflect.div]
n:97 [in mathcomp.algebra.polydiv]
n:97 [in mathcomp.ssreflect.ssrnat]
n:97 [in mathcomp.algebra.finalg]
n:97 [in mathcomp.field.falgebra]
n:97 [in mathcomp.algebra.mxalgebra]
n:970 [in mathcomp.ssreflect.seq]
n:971 [in mathcomp.algebra.poly]
n:972 [in mathcomp.ssreflect.order]
n:973 [in mathcomp.algebra.matrix]
n:973 [in mathcomp.algebra.mxalgebra]
n:974 [in mathcomp.ssreflect.seq]
n:976 [in mathcomp.ssreflect.order]
n:977 [in mathcomp.ssreflect.seq]
n:978 [in mathcomp.algebra.poly]
n:979 [in mathcomp.algebra.mxalgebra]
n:98 [in mathcomp.ssreflect.binomial]
n:98 [in mathcomp.ssreflect.ssrnat]
n:98 [in mathcomp.solvable.commutator]
n:98 [in mathcomp.character.character]
n:980 [in mathcomp.ssreflect.seq]
n:984 [in mathcomp.ssreflect.seq]
n:985 [in mathcomp.algebra.mxalgebra]
n:987 [in mathcomp.ssreflect.seq]
n:989 [in mathcomp.algebra.ssralg]
n:99 [in mathcomp.ssreflect.div]
n:99 [in mathcomp.ssreflect.ssrnat]
n:990 [in mathcomp.ssreflect.seq]
n:990 [in mathcomp.algebra.mxalgebra]
n:992 [in mathcomp.algebra.ssralg]
n:992 [in mathcomp.ssreflect.fintype]
n:993 [in mathcomp.algebra.vector]
n:993 [in mathcomp.algebra.mxalgebra]
n:994 [in mathcomp.ssreflect.fintype]
n:995 [in mathcomp.algebra.ssralg]
n:998 [in mathcomp.ssreflect.bigop]
n:998 [in mathcomp.algebra.mxalgebra]
n:999 [in mathcomp.algebra.polydiv]
n:999 [in mathcomp.algebra.ssrnum]
| 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 | (100113 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 | (1864 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 | (49278 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 | (1631 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 | (6978 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 | (94 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 | (14781 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 | (75 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 | (222 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 | (131 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 | (2030 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 | (2189 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 | (1149 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 | (19126 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 | (565 entries) |