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 (65935 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 (1807 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 (37227 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 (358 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 (3917 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 (91 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 (12943 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 (469 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 (45 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 (130 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 (430 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 (1297 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 (928 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 (6053 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 (240 entries)

P (binder)

pA:184 [in mathcomp.ssreflect.finset]
pA:188 [in mathcomp.ssreflect.finset]
pA:195 [in mathcomp.ssreflect.fintype]
pA:28 [in mathcomp.ssreflect.finset]
pA:333 [in mathcomp.ssreflect.finset]
pA:335 [in mathcomp.ssreflect.finset]
pA:338 [in mathcomp.ssreflect.finset]
pA:38 [in mathcomp.ssreflect.finset]
pB:185 [in mathcomp.ssreflect.finset]
pB:189 [in mathcomp.ssreflect.finset]
pB:193 [in mathcomp.ssreflect.finset]
pB:39 [in mathcomp.ssreflect.finset]
pcycleE:828 [in mathcomp.fingroup.action]
pcycles:315 [in mathcomp.fingroup.perm]
pcycle_perm:331 [in mathcomp.fingroup.perm]
pcycle_sym:329 [in mathcomp.fingroup.perm]
pcycle_traject:323 [in mathcomp.fingroup.perm]
pcycle_id:319 [in mathcomp.fingroup.perm]
pcycle_actperm:830 [in mathcomp.fingroup.action]
pcycle:313 [in mathcomp.fingroup.perm]
pC:190 [in mathcomp.ssreflect.finset]
pd_ok:88 [in mathcomp.ssreflect.prime]
pd_ord:84 [in mathcomp.ssreflect.prime]
pd_val:75 [in mathcomp.ssreflect.prime]
pd:45 [in mathcomp.ssreflect.prime]
pd:73 [in mathcomp.ssreflect.prime]
pd:83 [in mathcomp.ssreflect.prime]
pd:87 [in mathcomp.ssreflect.prime]
perms_rec:1637 [in mathcomp.ssreflect.seq]
perms:1663 [in mathcomp.ssreflect.seq]
perm_count_undup:1756 [in mathcomp.ssreflect.seq]
perm_undup_count:1755 [in mathcomp.ssreflect.seq]
perm_iotaP:1754 [in mathcomp.ssreflect.seq]
perm_eq_iotaP:1753 [in mathcomp.ssreflect.seq]
perm_consP:1742 [in mathcomp.ssreflect.seq]
perm_eq_consP:1741 [in mathcomp.ssreflect.seq]
perm_nilP:1740 [in mathcomp.ssreflect.seq]
perm_eq_nilP:1739 [in mathcomp.ssreflect.seq]
perm_small_eq:1738 [in mathcomp.ssreflect.seq]
perm_eq_small:1737 [in mathcomp.ssreflect.seq]
perm_all:1736 [in mathcomp.ssreflect.seq]
perm_eq_all:1735 [in mathcomp.ssreflect.seq]
perm_flatten:1734 [in mathcomp.ssreflect.seq]
perm_eq_flatten:1733 [in mathcomp.ssreflect.seq]
perm_rev:1732 [in mathcomp.ssreflect.seq]
perm_eq_rev:1731 [in mathcomp.ssreflect.seq]
pEx:101 [in mathcomp.algebra.polyXY]
pEx:108 [in mathcomp.algebra.polyXY]
pfunF0:59 [in mathcomp.solvable.gfunctor]
pfunF:61 [in mathcomp.solvable.gfunctor]
pf_ok:81 [in mathcomp.ssreflect.prime]
pf:20 [in mathcomp.field.closed_field]
pf:55 [in mathcomp.field.closed_field]
phAB:923 [in mathcomp.algebra.ssralg]
phA:643 [in mathcomp.algebra.ssralg]
phF:152 [in mathcomp.field.galois]
phi_i:302 [in mathcomp.character.vcharacter]
phi1:289 [in mathcomp.character.classfun]
phi1:311 [in mathcomp.character.vcharacter]
phi1:318 [in mathcomp.character.vcharacter]
phi1:416 [in mathcomp.character.classfun]
phi1:680 [in mathcomp.character.classfun]
phi2:290 [in mathcomp.character.classfun]
phi2:312 [in mathcomp.character.vcharacter]
phi2:319 [in mathcomp.character.vcharacter]
phi2:417 [in mathcomp.character.classfun]
phi2:681 [in mathcomp.character.classfun]
phi:10 [in mathcomp.solvable.gfunctor]
phi:100 [in mathcomp.character.vcharacter]
phi:100 [in mathcomp.character.classfun]
phi:102 [in mathcomp.character.vcharacter]
phi:102 [in mathcomp.character.classfun]
phi:103 [in mathcomp.character.vcharacter]
Phi:103 [in mathcomp.character.inertia]
phi:106 [in mathcomp.character.vcharacter]
phi:108 [in mathcomp.character.vcharacter]
phi:11 [in mathcomp.character.inertia]
phi:110 [in mathcomp.character.vcharacter]
phi:111 [in mathcomp.character.inertia]
phi:113 [in mathcomp.character.classfun]
phi:118 [in mathcomp.character.classfun]
phi:119 [in mathcomp.character.vcharacter]
phi:12 [in mathcomp.character.vcharacter]
phi:121 [in mathcomp.character.classfun]
phi:123 [in mathcomp.character.classfun]
phi:124 [in mathcomp.character.classfun]
phi:13 [in mathcomp.character.vcharacter]
phi:130 [in mathcomp.character.classfun]
phi:132 [in mathcomp.character.inertia]
phi:133 [in mathcomp.character.classfun]
phi:134 [in mathcomp.character.vcharacter]
phi:136 [in mathcomp.character.classfun]
phi:137 [in mathcomp.character.inertia]
phi:14 [in mathcomp.character.inertia]
phi:14 [in mathcomp.solvable.gfunctor]
phi:141 [in mathcomp.character.inertia]
phi:142 [in mathcomp.character.inertia]
phi:143 [in mathcomp.character.inertia]
phi:144 [in mathcomp.character.vcharacter]
phi:145 [in mathcomp.character.inertia]
phi:145 [in mathcomp.character.classfun]
phi:146 [in mathcomp.character.vcharacter]
phi:147 [in mathcomp.character.inertia]
phi:148 [in mathcomp.character.inertia]
phi:15 [in mathcomp.character.integral_char]
phi:15 [in mathcomp.character.vcharacter]
phi:150 [in mathcomp.character.classfun]
phi:157 [in mathcomp.character.classfun]
phi:159 [in mathcomp.character.vcharacter]
phi:159 [in mathcomp.character.classfun]
phi:16 [in mathcomp.character.inertia]
phi:160 [in mathcomp.character.classfun]
phi:161 [in mathcomp.field.algnum]
phi:163 [in mathcomp.character.classfun]
phi:165 [in mathcomp.character.classfun]
phi:171 [in mathcomp.character.classfun]
phi:173 [in mathcomp.character.vcharacter]
phi:175 [in mathcomp.character.inertia]
phi:176 [in mathcomp.character.vcharacter]
phi:178 [in mathcomp.character.classfun]
phi:181 [in mathcomp.character.inertia]
phi:182 [in mathcomp.character.vcharacter]
phi:182 [in mathcomp.character.classfun]
phi:183 [in mathcomp.character.inertia]
phi:185 [in mathcomp.character.inertia]
phi:186 [in mathcomp.character.inertia]
phi:188 [in mathcomp.character.inertia]
phi:19 [in mathcomp.character.inertia]
phi:19 [in mathcomp.solvable.gfunctor]
phi:190 [in mathcomp.character.inertia]
phi:192 [in mathcomp.character.classfun]
phi:196 [in mathcomp.character.classfun]
phi:201 [in mathcomp.character.inertia]
phi:202 [in mathcomp.character.character]
phi:203 [in mathcomp.character.inertia]
phi:203 [in mathcomp.character.character]
phi:204 [in mathcomp.character.inertia]
phi:205 [in mathcomp.character.character]
phi:209 [in mathcomp.character.character]
phi:210 [in mathcomp.character.classfun]
phi:211 [in mathcomp.character.classfun]
phi:212 [in mathcomp.character.vcharacter]
phi:213 [in mathcomp.character.inertia]
phi:213 [in mathcomp.character.classfun]
phi:214 [in mathcomp.character.classfun]
phi:215 [in mathcomp.character.inertia]
phi:216 [in mathcomp.character.classfun]
phi:216 [in mathcomp.character.character]
phi:217 [in mathcomp.character.classfun]
phi:219 [in mathcomp.character.vcharacter]
phi:219 [in mathcomp.character.inertia]
phi:22 [in mathcomp.character.inertia]
phi:220 [in mathcomp.character.classfun]
phi:221 [in mathcomp.character.vcharacter]
phi:222 [in mathcomp.character.vcharacter]
phi:224 [in mathcomp.character.vcharacter]
phi:224 [in mathcomp.character.inertia]
phi:226 [in mathcomp.character.classfun]
phi:228 [in mathcomp.character.inertia]
phi:228 [in mathcomp.character.classfun]
phi:228 [in mathcomp.character.mxabelem]
phi:229 [in mathcomp.character.classfun]
phi:23 [in mathcomp.character.classfun]
phi:230 [in mathcomp.character.classfun]
phi:231 [in mathcomp.character.classfun]
phi:232 [in mathcomp.character.classfun]
phi:233 [in mathcomp.character.inertia]
phi:233 [in mathcomp.character.classfun]
phi:234 [in mathcomp.character.classfun]
phi:237 [in mathcomp.character.classfun]
phi:238 [in mathcomp.character.inertia]
phi:240 [in mathcomp.character.classfun]
phi:242 [in mathcomp.character.inertia]
phi:242 [in mathcomp.character.classfun]
phi:244 [in mathcomp.character.vcharacter]
phi:246 [in mathcomp.character.inertia]
phi:247 [in mathcomp.character.vcharacter]
Phi:247 [in mathcomp.character.classfun]
phi:249 [in mathcomp.character.vcharacter]
phi:25 [in mathcomp.character.inertia]
phi:251 [in mathcomp.character.classfun]
phi:252 [in mathcomp.character.inertia]
phi:253 [in mathcomp.character.classfun]
phi:254 [in mathcomp.character.classfun]
phi:255 [in mathcomp.character.inertia]
phi:255 [in mathcomp.character.classfun]
phi:258 [in mathcomp.character.vcharacter]
Phi:260 [in mathcomp.character.classfun]
phi:261 [in mathcomp.character.inertia]
phi:261 [in mathcomp.character.character]
phi:263 [in mathcomp.character.classfun]
phi:265 [in mathcomp.character.inertia]
phi:266 [in mathcomp.character.classfun]
phi:269 [in mathcomp.character.inertia]
phi:271 [in mathcomp.character.classfun]
phi:272 [in mathcomp.character.character]
phi:273 [in mathcomp.character.inertia]
phi:275 [in mathcomp.character.classfun]
phi:279 [in mathcomp.character.classfun]
phi:28 [in mathcomp.character.inertia]
phi:280 [in mathcomp.character.vcharacter]
phi:282 [in mathcomp.character.vcharacter]
phi:283 [in mathcomp.character.classfun]
phi:284 [in mathcomp.character.vcharacter]
phi:286 [in mathcomp.character.classfun]
phi:287 [in mathcomp.character.vcharacter]
phi:288 [in mathcomp.character.vcharacter]
phi:289 [in mathcomp.character.vcharacter]
phi:289 [in mathcomp.character.inertia]
phi:29 [in mathcomp.character.vcharacter]
phi:29 [in mathcomp.character.classfun]
phi:290 [in mathcomp.character.inertia]
phi:292 [in mathcomp.character.vcharacter]
phi:295 [in mathcomp.character.classfun]
phi:295 [in mathcomp.character.character]
phi:296 [in mathcomp.character.vcharacter]
phi:296 [in mathcomp.character.inertia]
phi:297 [in mathcomp.character.inertia]
phi:298 [in mathcomp.character.vcharacter]
Phi:298 [in mathcomp.character.inertia]
phi:299 [in mathcomp.character.vcharacter]
phi:300 [in mathcomp.character.vcharacter]
phi:301 [in mathcomp.character.classfun]
phi:301 [in mathcomp.character.character]
phi:302 [in mathcomp.character.inertia]
phi:303 [in mathcomp.character.vcharacter]
phi:303 [in mathcomp.character.classfun]
phi:305 [in mathcomp.character.vcharacter]
phi:306 [in mathcomp.character.classfun]
phi:307 [in mathcomp.character.vcharacter]
phi:309 [in mathcomp.character.classfun]
phi:31 [in mathcomp.character.inertia]
phi:31 [in mathcomp.character.classfun]
phi:311 [in mathcomp.character.character]
phi:315 [in mathcomp.character.classfun]
phi:316 [in mathcomp.character.vcharacter]
phi:32 [in mathcomp.character.vcharacter]
phi:320 [in mathcomp.character.classfun]
phi:321 [in mathcomp.character.classfun]
phi:324 [in mathcomp.character.classfun]
phi:328 [in mathcomp.character.classfun]
phi:33 [in mathcomp.character.classfun]
phi:333 [in mathcomp.character.inertia]
phi:333 [in mathcomp.character.classfun]
phi:335 [in mathcomp.character.classfun]
phi:338 [in mathcomp.character.classfun]
phi:341 [in mathcomp.character.character]
phi:344 [in mathcomp.character.classfun]
phi:349 [in mathcomp.character.classfun]
phi:35 [in mathcomp.character.classfun]
phi:351 [in mathcomp.character.classfun]
phi:355 [in mathcomp.character.classfun]
phi:357 [in mathcomp.character.classfun]
phi:359 [in mathcomp.character.classfun]
phi:36 [in mathcomp.character.vcharacter]
phi:361 [in mathcomp.character.classfun]
phi:362 [in mathcomp.character.classfun]
phi:363 [in mathcomp.character.classfun]
phi:364 [in mathcomp.character.classfun]
phi:365 [in mathcomp.character.classfun]
phi:366 [in mathcomp.character.classfun]
phi:368 [in mathcomp.character.classfun]
phi:369 [in mathcomp.character.classfun]
phi:371 [in mathcomp.character.classfun]
phi:372 [in mathcomp.character.classfun]
phi:375 [in mathcomp.character.classfun]
phi:378 [in mathcomp.character.classfun]
phi:380 [in mathcomp.character.classfun]
phi:382 [in mathcomp.character.classfun]
phi:383 [in mathcomp.character.classfun]
phi:385 [in mathcomp.character.classfun]
phi:387 [in mathcomp.character.classfun]
phi:389 [in mathcomp.character.classfun]
phi:39 [in mathcomp.character.vcharacter]
phi:39 [in mathcomp.character.classfun]
phi:392 [in mathcomp.character.classfun]
phi:396 [in mathcomp.character.classfun]
phi:398 [in mathcomp.character.classfun]
phi:403 [in mathcomp.character.classfun]
phi:43 [in mathcomp.character.classfun]
phi:437 [in mathcomp.character.classfun]
phi:44 [in mathcomp.character.inertia]
phi:44 [in mathcomp.character.classfun]
phi:442 [in mathcomp.character.character]
phi:444 [in mathcomp.character.character]
phi:446 [in mathcomp.character.character]
phi:450 [in mathcomp.character.classfun]
phi:450 [in mathcomp.character.character]
phi:451 [in mathcomp.character.character]
phi:458 [in mathcomp.character.classfun]
phi:46 [in mathcomp.character.inertia]
phi:462 [in mathcomp.character.classfun]
phi:466 [in mathcomp.character.classfun]
phi:47 [in mathcomp.character.vcharacter]
phi:47 [in mathcomp.character.classfun]
phi:470 [in mathcomp.character.classfun]
phi:482 [in mathcomp.character.classfun]
phi:483 [in mathcomp.character.classfun]
phi:49 [in mathcomp.character.inertia]
phi:5 [in mathcomp.character.vcharacter]
phi:501 [in mathcomp.character.character]
phi:504 [in mathcomp.character.character]
phi:507 [in mathcomp.character.classfun]
phi:509 [in mathcomp.character.classfun]
phi:509 [in mathcomp.character.character]
phi:51 [in mathcomp.character.inertia]
phi:510 [in mathcomp.character.classfun]
phi:511 [in mathcomp.character.classfun]
phi:514 [in mathcomp.character.character]
phi:515 [in mathcomp.character.classfun]
phi:517 [in mathcomp.character.classfun]
phi:519 [in mathcomp.character.character]
phi:521 [in mathcomp.character.classfun]
phi:522 [in mathcomp.character.classfun]
phi:523 [in mathcomp.character.classfun]
phi:524 [in mathcomp.character.classfun]
phi:53 [in mathcomp.character.inertia]
phi:53 [in mathcomp.character.classfun]
phi:530 [in mathcomp.character.classfun]
phi:532 [in mathcomp.character.classfun]
phi:533 [in mathcomp.character.classfun]
phi:535 [in mathcomp.character.classfun]
phi:536 [in mathcomp.character.classfun]
phi:538 [in mathcomp.character.classfun]
phi:539 [in mathcomp.character.classfun]
phi:54 [in mathcomp.character.vcharacter]
phi:540 [in mathcomp.character.classfun]
phi:541 [in mathcomp.character.classfun]
phi:543 [in mathcomp.character.classfun]
phi:545 [in mathcomp.character.classfun]
phi:547 [in mathcomp.character.character]
phi:548 [in mathcomp.character.classfun]
phi:555 [in mathcomp.character.classfun]
phi:557 [in mathcomp.character.classfun]
phi:558 [in mathcomp.character.classfun]
phi:56 [in mathcomp.character.classfun]
phi:565 [in mathcomp.character.classfun]
phi:566 [in mathcomp.character.classfun]
phi:57 [in mathcomp.character.inertia]
phi:570 [in mathcomp.character.classfun]
phi:572 [in mathcomp.character.classfun]
phi:573 [in mathcomp.character.classfun]
phi:574 [in mathcomp.character.classfun]
phi:576 [in mathcomp.character.classfun]
phi:577 [in mathcomp.character.classfun]
phi:578 [in mathcomp.character.classfun]
phi:58 [in mathcomp.character.classfun]
phi:580 [in mathcomp.character.classfun]
phi:582 [in mathcomp.character.classfun]
phi:583 [in mathcomp.character.classfun]
phi:584 [in mathcomp.character.classfun]
phi:586 [in mathcomp.character.classfun]
phi:599 [in mathcomp.character.classfun]
phi:60 [in mathcomp.character.inertia]
phi:60 [in mathcomp.character.classfun]
phi:600 [in mathcomp.character.classfun]
phi:602 [in mathcomp.character.classfun]
phi:605 [in mathcomp.character.classfun]
phi:607 [in mathcomp.character.classfun]
phi:611 [in mathcomp.character.classfun]
phi:612 [in mathcomp.character.character]
phi:616 [in mathcomp.character.classfun]
phi:619 [in mathcomp.character.classfun]
phi:62 [in mathcomp.character.inertia]
phi:62 [in mathcomp.character.classfun]
phi:622 [in mathcomp.character.character]
phi:624 [in mathcomp.character.character]
phi:626 [in mathcomp.character.classfun]
phi:626 [in mathcomp.character.character]
phi:627 [in mathcomp.character.classfun]
phi:628 [in mathcomp.character.classfun]
phi:628 [in mathcomp.character.character]
phi:629 [in mathcomp.character.classfun]
phi:630 [in mathcomp.character.character]
phi:632 [in mathcomp.character.classfun]
phi:633 [in mathcomp.character.classfun]
phi:634 [in mathcomp.character.classfun]
phi:635 [in mathcomp.character.classfun]
phi:648 [in mathcomp.character.classfun]
phi:65 [in mathcomp.character.inertia]
phi:650 [in mathcomp.character.classfun]
phi:652 [in mathcomp.character.classfun]
phi:654 [in mathcomp.character.classfun]
phi:656 [in mathcomp.character.classfun]
phi:658 [in mathcomp.character.classfun]
phi:660 [in mathcomp.character.classfun]
phi:662 [in mathcomp.character.classfun]
phi:668 [in mathcomp.character.classfun]
phi:67 [in mathcomp.character.inertia]
phi:672 [in mathcomp.character.classfun]
phi:674 [in mathcomp.character.classfun]
phi:676 [in mathcomp.character.character]
phi:677 [in mathcomp.character.classfun]
phi:678 [in mathcomp.character.classfun]
phi:678 [in mathcomp.character.character]
phi:679 [in mathcomp.character.character]
phi:68 [in mathcomp.character.classfun]
phi:682 [in mathcomp.character.character]
phi:684 [in mathcomp.character.classfun]
phi:684 [in mathcomp.character.character]
phi:685 [in mathcomp.character.character]
phi:691 [in mathcomp.character.character]
phi:696 [in mathcomp.character.character]
phi:7 [in mathcomp.character.vcharacter]
phi:70 [in mathcomp.character.inertia]
phi:701 [in mathcomp.character.character]
phi:71 [in mathcomp.character.inertia]
phi:710 [in mathcomp.character.classfun]
phi:712 [in mathcomp.character.classfun]
phi:712 [in mathcomp.character.character]
phi:715 [in mathcomp.character.character]
phi:716 [in mathcomp.character.classfun]
phi:72 [in mathcomp.character.inertia]
phi:72 [in mathcomp.character.classfun]
phi:723 [in mathcomp.character.classfun]
phi:725 [in mathcomp.character.classfun]
phi:73 [in mathcomp.character.inertia]
phi:730 [in mathcomp.character.classfun]
phi:732 [in mathcomp.character.classfun]
Phi:733 [in mathcomp.character.classfun]
phi:737 [in mathcomp.character.classfun]
phi:74 [in mathcomp.character.inertia]
phi:75 [in mathcomp.character.inertia]
phi:75 [in mathcomp.character.classfun]
phi:76 [in mathcomp.character.inertia]
phi:767 [in mathcomp.character.classfun]
phi:77 [in mathcomp.character.inertia]
phi:770 [in mathcomp.character.classfun]
phi:778 [in mathcomp.character.classfun]
phi:781 [in mathcomp.character.classfun]
phi:782 [in mathcomp.character.classfun]
phi:785 [in mathcomp.character.classfun]
phi:79 [in mathcomp.character.classfun]
phi:791 [in mathcomp.character.classfun]
phi:792 [in mathcomp.character.classfun]
phi:798 [in mathcomp.character.classfun]
phi:799 [in mathcomp.character.classfun]
phi:8 [in mathcomp.character.inertia]
phi:80 [in mathcomp.character.inertia]
phi:80 [in mathcomp.character.classfun]
phi:800 [in mathcomp.character.classfun]
phi:801 [in mathcomp.character.classfun]
phi:802 [in mathcomp.character.classfun]
phi:807 [in mathcomp.character.classfun]
phi:81 [in mathcomp.character.inertia]
phi:816 [in mathcomp.character.classfun]
phi:817 [in mathcomp.character.classfun]
phi:82 [in mathcomp.character.inertia]
phi:827 [in mathcomp.character.classfun]
phi:829 [in mathcomp.character.character]
phi:83 [in mathcomp.character.inertia]
phi:834 [in mathcomp.character.classfun]
phi:835 [in mathcomp.character.classfun]
phi:84 [in mathcomp.character.vcharacter]
phi:845 [in mathcomp.character.classfun]
phi:847 [in mathcomp.character.classfun]
phi:849 [in mathcomp.character.classfun]
phi:85 [in mathcomp.character.inertia]
phi:850 [in mathcomp.character.classfun]
phi:851 [in mathcomp.character.classfun]
phi:854 [in mathcomp.character.classfun]
phi:855 [in mathcomp.character.classfun]
phi:857 [in mathcomp.character.classfun]
phi:858 [in mathcomp.character.classfun]
phi:86 [in mathcomp.character.classfun]
phi:861 [in mathcomp.character.classfun]
phi:862 [in mathcomp.character.classfun]
phi:866 [in mathcomp.character.classfun]
phi:868 [in mathcomp.character.classfun]
phi:879 [in mathcomp.character.character]
phi:88 [in mathcomp.algebra.mxpoly]
phi:881 [in mathcomp.character.character]
phi:882 [in mathcomp.character.character]
phi:884 [in mathcomp.character.character]
phi:887 [in mathcomp.character.character]
phi:888 [in mathcomp.character.character]
phi:89 [in mathcomp.character.classfun]
phi:894 [in mathcomp.character.character]
phi:896 [in mathcomp.character.character]
Phi:90 [in mathcomp.character.inertia]
phi:900 [in mathcomp.character.character]
phi:906 [in mathcomp.character.character]
phi:913 [in mathcomp.character.character]
phi:917 [in mathcomp.character.character]
phi:920 [in mathcomp.character.character]
phi:926 [in mathcomp.character.character]
phi:932 [in mathcomp.character.character]
phi:933 [in mathcomp.character.character]
phi:934 [in mathcomp.character.character]
phi:94 [in mathcomp.character.inertia]
phi:94 [in mathcomp.character.classfun]
phi:947 [in mathcomp.character.character]
phi:96 [in mathcomp.character.inertia]
phi:96 [in mathcomp.character.classfun]
phi:968 [in mathcomp.character.character]
phi:97 [in mathcomp.character.inertia]
phi:97 [in mathcomp.character.classfun]
phi:98 [in mathcomp.character.vcharacter]
phi:98 [in mathcomp.character.inertia]
phRS:716 [in mathcomp.algebra.ssralg]
phR:10 [in mathcomp.field.fieldext]
phR:1037 [in mathcomp.algebra.ssralg]
phR:1058 [in mathcomp.algebra.ssralg]
phR:1230 [in mathcomp.algebra.ssralg]
phR:1251 [in mathcomp.algebra.ssralg]
phR:14 [in mathcomp.algebra.vector]
phR:167 [in mathcomp.algebra.finalg]
phR:183 [in mathcomp.algebra.finalg]
phR:19 [in mathcomp.field.falgebra]
phR:197 [in mathcomp.algebra.finalg]
phR:213 [in mathcomp.algebra.finalg]
phR:473 [in mathcomp.algebra.ssralg]
phR:562 [in mathcomp.algebra.ssralg]
phR:59 [in mathcomp.algebra.ssrnum]
phR:89 [in mathcomp.algebra.finalg]
phT:2 [in mathcomp.solvable.alt]
phT:3 [in mathcomp.solvable.alt]
phT:33 [in mathcomp.ssreflect.finset]
phT:510 [in mathcomp.fingroup.fingroup]
phT:511 [in mathcomp.fingroup.fingroup]
phUV:599 [in mathcomp.algebra.ssralg]
phUV:827 [in mathcomp.algebra.ssralg]
phV:30 [in mathcomp.algebra.vector]
phV:55 [in mathcomp.algebra.vector]
phV:610 [in mathcomp.algebra.ssralg]
phV:76 [in mathcomp.algebra.vector]
ph:1660 [in mathcomp.algebra.matrix]
ph:1665 [in mathcomp.algebra.matrix]
ph:21 [in mathcomp.ssreflect.finfun]
ph:24 [in mathcomp.ssreflect.finfun]
ph:25 [in mathcomp.ssreflect.finfun]
pis:454 [in mathcomp.solvable.pgroup]
pis:457 [in mathcomp.solvable.pgroup]
pis:458 [in mathcomp.solvable.pgroup]
pis:459 [in mathcomp.solvable.pgroup]
pis:460 [in mathcomp.solvable.pgroup]
pis:461 [in mathcomp.solvable.pgroup]
pis:462 [in mathcomp.solvable.pgroup]
pis:463 [in mathcomp.solvable.pgroup]
pis:464 [in mathcomp.solvable.pgroup]
pis:467 [in mathcomp.solvable.pgroup]
pis:470 [in mathcomp.solvable.pgroup]
pis:478 [in mathcomp.solvable.pgroup]
pis:489 [in mathcomp.solvable.pgroup]
pis:537 [in mathcomp.solvable.pgroup]
pis:595 [in mathcomp.solvable.pgroup]
pis:603 [in mathcomp.solvable.pgroup]
Pi0:1127 [in mathcomp.ssreflect.order]
Pi0:1151 [in mathcomp.algebra.ssrnum]
Pi0:2877 [in mathcomp.algebra.ssrnum]
Pi0:684 [in mathcomp.ssreflect.order]
pi1s:485 [in mathcomp.solvable.pgroup]
pi1s:493 [in mathcomp.solvable.pgroup]
pi1s:497 [in mathcomp.solvable.pgroup]
pi1s:505 [in mathcomp.solvable.pgroup]
pi1s:509 [in mathcomp.solvable.pgroup]
pi1s:513 [in mathcomp.solvable.pgroup]
pi1s:517 [in mathcomp.solvable.pgroup]
pi1s:521 [in mathcomp.solvable.pgroup]
pi1:227 [in mathcomp.solvable.pgroup]
pi1:230 [in mathcomp.solvable.pgroup]
pi1:235 [in mathcomp.solvable.pgroup]
pi1:267 [in mathcomp.solvable.pgroup]
pi1:275 [in mathcomp.ssreflect.prime]
pi1:281 [in mathcomp.ssreflect.prime]
pi1:288 [in mathcomp.ssreflect.prime]
pi1:291 [in mathcomp.ssreflect.prime]
pi1:481 [in mathcomp.solvable.pgroup]
pi1:501 [in mathcomp.solvable.pgroup]
pi1:807 [in mathcomp.algebra.vector]
pi2s:486 [in mathcomp.solvable.pgroup]
pi2s:494 [in mathcomp.solvable.pgroup]
pi2s:498 [in mathcomp.solvable.pgroup]
pi2s:506 [in mathcomp.solvable.pgroup]
pi2s:510 [in mathcomp.solvable.pgroup]
pi2s:514 [in mathcomp.solvable.pgroup]
pi2s:518 [in mathcomp.solvable.pgroup]
pi2s:522 [in mathcomp.solvable.pgroup]
pi2:228 [in mathcomp.solvable.pgroup]
pi2:231 [in mathcomp.solvable.pgroup]
pi2:236 [in mathcomp.solvable.pgroup]
pi2:268 [in mathcomp.solvable.pgroup]
pi2:276 [in mathcomp.ssreflect.prime]
pi2:282 [in mathcomp.ssreflect.prime]
pi2:289 [in mathcomp.ssreflect.prime]
pi2:292 [in mathcomp.ssreflect.prime]
pi2:482 [in mathcomp.solvable.pgroup]
pi2:502 [in mathcomp.solvable.pgroup]
pi2:814 [in mathcomp.algebra.vector]
pi:100 [in mathcomp.solvable.pgroup]
pi:101 [in mathcomp.solvable.sylow]
pi:103 [in mathcomp.solvable.pgroup]
pI:1059 [in mathcomp.ssreflect.bigop]
pi:106 [in mathcomp.solvable.hall]
pi:107 [in mathcomp.solvable.pgroup]
pi:11 [in mathcomp.solvable.pgroup]
pi:111 [in mathcomp.solvable.pgroup]
pi:115 [in mathcomp.solvable.pgroup]
pi:117 [in mathcomp.solvable.sylow]
pi:119 [in mathcomp.solvable.pgroup]
pi:121 [in mathcomp.solvable.sylow]
pi:123 [in mathcomp.solvable.pgroup]
pi:124 [in mathcomp.solvable.sylow]
pi:126 [in mathcomp.solvable.sylow]
pi:126 [in mathcomp.solvable.pgroup]
pi:131 [in mathcomp.solvable.pgroup]
pi:1348 [in mathcomp.algebra.ssrnum]
pi:136 [in mathcomp.solvable.pgroup]
pi:14 [in mathcomp.solvable.pgroup]
pi:143 [in mathcomp.solvable.pgroup]
pi:152 [in mathcomp.solvable.maximal]
pi:153 [in mathcomp.solvable.pgroup]
pi:157 [in mathcomp.solvable.pgroup]
pi:161 [in mathcomp.solvable.pgroup]
pi:165 [in mathcomp.solvable.pgroup]
pi:169 [in mathcomp.solvable.pgroup]
pi:173 [in mathcomp.solvable.pgroup]
pi:177 [in mathcomp.solvable.pgroup]
pi:184 [in mathcomp.solvable.pgroup]
pi:196 [in mathcomp.solvable.pgroup]
pi:2 [in mathcomp.solvable.pgroup]
pi:206 [in mathcomp.solvable.pgroup]
pi:209 [in mathcomp.solvable.pgroup]
pi:212 [in mathcomp.solvable.pgroup]
pi:215 [in mathcomp.solvable.pgroup]
pi:218 [in mathcomp.solvable.pgroup]
pi:219 [in mathcomp.solvable.pgroup]
pi:22 [in mathcomp.solvable.hall]
pi:221 [in mathcomp.solvable.pgroup]
pi:224 [in mathcomp.solvable.pgroup]
pi:233 [in mathcomp.solvable.pgroup]
pi:238 [in mathcomp.solvable.pgroup]
pi:240 [in mathcomp.solvable.pgroup]
pi:242 [in mathcomp.solvable.pgroup]
pi:244 [in mathcomp.solvable.pgroup]
pi:245 [in mathcomp.solvable.pgroup]
pi:248 [in mathcomp.solvable.pgroup]
pi:250 [in mathcomp.solvable.pgroup]
pi:252 [in mathcomp.solvable.pgroup]
pi:254 [in mathcomp.solvable.pgroup]
pi:256 [in mathcomp.solvable.pgroup]
pi:260 [in mathcomp.solvable.pgroup]
pi:263 [in mathcomp.solvable.pgroup]
pi:265 [in mathcomp.solvable.pgroup]
pi:274 [in mathcomp.solvable.pgroup]
pi:274 [in mathcomp.ssreflect.prime]
pi:279 [in mathcomp.ssreflect.prime]
pi:28 [in mathcomp.solvable.pgroup]
pi:280 [in mathcomp.solvable.pgroup]
pi:284 [in mathcomp.solvable.abelian]
pi:285 [in mathcomp.solvable.pgroup]
pi:290 [in mathcomp.solvable.pgroup]
pi:294 [in mathcomp.ssreflect.prime]
pi:295 [in mathcomp.solvable.pgroup]
pi:297 [in mathcomp.ssreflect.prime]
pi:299 [in mathcomp.solvable.pgroup]
pi:30 [in mathcomp.solvable.pgroup]
pi:302 [in mathcomp.ssreflect.prime]
pi:303 [in mathcomp.solvable.pgroup]
pi:303 [in mathcomp.ssreflect.prime]
pi:304 [in mathcomp.ssreflect.prime]
pi:305 [in mathcomp.ssreflect.prime]
pi:306 [in mathcomp.solvable.pgroup]
pi:310 [in mathcomp.ssreflect.prime]
pi:313 [in mathcomp.ssreflect.prime]
pi:316 [in mathcomp.solvable.pgroup]
pi:320 [in mathcomp.solvable.pgroup]
pi:322 [in mathcomp.ssreflect.prime]
pi:324 [in mathcomp.solvable.pgroup]
pi:33 [in mathcomp.solvable.pgroup]
pi:330 [in mathcomp.ssreflect.prime]
pi:332 [in mathcomp.ssreflect.prime]
pi:336 [in mathcomp.ssreflect.prime]
pi:34 [in mathcomp.solvable.hall]
pi:341 [in mathcomp.solvable.pgroup]
pi:341 [in mathcomp.ssreflect.prime]
pi:344 [in mathcomp.solvable.pgroup]
pi:346 [in mathcomp.solvable.pgroup]
pi:349 [in mathcomp.solvable.pgroup]
pi:349 [in mathcomp.ssreflect.prime]
pi:352 [in mathcomp.solvable.pgroup]
pi:359 [in mathcomp.ssreflect.prime]
pi:36 [in mathcomp.solvable.pgroup]
pi:363 [in mathcomp.solvable.pgroup]
pi:365 [in mathcomp.solvable.pgroup]
pi:37 [in mathcomp.solvable.hall]
pi:372 [in mathcomp.ssreflect.prime]
pi:375 [in mathcomp.ssreflect.prime]
pi:378 [in mathcomp.ssreflect.prime]
pi:381 [in mathcomp.ssreflect.prime]
pi:383 [in mathcomp.ssreflect.prime]
pi:386 [in mathcomp.ssreflect.prime]
pi:387 [in mathcomp.solvable.pgroup]
pi:389 [in mathcomp.solvable.pgroup]
pi:389 [in mathcomp.ssreflect.prime]
pi:39 [in mathcomp.solvable.pgroup]
pi:392 [in mathcomp.ssreflect.prime]
pi:394 [in mathcomp.ssreflect.prime]
pi:4 [in mathcomp.solvable.pgroup]
pi:404 [in mathcomp.ssreflect.prime]
pi:413 [in mathcomp.ssreflect.prime]
pi:418 [in mathcomp.ssreflect.prime]
pi:419 [in mathcomp.solvable.pgroup]
pi:42 [in mathcomp.solvable.pgroup]
pi:420 [in mathcomp.solvable.pgroup]
pi:421 [in mathcomp.ssreflect.prime]
pi:422 [in mathcomp.ssreflect.prime]
pi:424 [in mathcomp.solvable.pgroup]
pi:425 [in mathcomp.solvable.pgroup]
pi:425 [in mathcomp.ssreflect.prime]
pi:426 [in mathcomp.solvable.pgroup]
pi:427 [in mathcomp.solvable.pgroup]
pi:428 [in mathcomp.ssreflect.prime]
pi:431 [in mathcomp.solvable.pgroup]
pi:432 [in mathcomp.ssreflect.prime]
pi:434 [in mathcomp.solvable.pgroup]
pi:435 [in mathcomp.ssreflect.prime]
pi:437 [in mathcomp.ssreflect.prime]
pi:438 [in mathcomp.solvable.pgroup]
pi:439 [in mathcomp.ssreflect.prime]
pi:441 [in mathcomp.ssreflect.prime]
pi:443 [in mathcomp.ssreflect.prime]
pi:445 [in mathcomp.solvable.pgroup]
pi:446 [in mathcomp.ssreflect.prime]
pi:45 [in mathcomp.solvable.pgroup]
pi:450 [in mathcomp.solvable.pgroup]
pi:452 [in mathcomp.ssreflect.prime]
pi:453 [in mathcomp.solvable.pgroup]
pi:456 [in mathcomp.ssreflect.prime]
pi:458 [in mathcomp.ssreflect.prime]
pi:46 [in mathcomp.solvable.hall]
pi:461 [in mathcomp.ssreflect.prime]
pi:474 [in mathcomp.solvable.pgroup]
pi:477 [in mathcomp.solvable.pgroup]
pi:48 [in mathcomp.solvable.pgroup]
pi:490 [in mathcomp.solvable.pgroup]
pi:51 [in mathcomp.solvable.hall]
pi:525 [in mathcomp.solvable.pgroup]
pi:53 [in mathcomp.solvable.pgroup]
pi:530 [in mathcomp.solvable.pgroup]
pi:534 [in mathcomp.solvable.pgroup]
pi:538 [in mathcomp.solvable.pgroup]
pi:542 [in mathcomp.solvable.pgroup]
pi:545 [in mathcomp.solvable.pgroup]
pi:548 [in mathcomp.solvable.pgroup]
pi:55 [in mathcomp.solvable.pgroup]
pi:551 [in mathcomp.solvable.pgroup]
pi:554 [in mathcomp.solvable.pgroup]
pi:556 [in mathcomp.solvable.pgroup]
pi:559 [in mathcomp.solvable.pgroup]
pi:562 [in mathcomp.solvable.pgroup]
pi:565 [in mathcomp.solvable.pgroup]
pi:568 [in mathcomp.solvable.pgroup]
pi:57 [in mathcomp.solvable.hall]
pi:572 [in mathcomp.solvable.pgroup]
pi:575 [in mathcomp.solvable.pgroup]
pi:578 [in mathcomp.solvable.pgroup]
pi:58 [in mathcomp.solvable.pgroup]
pi:586 [in mathcomp.solvable.pgroup]
pi:588 [in mathcomp.solvable.pgroup]
pi:59 [in mathcomp.solvable.pgroup]
pi:590 [in mathcomp.solvable.pgroup]
pi:593 [in mathcomp.solvable.pgroup]
pi:60 [in mathcomp.solvable.abelian]
pi:601 [in mathcomp.solvable.pgroup]
pi:602 [in mathcomp.solvable.pgroup]
pi:63 [in mathcomp.solvable.hall]
pi:71 [in mathcomp.solvable.pgroup]
pi:71 [in mathcomp.solvable.abelian]
pi:74 [in mathcomp.solvable.pgroup]
pi:74 [in mathcomp.solvable.abelian]
pi:792 [in mathcomp.algebra.vector]
pi:8 [in mathcomp.solvable.pgroup]
pi:82 [in mathcomp.solvable.maximal]
pi:88 [in mathcomp.solvable.sylow]
pi:88 [in mathcomp.solvable.pgroup]
pi:91 [in mathcomp.solvable.pgroup]
pi:94 [in mathcomp.solvable.pgroup]
pi:95 [in mathcomp.solvable.sylow]
pi:97 [in mathcomp.solvable.pgroup]
pJ:1060 [in mathcomp.ssreflect.bigop]
PK:153 [in mathcomp.ssreflect.generic_quotient]
porbitE:829 [in mathcomp.fingroup.action]
porbits_mul_tperm:334 [in mathcomp.fingroup.perm]
porbits:316 [in mathcomp.fingroup.perm]
porbit_perm:332 [in mathcomp.fingroup.perm]
porbit_sym:330 [in mathcomp.fingroup.perm]
porbit_traject:324 [in mathcomp.fingroup.perm]
porbit_id:320 [in mathcomp.fingroup.perm]
porbit_actperm:831 [in mathcomp.fingroup.action]
porbit:314 [in mathcomp.fingroup.perm]
pos_lit:1759 [in mathcomp.algebra.ssralg]
pp:203 [in mathcomp.field.closed_field]
pp:209 [in mathcomp.field.closed_field]
PP:305 [in mathcomp.ssreflect.fintype]
PP:328 [in mathcomp.ssreflect.fintype]
pp:456 [in mathcomp.algebra.polydiv]
pp:465 [in mathcomp.algebra.polydiv]
pp:66 [in mathcomp.algebra.polydiv]
pp:75 [in mathcomp.algebra.polydiv]
pqs:322 [in mathcomp.field.closed_field]
pqs:325 [in mathcomp.field.closed_field]
properVU:1200 [in mathcomp.character.mxrepresentation]
pr:246 [in mathcomp.field.closed_field]
psi1:325 [in mathcomp.character.classfun]
psi1:682 [in mathcomp.character.classfun]
psi2:326 [in mathcomp.character.classfun]
psi2:683 [in mathcomp.character.classfun]
psi:104 [in mathcomp.character.vcharacter]
psi:107 [in mathcomp.character.vcharacter]
psi:110 [in mathcomp.character.inertia]
psi:111 [in mathcomp.character.vcharacter]
psi:114 [in mathcomp.character.classfun]
psi:117 [in mathcomp.character.classfun]
psi:137 [in mathcomp.character.classfun]
psi:138 [in mathcomp.character.inertia]
psi:143 [in mathcomp.character.classfun]
psi:144 [in mathcomp.character.inertia]
psi:146 [in mathcomp.character.inertia]
psi:146 [in mathcomp.character.classfun]
psi:166 [in mathcomp.character.classfun]
psi:170 [in mathcomp.character.inertia]
psi:176 [in mathcomp.character.inertia]
psi:204 [in mathcomp.character.vcharacter]
psi:206 [in mathcomp.character.vcharacter]
psi:209 [in mathcomp.character.vcharacter]
psi:243 [in mathcomp.character.classfun]
psi:256 [in mathcomp.character.classfun]
psi:263 [in mathcomp.character.inertia]
psi:266 [in mathcomp.character.inertia]
psi:267 [in mathcomp.character.classfun]
psi:271 [in mathcomp.character.inertia]
psi:272 [in mathcomp.character.classfun]
psi:274 [in mathcomp.character.inertia]
psi:276 [in mathcomp.character.classfun]
psi:280 [in mathcomp.character.classfun]
psi:284 [in mathcomp.character.classfun]
psi:291 [in mathcomp.character.classfun]
psi:294 [in mathcomp.character.classfun]
psi:30 [in mathcomp.character.classfun]
psi:304 [in mathcomp.character.classfun]
psi:307 [in mathcomp.character.classfun]
psi:311 [in mathcomp.character.inertia]
psi:314 [in mathcomp.character.inertia]
psi:317 [in mathcomp.character.vcharacter]
psi:317 [in mathcomp.character.inertia]
psi:320 [in mathcomp.character.vcharacter]
psi:322 [in mathcomp.character.classfun]
psi:329 [in mathcomp.character.classfun]
psi:334 [in mathcomp.character.inertia]
psi:336 [in mathcomp.character.classfun]
psi:34 [in mathcomp.character.classfun]
psi:352 [in mathcomp.character.classfun]
psi:356 [in mathcomp.character.classfun]
psi:358 [in mathcomp.character.classfun]
psi:360 [in mathcomp.character.classfun]
psi:373 [in mathcomp.character.classfun]
psi:376 [in mathcomp.character.classfun]
psi:379 [in mathcomp.character.classfun]
psi:381 [in mathcomp.character.classfun]
psi:384 [in mathcomp.character.classfun]
psi:386 [in mathcomp.character.classfun]
psi:388 [in mathcomp.character.classfun]
psi:393 [in mathcomp.character.classfun]
psi:397 [in mathcomp.character.classfun]
psi:400 [in mathcomp.character.classfun]
psi:402 [in mathcomp.character.classfun]
psi:438 [in mathcomp.character.classfun]
psi:447 [in mathcomp.character.character]
psi:45 [in mathcomp.character.classfun]
psi:459 [in mathcomp.character.classfun]
psi:463 [in mathcomp.character.classfun]
psi:467 [in mathcomp.character.classfun]
psi:48 [in mathcomp.character.classfun]
psi:519 [in mathcomp.character.classfun]
psi:520 [in mathcomp.character.character]
psi:54 [in mathcomp.character.classfun]
psi:563 [in mathcomp.character.character]
psi:565 [in mathcomp.character.character]
psi:57 [in mathcomp.character.classfun]
psi:585 [in mathcomp.character.classfun]
psi:591 [in mathcomp.character.classfun]
psi:594 [in mathcomp.character.classfun]
psi:597 [in mathcomp.character.classfun]
psi:609 [in mathcomp.character.classfun]
psi:617 [in mathcomp.character.classfun]
psi:620 [in mathcomp.character.classfun]
psi:623 [in mathcomp.character.character]
psi:625 [in mathcomp.character.character]
psi:627 [in mathcomp.character.character]
psi:629 [in mathcomp.character.character]
psi:631 [in mathcomp.character.character]
psi:649 [in mathcomp.character.classfun]
psi:651 [in mathcomp.character.classfun]
psi:653 [in mathcomp.character.classfun]
psi:655 [in mathcomp.character.classfun]
psi:657 [in mathcomp.character.classfun]
psi:659 [in mathcomp.character.classfun]
psi:661 [in mathcomp.character.classfun]
psi:665 [in mathcomp.character.classfun]
psi:669 [in mathcomp.character.classfun]
psi:673 [in mathcomp.character.classfun]
psi:675 [in mathcomp.character.classfun]
psi:676 [in mathcomp.character.classfun]
psi:679 [in mathcomp.character.classfun]
psi:685 [in mathcomp.character.classfun]
psi:693 [in mathcomp.character.classfun]
psi:738 [in mathcomp.character.classfun]
psi:76 [in mathcomp.character.classfun]
psi:808 [in mathcomp.character.classfun]
psi:815 [in mathcomp.character.classfun]
psi:818 [in mathcomp.character.classfun]
psi:859 [in mathcomp.character.classfun]
psi:86 [in mathcomp.character.inertia]
psi:863 [in mathcomp.character.classfun]
psi:864 [in mathcomp.character.classfun]
psi:867 [in mathcomp.character.classfun]
psi:869 [in mathcomp.character.classfun]
psi:87 [in mathcomp.character.classfun]
psi:883 [in mathcomp.character.character]
psi:885 [in mathcomp.character.character]
psi:90 [in mathcomp.character.classfun]
psi:99 [in mathcomp.character.inertia]
Ps:1706 [in mathcomp.ssreflect.seq]
Ps:1713 [in mathcomp.ssreflect.seq]
Ps:1722 [in mathcomp.ssreflect.seq]
ps:188 [in mathcomp.field.galois]
ps:189 [in mathcomp.field.galois]
ps:243 [in mathcomp.field.closed_field]
ps:248 [in mathcomp.field.closed_field]
ps:253 [in mathcomp.field.closed_field]
ps:284 [in mathcomp.field.closed_field]
ps:289 [in mathcomp.field.closed_field]
ps:294 [in mathcomp.field.closed_field]
ps:329 [in mathcomp.field.closed_field]
ps:334 [in mathcomp.field.closed_field]
ps:386 [in mathcomp.algebra.polydiv]
ps:6 [in mathcomp.field.algnum]
ps:686 [in mathcomp.algebra.polydiv]
ps:93 [in mathcomp.ssreflect.ssrAC]
Pt:1013 [in mathcomp.algebra.mxalgebra]
Pt:1014 [in mathcomp.algebra.mxalgebra]
pT:136 [in mathcomp.ssreflect.finfun]
pT:194 [in mathcomp.ssreflect.fintype]
pT:4 [in mathcomp.ssreflect.ssrbool]
pT:41 [in mathcomp.ssreflect.fintype]
pT:65 [in mathcomp.ssreflect.prime]
pu:286 [in mathcomp.field.algebraics_fundamentals]
pval:4 [in mathcomp.fingroup.perm]
Px:102 [in mathcomp.solvable.finmodule]
Px:120 [in mathcomp.solvable.finmodule]
px:145 [in mathcomp.ssreflect.generic_quotient]
Px:147 [in mathcomp.ssreflect.generic_quotient]
Px:152 [in mathcomp.ssreflect.generic_quotient]
Px:236 [in mathcomp.ssreflect.eqtype]
Px:239 [in mathcomp.ssreflect.eqtype]
Px:252 [in mathcomp.ssreflect.eqtype]
Px:255 [in mathcomp.ssreflect.eqtype]
Px:265 [in mathcomp.ssreflect.eqtype]
Px:277 [in mathcomp.ssreflect.eqtype]
Px:284 [in mathcomp.ssreflect.eqtype]
px:564 [in mathcomp.ssreflect.path]
p_gt1:47 [in mathcomp.algebra.zmodp]
p_gt1:45 [in mathcomp.algebra.zmodp]
p_i:270 [in mathcomp.field.algebraics_fundamentals]
p_j:70 [in mathcomp.field.algC]
p_j:69 [in mathcomp.field.algC]
p_x:511 [in mathcomp.ssreflect.path]
p':196 [in mathcomp.ssreflect.path]
p':41 [in mathcomp.ssreflect.ssrAC]
p':540 [in mathcomp.ssreflect.path]
p':550 [in mathcomp.ssreflect.path]
P0:1705 [in mathcomp.ssreflect.seq]
P0:1712 [in mathcomp.ssreflect.seq]
P0:1721 [in mathcomp.ssreflect.seq]
p0:977 [in mathcomp.ssreflect.ssrnat]
p1:10 [in mathcomp.ssreflect.path]
P1:1068 [in mathcomp.ssreflect.finset]
P1:1094 [in mathcomp.ssreflect.finset]
p1:114 [in mathcomp.ssreflect.eqtype]
p1:1246 [in mathcomp.algebra.matrix]
p1:1269 [in mathcomp.algebra.matrix]
p1:1278 [in mathcomp.algebra.matrix]
p1:128 [in mathcomp.solvable.burnside_app]
p1:1301 [in mathcomp.algebra.matrix]
p1:140 [in mathcomp.ssreflect.path]
p1:144 [in mathcomp.ssreflect.path]
p1:149 [in mathcomp.ssreflect.path]
p1:150 [in mathcomp.solvable.burnside_app]
p1:164 [in mathcomp.ssreflect.path]
p1:167 [in mathcomp.ssreflect.path]
p1:171 [in mathcomp.ssreflect.path]
P1:1720 [in mathcomp.algebra.matrix]
p1:183 [in mathcomp.ssreflect.path]
p1:227 [in mathcomp.field.closed_field]
p1:231 [in mathcomp.field.closed_field]
p1:28 [in mathcomp.solvable.alt]
P1:296 [in mathcomp.ssreflect.bigop]
P1:302 [in mathcomp.ssreflect.bigop]
P1:321 [in mathcomp.ssreflect.bigop]
P1:330 [in mathcomp.ssreflect.bigop]
P1:339 [in mathcomp.ssreflect.fintype]
P1:344 [in mathcomp.ssreflect.fintype]
P1:349 [in mathcomp.ssreflect.fintype]
P1:354 [in mathcomp.ssreflect.fintype]
p1:364 [in mathcomp.ssreflect.eqtype]
p1:409 [in mathcomp.algebra.intdiv]
p1:412 [in mathcomp.algebra.intdiv]
p1:42 [in mathcomp.solvable.burnside_app]
P1:429 [in mathcomp.ssreflect.bigop]
p1:532 [in mathcomp.algebra.polydiv]
p1:571 [in mathcomp.ssreflect.path]
p1:576 [in mathcomp.ssreflect.path]
p1:585 [in mathcomp.ssreflect.path]
p1:66 [in mathcomp.ssreflect.path]
p1:75 [in mathcomp.ssreflect.path]
p1:83 [in mathcomp.ssreflect.path]
p1:83 [in mathcomp.character.character]
p1:894 [in mathcomp.algebra.polydiv]
p1:901 [in mathcomp.algebra.polydiv]
P2:1069 [in mathcomp.ssreflect.finset]
P2:1095 [in mathcomp.ssreflect.finset]
p2:11 [in mathcomp.ssreflect.path]
p2:115 [in mathcomp.ssreflect.eqtype]
p2:1247 [in mathcomp.algebra.matrix]
p2:1270 [in mathcomp.algebra.matrix]
p2:1279 [in mathcomp.algebra.matrix]
p2:129 [in mathcomp.solvable.burnside_app]
p2:1302 [in mathcomp.algebra.matrix]
p2:141 [in mathcomp.ssreflect.path]
p2:148 [in mathcomp.ssreflect.path]
p2:151 [in mathcomp.solvable.burnside_app]
p2:165 [in mathcomp.ssreflect.path]
p2:168 [in mathcomp.ssreflect.path]
p2:172 [in mathcomp.ssreflect.path]
p2:184 [in mathcomp.ssreflect.path]
P2:297 [in mathcomp.ssreflect.bigop]
P2:303 [in mathcomp.ssreflect.bigop]
P2:322 [in mathcomp.ssreflect.bigop]
P2:331 [in mathcomp.ssreflect.bigop]
P2:340 [in mathcomp.ssreflect.fintype]
P2:345 [in mathcomp.ssreflect.fintype]
P2:350 [in mathcomp.ssreflect.fintype]
P2:355 [in mathcomp.ssreflect.fintype]
p2:365 [in mathcomp.ssreflect.eqtype]
p2:43 [in mathcomp.solvable.burnside_app]
P2:430 [in mathcomp.ssreflect.bigop]
p2:533 [in mathcomp.algebra.polydiv]
p2:572 [in mathcomp.ssreflect.path]
p2:577 [in mathcomp.ssreflect.path]
p2:586 [in mathcomp.ssreflect.path]
p2:67 [in mathcomp.ssreflect.path]
p2:76 [in mathcomp.ssreflect.path]
p2:77 [in mathcomp.character.character]
p2:84 [in mathcomp.ssreflect.path]
p2:88 [in mathcomp.character.character]
p2:895 [in mathcomp.algebra.polydiv]
p2:902 [in mathcomp.algebra.polydiv]
p3:145 [in mathcomp.ssreflect.path]
p3:150 [in mathcomp.ssreflect.path]
p3:173 [in mathcomp.ssreflect.path]
p3:55 [in mathcomp.field.separable]
P:10 [in mathcomp.ssreflect.ssreflect]
p:100 [in mathcomp.field.finfield]
p:100 [in mathcomp.algebra.polyXY]
p:100 [in mathcomp.solvable.abelian]
P:100 [in mathcomp.solvable.nilpotent]
p:1000 [in mathcomp.algebra.poly]
p:1002 [in mathcomp.algebra.polydiv]
p:1003 [in mathcomp.algebra.matrix]
P:1003 [in mathcomp.ssreflect.bigop]
p:1005 [in mathcomp.algebra.polydiv]
p:1007 [in mathcomp.algebra.matrix]
p:1008 [in mathcomp.algebra.polydiv]
p:101 [in mathcomp.algebra.intdiv]
P:101 [in mathcomp.ssreflect.choice]
p:101 [in mathcomp.field.separable]
p:101 [in mathcomp.field.algnum]
p:101 [in mathcomp.solvable.abelian]
p:101 [in mathcomp.solvable.burnside_app]
P:1010 [in mathcomp.algebra.mxalgebra]
p:1011 [in mathcomp.algebra.matrix]
P:1011 [in mathcomp.algebra.mxalgebra]
P:1014 [in mathcomp.ssreflect.bigop]
p:1016 [in mathcomp.algebra.matrix]
p:1018 [in mathcomp.algebra.polydiv]
P:1018 [in mathcomp.ssreflect.order]
p:102 [in mathcomp.algebra.polydiv]
P:102 [in mathcomp.character.inertia]
p:102 [in mathcomp.ssreflect.path]
p:102 [in mathcomp.algebra.poly]
p:1020 [in mathcomp.algebra.polydiv]
p:1021 [in mathcomp.algebra.matrix]
p:1022 [in mathcomp.algebra.polydiv]
p:1024 [in mathcomp.algebra.polydiv]
P:1024 [in mathcomp.ssreflect.finset]
P:1025 [in mathcomp.ssreflect.order]
p:1026 [in mathcomp.algebra.polydiv]
p:1027 [in mathcomp.algebra.matrix]
p:1028 [in mathcomp.algebra.polydiv]
P:1028 [in mathcomp.ssreflect.finset]
P:1028 [in mathcomp.fingroup.fingroup]
P:1029 [in mathcomp.ssreflect.bigop]
P:103 [in mathcomp.ssreflect.choice]
p:103 [in mathcomp.solvable.abelian]
p:103 [in mathcomp.solvable.burnside_app]
p:1030 [in mathcomp.algebra.polydiv]
p:1032 [in mathcomp.algebra.polydiv]
p:1033 [in mathcomp.algebra.matrix]
p:1034 [in mathcomp.algebra.polydiv]
p:1034 [in mathcomp.character.mxrepresentation]
P:1035 [in mathcomp.fingroup.fingroup]
p:1037 [in mathcomp.algebra.polydiv]
P:1039 [in mathcomp.ssreflect.finset]
p:1039 [in mathcomp.algebra.matrix]
p:104 [in mathcomp.field.algC]
p:104 [in mathcomp.field.closed_field]
p:1040 [in mathcomp.algebra.polydiv]
P:1041 [in mathcomp.ssreflect.finset]
p:1043 [in mathcomp.algebra.polydiv]
P:1044 [in mathcomp.ssreflect.bigop]
p:1045 [in mathcomp.algebra.matrix]
P:1049 [in mathcomp.algebra.matrix]
p:105 [in mathcomp.field.algC]
p:105 [in mathcomp.ssreflect.path]
p:105 [in mathcomp.solvable.burnside_app]
P:105 [in mathcomp.algebra.ssralg]
P:1051 [in mathcomp.ssreflect.bigop]
p:1055 [in mathcomp.algebra.matrix]
P:1058 [in mathcomp.algebra.mxalgebra]
P:1059 [in mathcomp.algebra.matrix]
P:106 [in mathcomp.ssreflect.seq]
p:106 [in mathcomp.field.separable]
p:106 [in mathcomp.ssreflect.prime]
p:106 [in mathcomp.solvable.abelian]
p:106 [in mathcomp.solvable.burnside_app]
P:1061 [in mathcomp.ssreflect.finset]
p:1063 [in mathcomp.ssreflect.seq]
P:1065 [in mathcomp.ssreflect.finset]
p:1065 [in mathcomp.algebra.matrix]
P:107 [in mathcomp.ssreflect.choice]
p:107 [in mathcomp.character.inertia]
p:107 [in mathcomp.algebra.polyXY]
p:107 [in mathcomp.solvable.burnside_app]
P:107 [in mathcomp.algebra.poly]
P:1070 [in mathcomp.ssreflect.bigop]
P:1071 [in mathcomp.ssreflect.finset]
P:1074 [in mathcomp.ssreflect.finset]
p:1075 [in mathcomp.algebra.matrix]
P:1076 [in mathcomp.ssreflect.finset]
P:1079 [in mathcomp.ssreflect.finset]
p:108 [in mathcomp.ssreflect.ssrnat]
p:108 [in mathcomp.field.closed_field]
p:108 [in mathcomp.ssreflect.path]
P:1086 [in mathcomp.ssreflect.finset]
p:1086 [in mathcomp.algebra.matrix]
P:1087 [in mathcomp.algebra.ssralg]
p:109 [in mathcomp.ssreflect.prime]
p:109 [in mathcomp.algebra.polyXY]
p:109 [in mathcomp.solvable.abelian]
P:1090 [in mathcomp.ssreflect.bigop]
P:1091 [in mathcomp.ssreflect.finset]
p:1093 [in mathcomp.algebra.matrix]
P:1097 [in mathcomp.ssreflect.finset]
p:1099 [in mathcomp.algebra.matrix]
p:11 [in mathcomp.algebra.polyXY]
P:110 [in mathcomp.ssreflect.choice]
p:110 [in mathcomp.solvable.sylow]
p:110 [in mathcomp.ssreflect.prime]
p:110 [in mathcomp.algebra.polyXY]
P:1100 [in mathcomp.ssreflect.finset]
p:1102 [in mathcomp.ssreflect.seq]
P:1103 [in mathcomp.ssreflect.finset]
P:1106 [in mathcomp.ssreflect.finset]
P:1108 [in mathcomp.ssreflect.finset]
p:111 [in mathcomp.ssreflect.div]
p:111 [in mathcomp.ssreflect.ssrnat]
p:111 [in mathcomp.field.closed_field]
P:111 [in mathcomp.solvable.sylow]
p:111 [in mathcomp.ssreflect.path]
p:111 [in mathcomp.ssreflect.prime]
p:111 [in mathcomp.solvable.abelian]
P:111 [in mathcomp.algebra.ssralg]
P:1111 [in mathcomp.ssreflect.finset]
P:1115 [in mathcomp.ssreflect.finset]
p:112 [in mathcomp.algebra.intdiv]
p:112 [in mathcomp.algebra.polydiv]
P:112 [in mathcomp.algebra.mxpoly]
p:112 [in mathcomp.solvable.sylow]
P:1125 [in mathcomp.ssreflect.order]
p:113 [in mathcomp.field.closed_field]
P:113 [in mathcomp.solvable.sylow]
p:113 [in mathcomp.ssreflect.path]
p:1135 [in mathcomp.algebra.matrix]
p:114 [in mathcomp.ssreflect.prime]
p:114 [in mathcomp.solvable.abelian]
p:1141 [in mathcomp.algebra.matrix]
P:1146 [in mathcomp.algebra.mxalgebra]
p:1147 [in mathcomp.algebra.matrix]
P:1149 [in mathcomp.algebra.ssrnum]
p:115 [in mathcomp.algebra.polydiv]
p:115 [in mathcomp.ssreflect.path]
p:115 [in mathcomp.ssreflect.prime]
p:116 [in mathcomp.ssreflect.div]
p:116 [in mathcomp.algebra.intdiv]
p:116 [in mathcomp.algebra.polydiv]
p:116 [in mathcomp.field.algC]
P:116 [in mathcomp.algebra.mxpoly]
p:116 [in mathcomp.field.closed_field]
p:116 [in mathcomp.ssreflect.path]
p:116 [in mathcomp.ssreflect.prime]
p:116 [in mathcomp.solvable.abelian]
p:116 [in mathcomp.solvable.maximal]
P:1162 [in mathcomp.ssreflect.bigop]
P:1164 [in mathcomp.algebra.ssrnum]
P:117 [in mathcomp.character.vcharacter]
p:117 [in mathcomp.field.algC]
p:117 [in mathcomp.ssreflect.path]
P:1172 [in mathcomp.ssreflect.bigop]
P:1179 [in mathcomp.ssreflect.bigop]
p:118 [in mathcomp.ssreflect.ssrnat]
p:118 [in mathcomp.ssreflect.path]
p:118 [in mathcomp.ssreflect.prime]
p:118 [in mathcomp.solvable.abelian]
P:1180 [in mathcomp.ssreflect.order]
P:1185 [in mathcomp.ssreflect.bigop]
P:1186 [in mathcomp.ssreflect.order]
p:119 [in mathcomp.ssreflect.div]
p:119 [in mathcomp.ssreflect.path]
P:119 [in mathcomp.algebra.ssralg]
P:1191 [in mathcomp.ssreflect.order]
P:1191 [in mathcomp.ssreflect.bigop]
P:1196 [in mathcomp.ssreflect.bigop]
P:1199 [in mathcomp.ssreflect.order]
p:12 [in mathcomp.field.galois]
p:12 [in mathcomp.field.separable]
p:12 [in mathcomp.algebra.mxpoly]
p:12 [in mathcomp.solvable.abelian]
p:12 [in mathcomp.algebra.poly]
p:120 [in mathcomp.ssreflect.prime]
P:1205 [in mathcomp.ssreflect.order]
P:1205 [in mathcomp.ssreflect.bigop]
p:1206 [in mathcomp.algebra.mxalgebra]
p:121 [in mathcomp.ssreflect.path]
p:121 [in mathcomp.solvable.abelian]
p:121 [in mathcomp.solvable.maximal]
P:1212 [in mathcomp.ssreflect.order]
P:1212 [in mathcomp.ssreflect.bigop]
P:1218 [in mathcomp.ssreflect.bigop]
P:122 [in mathcomp.ssreflect.binomial]
p:122 [in mathcomp.fingroup.perm]
p:122 [in mathcomp.ssreflect.div]
p:122 [in mathcomp.algebra.polydiv]
p:122 [in mathcomp.ssreflect.prime]
p:122 [in mathcomp.solvable.burnside_app]
p:1227 [in mathcomp.algebra.matrix]
p:123 [in mathcomp.algebra.polydiv]
P:123 [in mathcomp.ssreflect.choice]
p:123 [in mathcomp.ssreflect.path]
p:123 [in mathcomp.field.finfield]
p:123 [in mathcomp.field.algnum]
p:1232 [in mathcomp.algebra.matrix]
P:1237 [in mathcomp.algebra.mxalgebra]
p:124 [in mathcomp.algebra.polydiv]
p:124 [in mathcomp.field.algC]
p:124 [in mathcomp.ssreflect.path]
p:124 [in mathcomp.ssreflect.prime]
p:124 [in mathcomp.solvable.abelian]
P:124 [in mathcomp.solvable.nilpotent]
P:1240 [in mathcomp.ssreflect.bigop]
P:1245 [in mathcomp.ssreflect.bigop]
p:125 [in mathcomp.field.separable]
p:125 [in mathcomp.ssreflect.path]
P:125 [in mathcomp.character.character]
p:125 [in mathcomp.solvable.maximal]
p:125 [in mathcomp.algebra.poly]
P:1251 [in mathcomp.ssreflect.order]
P:1252 [in mathcomp.ssreflect.bigop]
p:1254 [in mathcomp.algebra.matrix]
P:1257 [in mathcomp.ssreflect.order]
P:1257 [in mathcomp.ssreflect.bigop]
p:126 [in mathcomp.algebra.polydiv]
p:126 [in mathcomp.field.algC]
p:126 [in mathcomp.algebra.poly]
p:1261 [in mathcomp.algebra.matrix]
P:1262 [in mathcomp.ssreflect.order]
P:1264 [in mathcomp.ssreflect.bigop]
p:1265 [in mathcomp.ssreflect.seq]
P:1268 [in mathcomp.ssreflect.order]
p:127 [in mathcomp.ssreflect.binomial]
p:127 [in mathcomp.ssreflect.div]
p:127 [in mathcomp.algebra.mxpoly]
p:127 [in mathcomp.ssreflect.prime]
p:127 [in mathcomp.solvable.burnside_app]
P:127 [in mathcomp.algebra.ssralg]
p:127 [in mathcomp.algebra.poly]
P:1274 [in mathcomp.ssreflect.order]
p:128 [in mathcomp.field.algC]
p:128 [in mathcomp.ssreflect.path]
p:128 [in mathcomp.solvable.abelian]
P:1281 [in mathcomp.ssreflect.order]
p:129 [in mathcomp.algebra.mxpoly]
p:129 [in mathcomp.algebra.poly]
p:1290 [in mathcomp.algebra.matrix]
p:13 [in mathcomp.ssreflect.path]
p:13 [in mathcomp.field.algnum]
P:13 [in mathcomp.algebra.rat]
p:13 [in mathcomp.algebra.poly]
p:130 [in mathcomp.ssreflect.binomial]
p:130 [in mathcomp.ssreflect.div]
P:130 [in mathcomp.ssreflect.prime]
p:130 [in mathcomp.solvable.cyclic]
P:1308 [in mathcomp.ssreflect.seq]
p:131 [in mathcomp.algebra.mxpoly]
p:131 [in mathcomp.ssreflect.path]
P:1311 [in mathcomp.ssreflect.seq]
P:1313 [in mathcomp.algebra.ssrnum]
p:1318 [in mathcomp.character.mxrepresentation]
p:1319 [in mathcomp.character.mxrepresentation]
P:132 [in mathcomp.ssreflect.choice]
p:132 [in mathcomp.solvable.sylow]
p:132 [in mathcomp.solvable.pgroup]
p:132 [in mathcomp.field.finfield]
p:132 [in mathcomp.ssreflect.prime]
p:132 [in mathcomp.solvable.abelian]
p:1320 [in mathcomp.character.mxrepresentation]
P:1322 [in mathcomp.algebra.ssrnum]
P:1326 [in mathcomp.ssreflect.order]
p:133 [in mathcomp.ssreflect.div]
p:133 [in mathcomp.algebra.polydiv]
p:133 [in mathcomp.field.finfield]
p:133 [in mathcomp.solvable.burnside_app]
P:133 [in mathcomp.algebra.poly]
p:1330 [in mathcomp.algebra.matrix]
p:134 [in mathcomp.algebra.mxpoly]
P:134 [in mathcomp.solvable.sylow]
p:134 [in mathcomp.ssreflect.path]
p:134 [in mathcomp.solvable.burnside_app]
P:1342 [in mathcomp.algebra.ssrnum]
P:135 [in mathcomp.ssreflect.choice]
P:135 [in mathcomp.solvable.pgroup]
p:135 [in mathcomp.solvable.abelian]
p:135 [in mathcomp.solvable.burnside_app]
P:1357 [in mathcomp.ssreflect.order]
p:136 [in mathcomp.solvable.sylow]
p:136 [in mathcomp.solvable.abelian]
p:136 [in mathcomp.solvable.burnside_app]
P:136 [in mathcomp.solvable.hall]
P:137 [in mathcomp.ssreflect.choice]
P:137 [in mathcomp.solvable.sylow]
p:137 [in mathcomp.ssreflect.path]
p:137 [in mathcomp.ssreflect.prime]
p:137 [in mathcomp.solvable.abelian]
P:137 [in mathcomp.solvable.hall]
p:137 [in mathcomp.algebra.poly]
p:138 [in mathcomp.field.galois]
p:138 [in mathcomp.ssreflect.prime]
p:138 [in mathcomp.solvable.burnside_app]
p:1386 [in mathcomp.algebra.ssrnum]
p:139 [in mathcomp.character.integral_char]
p:139 [in mathcomp.algebra.mxpoly]
p:139 [in mathcomp.algebra.poly]
p:139 [in mathcomp.ssreflect.eqtype]
p:1391 [in mathcomp.algebra.matrix]
p:14 [in mathcomp.ssreflect.binomial]
p:14 [in mathcomp.algebra.polydiv]
p:14 [in mathcomp.solvable.extremal]
P:140 [in mathcomp.ssreflect.choice]
P:140 [in mathcomp.ssreflect.ssrnat]
p:140 [in mathcomp.field.algC]
p:140 [in mathcomp.solvable.abelian]
P:140 [in mathcomp.solvable.hall]
P:140 [in mathcomp.ssreflect.fintype]
P:141 [in mathcomp.character.integral_char]
p:141 [in mathcomp.field.algC]
p:141 [in mathcomp.algebra.poly]
P:142 [in mathcomp.ssreflect.bigop]
p:142 [in mathcomp.algebra.mxalgebra]
p:143 [in mathcomp.field.algebraics_fundamentals]
p:143 [in mathcomp.solvable.abelian]
p:143 [in mathcomp.ssreflect.eqtype]
p:144 [in mathcomp.ssreflect.div]
P:144 [in mathcomp.solvable.hall]
p:145 [in mathcomp.algebra.polydiv]
p:145 [in mathcomp.algebra.poly]
p:146 [in mathcomp.ssreflect.div]
p:146 [in mathcomp.algebra.polydiv]
p:147 [in mathcomp.field.algebraics_fundamentals]
p:147 [in mathcomp.field.galois]
P:147 [in mathcomp.fingroup.fingroup]
p:147 [in mathcomp.solvable.abelian]
p:147 [in mathcomp.algebra.mxalgebra]
p:148 [in mathcomp.field.galois]
p:148 [in mathcomp.field.fieldext]
p:149 [in mathcomp.algebra.polydiv]
p:149 [in mathcomp.algebra.mxpoly]
p:149 [in mathcomp.algebra.poly]
P:1490 [in mathcomp.ssreflect.order]
P:1496 [in mathcomp.ssreflect.order]
p:15 [in mathcomp.field.separable]
p:150 [in mathcomp.field.fieldext]
p:150 [in mathcomp.solvable.abelian]
p:151 [in mathcomp.algebra.polydiv]
p:151 [in mathcomp.field.fieldext]
p:152 [in mathcomp.field.fieldext]
P:152 [in mathcomp.solvable.sylow]
p:1520 [in mathcomp.ssreflect.seq]
p:1522 [in mathcomp.ssreflect.seq]
p:154 [in mathcomp.algebra.polydiv]
p:154 [in mathcomp.solvable.abelian]
P:1548 [in mathcomp.algebra.ssralg]
p:155 [in mathcomp.algebra.polydiv]
p:155 [in mathcomp.ssreflect.path]
p:155 [in mathcomp.field.finfield]
p:1556 [in mathcomp.ssreflect.seq]
p:156 [in mathcomp.ssreflect.binomial]
p:156 [in mathcomp.algebra.polydiv]
p:156 [in mathcomp.ssreflect.ssrnat]
p:156 [in mathcomp.algebra.mxpoly]
p:157 [in mathcomp.ssreflect.div]
p:157 [in mathcomp.field.fieldext]
p:1575 [in mathcomp.ssreflect.seq]
p:1575 [in mathcomp.algebra.ssrnum]
p:158 [in mathcomp.ssreflect.binomial]
p:158 [in mathcomp.algebra.polydiv]
p:158 [in mathcomp.field.fieldext]
p:158 [in mathcomp.ssreflect.prime]
p:158 [in mathcomp.solvable.abelian]
p:158 [in mathcomp.ssreflect.eqtype]
P:1586 [in mathcomp.algebra.ssralg]
p:159 [in mathcomp.ssreflect.ssrnat]
p:159 [in mathcomp.field.fieldext]
p:16 [in mathcomp.algebra.polydiv]
p:16 [in mathcomp.ssreflect.path]
p:16 [in mathcomp.field.algnum]
p:160 [in mathcomp.ssreflect.binomial]
p:160 [in mathcomp.algebra.polydiv]
p:160 [in mathcomp.field.fieldext]
P:160 [in mathcomp.solvable.sylow]
P:160 [in mathcomp.ssreflect.bigop]
p:160 [in mathcomp.ssreflect.eqtype]
p:161 [in mathcomp.ssreflect.div]
p:161 [in mathcomp.algebra.polydiv]
p:161 [in mathcomp.algebra.mxpoly]
P:161 [in mathcomp.solvable.sylow]
p:162 [in mathcomp.ssreflect.ssrnat]
p:162 [in mathcomp.ssreflect.path]
p:162 [in mathcomp.solvable.abelian]
p:162 [in mathcomp.algebra.poly]
p:162 [in mathcomp.field.falgebra]
p:163 [in mathcomp.algebra.polydiv]
p:163 [in mathcomp.algebra.mxpoly]
p:163 [in mathcomp.ssreflect.prime]
p:164 [in mathcomp.algebra.mxpoly]
p:164 [in mathcomp.solvable.abelian]
P:165 [in mathcomp.fingroup.quotient]
p:165 [in mathcomp.algebra.polydiv]
p:165 [in mathcomp.ssreflect.ssrnat]
p:165 [in mathcomp.ssreflect.fingraph]
p:166 [in mathcomp.field.fieldext]
p:166 [in mathcomp.ssreflect.prime]
p:166 [in mathcomp.algebra.poly]
p:167 [in mathcomp.field.closed_field]
p:167 [in mathcomp.ssreflect.prime]
p:167 [in mathcomp.ssreflect.fingraph]
p:168 [in mathcomp.solvable.abelian]
p:169 [in mathcomp.ssreflect.fingraph]
P:169 [in mathcomp.ssreflect.fintype]
P:1696 [in mathcomp.ssreflect.order]
p:17 [in mathcomp.solvable.pgroup]
p:17 [in mathcomp.field.algnum]
p:170 [in mathcomp.ssreflect.prime]
P:170 [in mathcomp.ssreflect.fintype]
p:170 [in mathcomp.algebra.poly]
P:1701 [in mathcomp.ssreflect.seq]
P:1704 [in mathcomp.ssreflect.order]
P:1707 [in mathcomp.ssreflect.seq]
P:171 [in mathcomp.algebra.vector]
p:172 [in mathcomp.solvable.abelian]
p:172 [in mathcomp.algebra.poly]
P:1722 [in mathcomp.algebra.matrix]
p:173 [in mathcomp.algebra.mxpoly]
p:173 [in mathcomp.ssreflect.prime]
p:174 [in mathcomp.algebra.poly]
P:175 [in mathcomp.character.character]
p:176 [in mathcomp.field.fieldext]
p:176 [in mathcomp.ssreflect.prime]
p:176 [in mathcomp.solvable.abelian]
p:176 [in mathcomp.algebra.poly]
p:177 [in mathcomp.field.fieldext]
p:177 [in mathcomp.algebra.mxpoly]
P:177 [in mathcomp.character.classfun]
p:177 [in mathcomp.ssreflect.prime]
p:178 [in mathcomp.algebra.polydiv]
p:178 [in mathcomp.ssreflect.ssrnat]
p:178 [in mathcomp.field.algnum]
p:179 [in mathcomp.field.closed_field]
P:179 [in mathcomp.solvable.nilpotent]
p:1798 [in mathcomp.algebra.ssralg]
p:18 [in mathcomp.algebra.polydiv]
p:18 [in mathcomp.field.separable]
p:18 [in mathcomp.solvable.abelian]
p:180 [in mathcomp.algebra.polydiv]
p:180 [in mathcomp.ssreflect.prime]
p:180 [in mathcomp.ssreflect.fingraph]
P:180 [in mathcomp.algebra.poly]
P:1805 [in mathcomp.algebra.ssralg]
p:181 [in mathcomp.ssreflect.ssrnat]
p:181 [in mathcomp.ssreflect.prime]
p:181 [in mathcomp.solvable.abelian]
P:181 [in mathcomp.ssreflect.bigop]
p:182 [in mathcomp.algebra.polydiv]
P:183 [in mathcomp.ssreflect.choice]
p:183 [in mathcomp.field.galois]
P:1839 [in mathcomp.algebra.ssralg]
p:184 [in mathcomp.algebra.polydiv]
p:184 [in mathcomp.field.galois]
P:1846 [in mathcomp.algebra.ssralg]
p:185 [in mathcomp.field.galois]
p:185 [in mathcomp.algebra.mxpoly]
p:185 [in mathcomp.ssreflect.path]
p:185 [in mathcomp.solvable.abelian]
p:185 [in mathcomp.algebra.poly]
P:1853 [in mathcomp.algebra.ssralg]
P:1859 [in mathcomp.algebra.ssralg]
p:186 [in mathcomp.solvable.burnside_app]
p:187 [in mathcomp.field.closed_field]
p:187 [in mathcomp.ssreflect.prime]
p:187 [in mathcomp.solvable.burnside_app]
P:187 [in mathcomp.solvable.nilpotent]
p:1870 [in mathcomp.algebra.ssralg]
p:188 [in mathcomp.algebra.polydiv]
P:188 [in mathcomp.ssreflect.choice]
P:188 [in mathcomp.solvable.pgroup]
p:188 [in mathcomp.algebra.poly]
p:189 [in mathcomp.ssreflect.path]
p:189 [in mathcomp.ssreflect.prime]
p:189 [in mathcomp.solvable.abelian]
p:19 [in mathcomp.ssreflect.choice]
P:19 [in mathcomp.solvable.pgroup]
p:19 [in mathcomp.ssreflect.path]
P:19 [in mathcomp.solvable.extremal]
p:19 [in mathcomp.solvable.abelian]
p:190 [in mathcomp.algebra.intdiv]
p:190 [in mathcomp.algebra.polydiv]
p:190 [in mathcomp.ssreflect.ssrnat]
p:190 [in mathcomp.field.closed_field]
p:190 [in mathcomp.algebra.mxalgebra]
P:191 [in mathcomp.ssreflect.choice]
P:191 [in mathcomp.solvable.pgroup]
p:191 [in mathcomp.algebra.ssralg]
p:192 [in mathcomp.algebra.polydiv]
P:192 [in mathcomp.algebra.ssrint]
p:192 [in mathcomp.ssreflect.prime]
p:192 [in mathcomp.solvable.abelian]
p:193 [in mathcomp.algebra.intdiv]
p:193 [in mathcomp.field.closed_field]
p:193 [in mathcomp.solvable.pgroup]
p:193 [in mathcomp.ssreflect.path]
P:1939 [in mathcomp.algebra.ssralg]
p:194 [in mathcomp.algebra.polydiv]
p:194 [in mathcomp.ssreflect.prime]
P:1945 [in mathcomp.algebra.ssralg]
P:195 [in mathcomp.field.algC]
P:195 [in mathcomp.solvable.pgroup]
p:195 [in mathcomp.solvable.abelian]
p:196 [in mathcomp.algebra.intdiv]
p:196 [in mathcomp.algebra.polydiv]
P:196 [in mathcomp.field.separable]
p:196 [in mathcomp.field.closed_field]
p:196 [in mathcomp.ssreflect.prime]
p:196 [in mathcomp.solvable.burnside_app]
p:196 [in mathcomp.algebra.mxalgebra]
p:197 [in mathcomp.algebra.intdiv]
p:197 [in mathcomp.ssreflect.prime]
p:197 [in mathcomp.solvable.burnside_app]
p:197 [in mathcomp.algebra.poly]
p:198 [in mathcomp.algebra.polydiv]
p:198 [in mathcomp.ssreflect.path]
p:198 [in mathcomp.ssreflect.prime]
p:199 [in mathcomp.algebra.mxpoly]
p:199 [in mathcomp.field.closed_field]
P:199 [in mathcomp.algebra.ssrint]
p:199 [in mathcomp.solvable.abelian]
p:199 [in mathcomp.algebra.poly]
p:2 [in mathcomp.field.separable]
p:2 [in mathcomp.ssreflect.ssrbool]
p:20 [in mathcomp.algebra.polydiv]
p:20 [in mathcomp.field.separable]
p:20 [in mathcomp.algebra.polyXY]
p:20 [in mathcomp.ssreflect.fingraph]
p:20 [in mathcomp.algebra.poly]
p:200 [in mathcomp.algebra.intdiv]
p:200 [in mathcomp.algebra.mxpoly]
p:200 [in mathcomp.ssreflect.prime]
P:2001 [in mathcomp.algebra.ssrnum]
p:201 [in mathcomp.algebra.polydiv]
P:201 [in mathcomp.ssreflect.bigop]
P:2014 [in mathcomp.algebra.ssrnum]
p:202 [in mathcomp.algebra.poly]
P:2023 [in mathcomp.algebra.ssrnum]
p:203 [in mathcomp.algebra.intdiv]
p:203 [in mathcomp.algebra.polydiv]
P:203 [in mathcomp.solvable.pgroup]
p:203 [in mathcomp.ssreflect.prime]
p:203 [in mathcomp.algebra.mxalgebra]
p:204 [in mathcomp.solvable.pgroup]
P:204 [in mathcomp.algebra.ssralg]
p:205 [in mathcomp.algebra.polydiv]
p:205 [in mathcomp.ssreflect.ssrnat]
p:205 [in mathcomp.solvable.pgroup]
p:205 [in mathcomp.ssreflect.prime]
p:205 [in mathcomp.solvable.abelian]
p:205 [in mathcomp.algebra.poly]
p:206 [in mathcomp.algebra.intdiv]
P:206 [in mathcomp.field.separable]
p:207 [in mathcomp.algebra.polydiv]
p:207 [in mathcomp.ssreflect.prime]
p:208 [in mathcomp.ssreflect.ssrnat]
p:208 [in mathcomp.solvable.abelian]
p:208 [in mathcomp.solvable.burnside_app]
p:208 [in mathcomp.algebra.poly]
P:2082 [in mathcomp.algebra.ssralg]
p:209 [in mathcomp.algebra.intdiv]
p:209 [in mathcomp.algebra.polydiv]
P:209 [in mathcomp.field.algC]
P:209 [in mathcomp.character.mxrepresentation]
p:209 [in mathcomp.solvable.burnside_app]
P:21 [in mathcomp.algebra.ssrint]
p:21 [in mathcomp.ssreflect.path]
p:210 [in mathcomp.algebra.poly]
p:211 [in mathcomp.algebra.polydiv]
p:211 [in mathcomp.ssreflect.ssrnat]
p:211 [in mathcomp.ssreflect.prime]
P:211 [in mathcomp.algebra.ssralg]
p:212 [in mathcomp.algebra.intdiv]
p:212 [in mathcomp.algebra.poly]
p:213 [in mathcomp.algebra.polydiv]
p:213 [in mathcomp.algebra.mxpoly]
p:213 [in mathcomp.ssreflect.prime]
p:214 [in mathcomp.ssreflect.ssrnat]
p:214 [in mathcomp.algebra.poly]
p:215 [in mathcomp.ssreflect.prime]
p:216 [in mathcomp.solvable.abelian]
p:217 [in mathcomp.ssreflect.ssrnat]
p:217 [in mathcomp.field.closed_field]
P:217 [in mathcomp.ssreflect.bigop]
P:218 [in mathcomp.fingroup.action]
p:218 [in mathcomp.ssreflect.prime]
p:219 [in mathcomp.algebra.mxpoly]
P:219 [in mathcomp.character.mxrepresentation]
p:22 [in mathcomp.algebra.polydiv]
p:22 [in mathcomp.ssreflect.ssrnat]
p:22 [in mathcomp.field.separable]
p:22 [in mathcomp.algebra.mxpoly]
p:22 [in mathcomp.ssreflect.path]
p:22 [in mathcomp.algebra.polyXY]
p:22 [in mathcomp.field.algnum]
p:22 [in mathcomp.solvable.burnside_app]
p:22 [in mathcomp.algebra.poly]
p:220 [in mathcomp.field.closed_field]
p:220 [in mathcomp.ssreflect.prime]
p:220 [in mathcomp.solvable.abelian]
p:220 [in mathcomp.solvable.burnside_app]
p:220 [in mathcomp.algebra.poly]
p:221 [in mathcomp.solvable.abelian]
p:221 [in mathcomp.solvable.burnside_app]
p:223 [in mathcomp.field.closed_field]
p:223 [in mathcomp.ssreflect.prime]
P:223 [in mathcomp.algebra.vector]
p:223 [in mathcomp.algebra.poly]
p:225 [in mathcomp.field.closed_field]
p:225 [in mathcomp.ssreflect.prime]
p:226 [in mathcomp.ssreflect.ssrnat]
p:226 [in mathcomp.field.algnum]
p:226 [in mathcomp.solvable.burnside_app]
p:226 [in mathcomp.algebra.poly]
p:227 [in mathcomp.solvable.burnside_app]
P:227 [in mathcomp.algebra.vector]
p:228 [in mathcomp.ssreflect.prime]
p:228 [in mathcomp.solvable.abelian]
p:228 [in mathcomp.solvable.burnside_app]
p:229 [in mathcomp.algebra.polydiv]
p:229 [in mathcomp.ssreflect.ssrnat]
P:229 [in mathcomp.fingroup.gproduct]
p:229 [in mathcomp.solvable.burnside_app]
p:229 [in mathcomp.algebra.poly]
p:23 [in mathcomp.field.closed_field]
p:23 [in mathcomp.ssreflect.path]
p:23 [in mathcomp.solvable.abelian]
p:23 [in mathcomp.solvable.burnside_app]
p:231 [in mathcomp.ssreflect.prime]
p:231 [in mathcomp.solvable.abelian]
p:232 [in mathcomp.algebra.polydiv]
P:232 [in mathcomp.algebra.vector]
P:232 [in mathcomp.ssreflect.bigop]
p:233 [in mathcomp.ssreflect.seq]
p:233 [in mathcomp.algebra.poly]
p:234 [in mathcomp.algebra.polydiv]
p:234 [in mathcomp.ssreflect.prime]
p:234 [in mathcomp.algebra.poly]
p:235 [in mathcomp.solvable.abelian]
p:236 [in mathcomp.ssreflect.div]
p:236 [in mathcomp.algebra.polydiv]
p:236 [in mathcomp.ssreflect.ssrnat]
p:236 [in mathcomp.field.closed_field]
P:236 [in mathcomp.fingroup.gproduct]
p:236 [in mathcomp.algebra.poly]
p:238 [in mathcomp.algebra.polydiv]
P:238 [in mathcomp.algebra.vector]
p:238 [in mathcomp.algebra.poly]
p:239 [in mathcomp.ssreflect.ssrnat]
p:239 [in mathcomp.field.closed_field]
p:24 [in mathcomp.algebra.polydiv]
p:24 [in mathcomp.ssreflect.choice]
p:24 [in mathcomp.field.separable]
p:24 [in mathcomp.field.closed_field]
P:24 [in mathcomp.solvable.sylow]
p:24 [in mathcomp.solvable.pgroup]
p:24 [in mathcomp.algebra.poly]
p:240 [in mathcomp.fingroup.quotient]
p:240 [in mathcomp.ssreflect.prime]
p:240 [in mathcomp.solvable.abelian]
p:241 [in mathcomp.algebra.polydiv]
p:241 [in mathcomp.field.closed_field]
p:241 [in mathcomp.algebra.poly]
P:242 [in mathcomp.ssreflect.choice]
p:242 [in mathcomp.algebra.poly]
p:243 [in mathcomp.fingroup.quotient]
p:243 [in mathcomp.algebra.polydiv]
p:243 [in mathcomp.solvable.abelian]
p:244 [in mathcomp.ssreflect.ssrnat]
p:244 [in mathcomp.solvable.extremal]
p:245 [in mathcomp.fingroup.quotient]
p:245 [in mathcomp.algebra.polydiv]
P:245 [in mathcomp.fingroup.fingroup]
P:245 [in mathcomp.ssreflect.bigop]
p:246 [in mathcomp.ssreflect.div]
P:246 [in mathcomp.character.classfun]
p:246 [in mathcomp.solvable.abelian]
p:247 [in mathcomp.algebra.polydiv]
p:247 [in mathcomp.ssreflect.ssrnat]
p:247 [in mathcomp.ssreflect.prime]
p:248 [in mathcomp.algebra.polydiv]
p:249 [in mathcomp.ssreflect.div]
p:249 [in mathcomp.algebra.poly]
p:25 [in mathcomp.ssreflect.ssrnat]
P:25 [in mathcomp.solvable.sylow]
p:25 [in mathcomp.solvable.pgroup]
p:25 [in mathcomp.solvable.burnside_app]
p:250 [in mathcomp.algebra.polydiv]
p:250 [in mathcomp.ssreflect.ssrnat]
p:250 [in mathcomp.ssreflect.prime]
p:251 [in mathcomp.field.closed_field]
p:251 [in mathcomp.algebra.poly]
p:252 [in mathcomp.ssreflect.div]
p:252 [in mathcomp.algebra.polydiv]
p:252 [in mathcomp.algebra.poly]
p:253 [in mathcomp.algebra.polydiv]
p:253 [in mathcomp.ssreflect.ssrnat]
p:253 [in mathcomp.solvable.extremal]
P:253 [in mathcomp.character.character]
p:253 [in mathcomp.algebra.poly]
p:254 [in mathcomp.solvable.extremal]
p:254 [in mathcomp.solvable.abelian]
p:255 [in mathcomp.ssreflect.div]
p:255 [in mathcomp.algebra.polydiv]
p:255 [in mathcomp.field.algC]
P:255 [in mathcomp.fingroup.gproduct]
p:256 [in mathcomp.algebra.polydiv]
p:256 [in mathcomp.ssreflect.ssrnat]
p:256 [in mathcomp.field.closed_field]
P:256 [in mathcomp.ssreflect.bigop]
p:257 [in mathcomp.algebra.polydiv]
p:257 [in mathcomp.ssreflect.prime]
p:258 [in mathcomp.algebra.polydiv]
p:258 [in mathcomp.field.algC]
p:259 [in mathcomp.ssreflect.ssrnat]
P:259 [in mathcomp.character.classfun]
P:259 [in mathcomp.fingroup.fingroup]
p:259 [in mathcomp.solvable.abelian]
p:259 [in mathcomp.algebra.poly]
p:26 [in mathcomp.solvable.alt]
p:26 [in mathcomp.algebra.polydiv]
p:26 [in mathcomp.field.algebraics_fundamentals]
p:26 [in mathcomp.field.separable]
P:26 [in mathcomp.solvable.sylow]
p:260 [in mathcomp.ssreflect.div]
p:260 [in mathcomp.algebra.polydiv]
p:262 [in mathcomp.algebra.polydiv]
p:262 [in mathcomp.ssreflect.ssrnat]
p:262 [in mathcomp.ssreflect.prime]
p:263 [in mathcomp.ssreflect.div]
P:263 [in mathcomp.fingroup.gproduct]
p:263 [in mathcomp.solvable.abelian]
p:263 [in mathcomp.algebra.poly]
p:264 [in mathcomp.field.closed_field]
p:264 [in mathcomp.ssreflect.prime]
P:2644 [in mathcomp.algebra.ssrnum]
p:265 [in mathcomp.algebra.polydiv]
p:265 [in mathcomp.ssreflect.ssrnat]
p:265 [in mathcomp.solvable.abelian]
p:265 [in mathcomp.algebra.poly]
p:266 [in mathcomp.ssreflect.prime]
p:266 [in mathcomp.solvable.abelian]
P:266 [in mathcomp.algebra.ssralg]
P:266 [in mathcomp.ssreflect.bigop]
P:267 [in mathcomp.ssreflect.choice]
p:268 [in mathcomp.algebra.polydiv]
p:268 [in mathcomp.ssreflect.ssrnat]
p:268 [in mathcomp.field.closed_field]
p:268 [in mathcomp.algebra.poly]
p:269 [in mathcomp.ssreflect.prime]
p:269 [in mathcomp.solvable.abelian]
P:269 [in mathcomp.algebra.mxalgebra]
p:27 [in mathcomp.algebra.polydiv]
p:27 [in mathcomp.solvable.abelian]
p:27 [in mathcomp.solvable.burnside_app]
p:27 [in mathcomp.algebra.poly]
P:270 [in mathcomp.ssreflect.choice]
P:2701 [in mathcomp.algebra.ssrnum]
P:2708 [in mathcomp.algebra.ssrnum]
p:271 [in mathcomp.ssreflect.ssrnat]
p:271 [in mathcomp.field.closed_field]
p:271 [in mathcomp.solvable.pgroup]
p:271 [in mathcomp.solvable.abelian]
P:272 [in mathcomp.character.vcharacter]
p:272 [in mathcomp.algebra.polydiv]
p:273 [in mathcomp.algebra.intdiv]
P:273 [in mathcomp.ssreflect.choice]
p:273 [in mathcomp.field.algebraics_fundamentals]
p:273 [in mathcomp.solvable.pgroup]
p:273 [in mathcomp.ssreflect.prime]
p:273 [in mathcomp.solvable.abelian]
p:274 [in mathcomp.algebra.polydiv]
p:274 [in mathcomp.ssreflect.ssrnat]
p:274 [in mathcomp.field.closed_field]
p:274 [in mathcomp.algebra.poly]
p:275 [in mathcomp.algebra.poly]
p:276 [in mathcomp.solvable.abelian]
P:276 [in mathcomp.algebra.vector]
p:276 [in mathcomp.algebra.poly]
p:277 [in mathcomp.algebra.polydiv]
p:277 [in mathcomp.field.closed_field]
p:278 [in mathcomp.algebra.intdiv]
p:278 [in mathcomp.algebra.polydiv]
p:278 [in mathcomp.solvable.abelian]
p:278 [in mathcomp.algebra.poly]
p:279 [in mathcomp.solvable.extremal]
P:279 [in mathcomp.algebra.ssralg]
p:279 [in mathcomp.algebra.poly]
P:28 [in mathcomp.ssreflect.generic_quotient]
p:28 [in mathcomp.algebra.polydiv]
p:28 [in mathcomp.ssreflect.ssrAC]
P:28 [in mathcomp.solvable.sylow]
p:28 [in mathcomp.solvable.burnside_app]
p:280 [in mathcomp.fingroup.perm]
p:280 [in mathcomp.algebra.polydiv]
p:280 [in mathcomp.field.closed_field]
P:280 [in mathcomp.algebra.ssrint]
P:280 [in mathcomp.algebra.vector]
P:280 [in mathcomp.ssreflect.bigop]
p:281 [in mathcomp.algebra.intdiv]
p:281 [in mathcomp.solvable.abelian]
p:281 [in mathcomp.algebra.poly]
p:282 [in mathcomp.algebra.polydiv]
p:282 [in mathcomp.field.closed_field]
p:283 [in mathcomp.algebra.poly]
P:284 [in mathcomp.fingroup.gproduct]
p:285 [in mathcomp.solvable.abelian]
p:285 [in mathcomp.algebra.poly]
P:286 [in mathcomp.algebra.ssrint]
p:287 [in mathcomp.algebra.polydiv]
p:287 [in mathcomp.algebra.poly]
P:2875 [in mathcomp.algebra.ssrnum]
p:288 [in mathcomp.algebra.polydiv]
p:288 [in mathcomp.solvable.abelian]
p:289 [in mathcomp.algebra.polydiv]
P:289 [in mathcomp.field.algebraics_fundamentals]
p:289 [in mathcomp.algebra.poly]
P:29 [in mathcomp.solvable.sylow]
p:29 [in mathcomp.solvable.burnside_app]
p:29 [in mathcomp.algebra.poly]
P:290 [in mathcomp.field.algebraics_fundamentals]
p:290 [in mathcomp.algebra.mxpoly]
p:291 [in mathcomp.algebra.poly]
P:291 [in mathcomp.ssreflect.bigop]
p:292 [in mathcomp.field.closed_field]
P:292 [in mathcomp.ssreflect.fintype]
p:293 [in mathcomp.algebra.polydiv]
p:293 [in mathcomp.solvable.abelian]
p:294 [in mathcomp.algebra.mxpoly]
p:295 [in mathcomp.algebra.polydiv]
p:295 [in mathcomp.solvable.extremal]
P:295 [in mathcomp.algebra.poly]
P:295 [in mathcomp.ssreflect.eqtype]
p:297 [in mathcomp.algebra.polydiv]
p:297 [in mathcomp.solvable.abelian]
p:298 [in mathcomp.solvable.abelian]
p:299 [in mathcomp.ssreflect.prime]
p:299 [in mathcomp.solvable.abelian]
p:3 [in mathcomp.field.separable]
p:30 [in mathcomp.solvable.alt]
p:30 [in mathcomp.algebra.polydiv]
p:30 [in mathcomp.field.separable]
P:30 [in mathcomp.solvable.sylow]
p:30 [in mathcomp.solvable.burnside_app]
p:300 [in mathcomp.algebra.polydiv]
p:300 [in mathcomp.solvable.abelian]
P:300 [in mathcomp.ssreflect.fintype]
p:301 [in mathcomp.solvable.abelian]
p:302 [in mathcomp.algebra.polydiv]
P:302 [in mathcomp.algebra.poly]
p:303 [in mathcomp.solvable.abelian]
P:304 [in mathcomp.algebra.ssrnum]
P:304 [in mathcomp.ssreflect.fintype]
P:305 [in mathcomp.solvable.abelian]
p:306 [in mathcomp.solvable.extremal]
p:306 [in mathcomp.solvable.abelian]
p:307 [in mathcomp.algebra.intdiv]
p:307 [in mathcomp.algebra.polydiv]
p:307 [in mathcomp.algebra.mxpoly]
p:308 [in mathcomp.algebra.mxpoly]
p:308 [in mathcomp.solvable.pgroup]
p:308 [in mathcomp.solvable.abelian]
P:308 [in mathcomp.ssreflect.bigop]
p:309 [in mathcomp.algebra.polydiv]
P:31 [in mathcomp.ssreflect.generic_quotient]
p:31 [in mathcomp.ssreflect.path]
p:31 [in mathcomp.algebra.poly]
p:310 [in mathcomp.algebra.intdiv]
p:311 [in mathcomp.algebra.poly]
p:312 [in mathcomp.solvable.extremal]
p:312 [in mathcomp.algebra.poly]
p:313 [in mathcomp.algebra.intdiv]
p:313 [in mathcomp.algebra.poly]
p:314 [in mathcomp.algebra.intdiv]
P:314 [in mathcomp.character.classfun]
P:314 [in mathcomp.ssreflect.fintype]
p:314 [in mathcomp.algebra.poly]
P:314 [in mathcomp.ssreflect.bigop]
P:314 [in mathcomp.ssreflect.eqtype]
p:315 [in mathcomp.solvable.extremal]
p:316 [in mathcomp.ssreflect.prime]
p:316 [in mathcomp.algebra.poly]
p:317 [in mathcomp.algebra.intdiv]
p:318 [in mathcomp.field.galois]
p:318 [in mathcomp.ssreflect.prime]
p:318 [in mathcomp.solvable.extremal]
P:318 [in mathcomp.algebra.vector]
p:318 [in mathcomp.algebra.poly]
p:32 [in mathcomp.solvable.alt]
p:32 [in mathcomp.field.algebraics_fundamentals]
p:32 [in mathcomp.solvable.burnside_app]
p:32 [in mathcomp.fingroup.presentation]
p:320 [in mathcomp.algebra.intdiv]
p:320 [in mathcomp.ssreflect.prime]
p:320 [in mathcomp.algebra.poly]
P:322 [in mathcomp.ssreflect.fintype]
p:322 [in mathcomp.algebra.poly]
p:323 [in mathcomp.algebra.intdiv]
p:323 [in mathcomp.field.fieldext]
p:324 [in mathcomp.algebra.poly]
p:325 [in mathcomp.algebra.mxpoly]
p:327 [in mathcomp.solvable.abelian]
P:327 [in mathcomp.ssreflect.fintype]
p:328 [in mathcomp.algebra.poly]
p:329 [in mathcomp.solvable.abelian]
p:33 [in mathcomp.solvable.alt]
p:33 [in mathcomp.algebra.polydiv]
p:33 [in mathcomp.algebra.polyXY]
p:33 [in mathcomp.field.algnum]
p:33 [in mathcomp.ssreflect.fingraph]
p:330 [in mathcomp.field.algC]
P:331 [in mathcomp.ssreflect.finset]
p:331 [in mathcomp.field.algC]
p:332 [in mathcomp.solvable.abelian]
p:333 [in mathcomp.algebra.poly]
p:334 [in mathcomp.ssreflect.prime]
P:334 [in mathcomp.fingroup.gproduct]
p:335 [in mathcomp.algebra.mxpoly]
p:335 [in mathcomp.algebra.mxalgebra]
p:336 [in mathcomp.field.closed_field]
P:337 [in mathcomp.ssreflect.bigop]
p:338 [in mathcomp.algebra.poly]
p:34 [in mathcomp.algebra.polydiv]
P:34 [in mathcomp.algebra.zmodp]
p:34 [in mathcomp.ssreflect.ssrAC]
p:34 [in mathcomp.ssreflect.path]
p:34 [in mathcomp.algebra.polyXY]
p:34 [in mathcomp.ssreflect.fingraph]
p:340 [in mathcomp.algebra.intdiv]
P:341 [in mathcomp.field.closed_field]
P:341 [in mathcomp.fingroup.gproduct]
p:341 [in mathcomp.algebra.poly]
p:342 [in mathcomp.algebra.poly]
P:342 [in mathcomp.ssreflect.bigop]
p:343 [in mathcomp.algebra.intdiv]
P:343 [in mathcomp.character.classfun]
p:343 [in mathcomp.algebra.mxalgebra]
p:344 [in mathcomp.algebra.mxpoly]
p:344 [in mathcomp.field.algnum]
p:345 [in mathcomp.algebra.polydiv]
p:345 [in mathcomp.algebra.poly]
p:347 [in mathcomp.algebra.polydiv]
p:347 [in mathcomp.field.fieldext]
P:347 [in mathcomp.ssreflect.prime]
p:348 [in mathcomp.field.closed_field]
P:348 [in mathcomp.fingroup.gproduct]
p:348 [in mathcomp.solvable.abelian]
P:348 [in mathcomp.algebra.ssralg]
p:349 [in mathcomp.solvable.abelian]
p:349 [in mathcomp.algebra.poly]
p:35 [in mathcomp.algebra.polydiv]
p:35 [in mathcomp.algebra.poly]
p:350 [in mathcomp.algebra.polydiv]
P:350 [in mathcomp.character.character]
P:350 [in mathcomp.ssreflect.bigop]
p:351 [in mathcomp.solvable.abelian]
p:353 [in mathcomp.algebra.polydiv]
p:353 [in mathcomp.algebra.poly]
P:354 [in mathcomp.fingroup.gproduct]
p:356 [in mathcomp.algebra.polydiv]
p:356 [in mathcomp.solvable.abelian]
P:356 [in mathcomp.ssreflect.bigop]
p:357 [in mathcomp.solvable.pgroup]
P:357 [in mathcomp.ssreflect.prime]
p:358 [in mathcomp.solvable.abelian]
p:359 [in mathcomp.algebra.intdiv]
P:359 [in mathcomp.solvable.pgroup]
P:359 [in mathcomp.algebra.vector]
P:359 [in mathcomp.ssreflect.fintype]
p:36 [in mathcomp.field.separable]
p:360 [in mathcomp.algebra.polydiv]
P:360 [in mathcomp.solvable.pgroup]
p:361 [in mathcomp.algebra.intdiv]
P:361 [in mathcomp.ssreflect.bigop]
p:362 [in mathcomp.algebra.intdiv]
P:362 [in mathcomp.solvable.pgroup]
P:363 [in mathcomp.ssreflect.fintype]
p:364 [in mathcomp.algebra.intdiv]
p:364 [in mathcomp.solvable.abelian]
p:364 [in mathcomp.algebra.poly]
p:365 [in mathcomp.algebra.intdiv]
p:365 [in mathcomp.solvable.abelian]
P:365 [in mathcomp.algebra.ssralg]
p:366 [in mathcomp.ssreflect.prime]
P:366 [in mathcomp.ssreflect.fintype]
p:366 [in mathcomp.algebra.poly]
p:367 [in mathcomp.algebra.intdiv]
p:367 [in mathcomp.algebra.polydiv]
p:368 [in mathcomp.character.inertia]
P:368 [in mathcomp.ssreflect.bigop]
p:369 [in mathcomp.algebra.intdiv]
p:369 [in mathcomp.ssreflect.prime]
p:37 [in mathcomp.algebra.polydiv]
P:37 [in mathcomp.solvable.sylow]
p:37 [in mathcomp.solvable.abelian]
p:370 [in mathcomp.algebra.polydiv]
p:370 [in mathcomp.character.inertia]
P:370 [in mathcomp.ssreflect.fintype]
p:371 [in mathcomp.algebra.intdiv]
p:371 [in mathcomp.character.inertia]
p:373 [in mathcomp.algebra.intdiv]
P:373 [in mathcomp.ssreflect.fintype]
P:373 [in mathcomp.algebra.poly]
P:373 [in mathcomp.ssreflect.bigop]
p:374 [in mathcomp.algebra.intdiv]
p:374 [in mathcomp.algebra.polydiv]
p:375 [in mathcomp.algebra.intdiv]
p:376 [in mathcomp.algebra.intdiv]
p:376 [in mathcomp.algebra.polydiv]
P:376 [in mathcomp.ssreflect.fintype]
p:377 [in mathcomp.algebra.intdiv]
P:377 [in mathcomp.fingroup.gproduct]
p:378 [in mathcomp.algebra.intdiv]
p:378 [in mathcomp.algebra.polydiv]
p:378 [in mathcomp.field.closed_field]
p:379 [in mathcomp.algebra.intdiv]
p:379 [in mathcomp.algebra.poly]
p:38 [in mathcomp.ssreflect.ssrnat]
p:38 [in mathcomp.ssreflect.path]
p:380 [in mathcomp.algebra.intdiv]
p:380 [in mathcomp.algebra.polydiv]
P:380 [in mathcomp.ssreflect.fintype]
P:381 [in mathcomp.field.galois]
P:381 [in mathcomp.ssreflect.bigop]
p:382 [in mathcomp.algebra.intdiv]
p:382 [in mathcomp.algebra.polydiv]
p:382 [in mathcomp.field.closed_field]
p:382 [in mathcomp.algebra.poly]
p:383 [in mathcomp.algebra.intdiv]
P:384 [in mathcomp.ssreflect.ssrnat]
P:384 [in mathcomp.fingroup.gproduct]
P:384 [in mathcomp.ssreflect.fintype]
p:385 [in mathcomp.field.closed_field]
p:385 [in mathcomp.algebra.poly]
p:387 [in mathcomp.algebra.polydiv]
p:387 [in mathcomp.field.closed_field]
p:387 [in mathcomp.algebra.poly]
P:387 [in mathcomp.ssreflect.bigop]
p:388 [in mathcomp.algebra.intdiv]
p:388 [in mathcomp.algebra.polydiv]
P:388 [in mathcomp.ssreflect.ssrnat]
p:388 [in mathcomp.character.inertia]
p:389 [in mathcomp.field.closed_field]
p:39 [in mathcomp.solvable.alt]
p:39 [in mathcomp.algebra.polydiv]
p:39 [in mathcomp.field.galois]
P:39 [in mathcomp.solvable.sylow]
p:390 [in mathcomp.algebra.poly]
p:391 [in mathcomp.algebra.intdiv]
p:391 [in mathcomp.field.closed_field]
P:391 [in mathcomp.fingroup.gproduct]
p:392 [in mathcomp.algebra.poly]
p:393 [in mathcomp.algebra.polydiv]
p:393 [in mathcomp.field.closed_field]
p:393 [in mathcomp.algebra.ssralg]
p:394 [in mathcomp.algebra.intdiv]
P:394 [in mathcomp.ssreflect.bigop]
p:395 [in mathcomp.algebra.polydiv]
p:395 [in mathcomp.ssreflect.prime]
p:396 [in mathcomp.algebra.intdiv]
p:396 [in mathcomp.algebra.polydiv]
p:396 [in mathcomp.ssreflect.prime]
P:397 [in mathcomp.ssreflect.seq]
p:397 [in mathcomp.character.inertia]
p:397 [in mathcomp.algebra.poly]
p:398 [in mathcomp.algebra.polydiv]
p:399 [in mathcomp.algebra.intdiv]
P:399 [in mathcomp.ssreflect.bigop]
p:4 [in mathcomp.solvable.alt]
p:4 [in mathcomp.field.galois]
p:4 [in mathcomp.field.separable]
p:40 [in mathcomp.ssreflect.ssrAC]
p:40 [in mathcomp.solvable.abelian]
p:40 [in mathcomp.solvable.cyclic]
p:400 [in mathcomp.algebra.intdiv]
p:400 [in mathcomp.algebra.polydiv]
p:400 [in mathcomp.algebra.poly]
p:402 [in mathcomp.ssreflect.div]
p:402 [in mathcomp.algebra.polydiv]
p:405 [in mathcomp.algebra.intdiv]
p:405 [in mathcomp.algebra.polydiv]
p:405 [in mathcomp.algebra.poly]
p:406 [in mathcomp.ssreflect.prime]
p:406 [in mathcomp.solvable.abelian]
p:407 [in mathcomp.algebra.intdiv]
p:407 [in mathcomp.algebra.poly]
p:408 [in mathcomp.ssreflect.prime]
P:408 [in mathcomp.fingroup.gproduct]
p:408 [in mathcomp.solvable.abelian]
p:409 [in mathcomp.ssreflect.prime]
p:409 [in mathcomp.algebra.poly]
p:41 [in mathcomp.solvable.alt]
p:41 [in mathcomp.algebra.polydiv]
p:41 [in mathcomp.ssreflect.ssrnat]
p:41 [in mathcomp.solvable.pgroup]
p:41 [in mathcomp.solvable.abelian]
p:410 [in mathcomp.solvable.abelian]
p:411 [in mathcomp.algebra.polydiv]
p:411 [in mathcomp.ssreflect.prime]
p:411 [in mathcomp.algebra.poly]
p:413 [in mathcomp.algebra.poly]
p:414 [in mathcomp.field.galois]
p:414 [in mathcomp.algebra.mxalgebra]
p:415 [in mathcomp.field.galois]
p:415 [in mathcomp.ssreflect.prime]
p:415 [in mathcomp.algebra.poly]
P:416 [in mathcomp.ssreflect.bigop]
p:417 [in mathcomp.algebra.poly]
p:42 [in mathcomp.solvable.alt]
p:42 [in mathcomp.algebra.polydiv]
P:42 [in mathcomp.solvable.sylow]
p:42 [in mathcomp.solvable.abelian]
P:42 [in mathcomp.fingroup.morphism]
p:42 [in mathcomp.ssreflect.fingraph]
p:420 [in mathcomp.algebra.mxalgebra]
p:421 [in mathcomp.algebra.polydiv]
p:423 [in mathcomp.algebra.polydiv]
P:424 [in mathcomp.fingroup.fingroup]
p:424 [in mathcomp.algebra.poly]
p:425 [in mathcomp.solvable.abelian]
p:426 [in mathcomp.algebra.polydiv]
p:427 [in mathcomp.algebra.poly]
p:428 [in mathcomp.character.inertia]
p:428 [in mathcomp.solvable.abelian]
p:429 [in mathcomp.algebra.polydiv]
p:43 [in mathcomp.solvable.alt]
p:43 [in mathcomp.algebra.zmodp]
P:43 [in mathcomp.solvable.sylow]
p:43 [in mathcomp.ssreflect.prime]
p:43 [in mathcomp.ssreflect.fingraph]
p:43 [in mathcomp.fingroup.presentation]
p:430 [in mathcomp.ssreflect.path]
P:430 [in mathcomp.fingroup.gproduct]
p:432 [in mathcomp.algebra.polydiv]
p:432 [in mathcomp.character.inertia]
p:432 [in mathcomp.solvable.abelian]
p:432 [in mathcomp.algebra.poly]
p:433 [in mathcomp.character.inertia]
p:434 [in mathcomp.algebra.polydiv]
p:434 [in mathcomp.character.inertia]
P:434 [in mathcomp.fingroup.fingroup]
p:435 [in mathcomp.character.inertia]
p:435 [in mathcomp.algebra.mxalgebra]
p:437 [in mathcomp.character.inertia]
P:437 [in mathcomp.fingroup.gproduct]
p:437 [in mathcomp.algebra.poly]
p:439 [in mathcomp.algebra.polydiv]
p:439 [in mathcomp.character.inertia]
p:44 [in mathcomp.solvable.pgroup]
p:440 [in mathcomp.algebra.polydiv]
p:442 [in mathcomp.algebra.polydiv]
p:442 [in mathcomp.algebra.mxalgebra]
P:443 [in mathcomp.fingroup.gproduct]
p:444 [in mathcomp.algebra.polydiv]
p:445 [in mathcomp.ssreflect.prime]
p:446 [in mathcomp.algebra.polydiv]
P:446 [in mathcomp.ssreflect.bigop]
p:447 [in mathcomp.character.classfun]
p:447 [in mathcomp.ssreflect.prime]
P:448 [in mathcomp.algebra.ssrnum]
p:448 [in mathcomp.algebra.mxalgebra]
p:449 [in mathcomp.algebra.polydiv]
p:449 [in mathcomp.ssreflect.prime]
p:45 [in mathcomp.ssreflect.div]
P:45 [in mathcomp.solvable.sylow]
P:45 [in mathcomp.ssreflect.fintype]
p:451 [in mathcomp.algebra.vector]
P:451 [in mathcomp.ssreflect.bigop]
p:453 [in mathcomp.algebra.polydiv]
p:453 [in mathcomp.ssreflect.prime]
p:455 [in mathcomp.ssreflect.prime]
P:455 [in mathcomp.algebra.ssrnum]
p:46 [in mathcomp.algebra.polydiv]
P:46 [in mathcomp.solvable.sylow]
p:462 [in mathcomp.ssreflect.div]
p:462 [in mathcomp.algebra.polydiv]
P:462 [in mathcomp.character.mxrepresentation]
P:464 [in mathcomp.ssreflect.bigop]
p:465 [in mathcomp.ssreflect.div]
p:467 [in mathcomp.field.galois]
p:468 [in mathcomp.ssreflect.div]
p:469 [in mathcomp.ssreflect.ssrnat]
p:47 [in mathcomp.algebra.intdiv]
P:47 [in mathcomp.solvable.sylow]
p:47 [in mathcomp.solvable.pgroup]
p:47 [in mathcomp.ssreflect.prime]
p:47 [in mathcomp.algebra.polyXY]
p:470 [in mathcomp.algebra.poly]
P:470 [in mathcomp.ssreflect.bigop]
p:471 [in mathcomp.solvable.abelian]
p:472 [in mathcomp.algebra.polydiv]
p:473 [in mathcomp.ssreflect.div]
p:474 [in mathcomp.algebra.polydiv]
P:474 [in mathcomp.ssreflect.fintype]
p:475 [in mathcomp.algebra.polydiv]
p:476 [in mathcomp.ssreflect.div]
p:476 [in mathcomp.algebra.polydiv]
p:476 [in mathcomp.solvable.abelian]
p:478 [in mathcomp.algebra.polydiv]
p:478 [in mathcomp.solvable.abelian]
p:479 [in mathcomp.ssreflect.div]
p:48 [in mathcomp.algebra.mxpoly]
P:48 [in mathcomp.solvable.sylow]
p:48 [in mathcomp.solvable.cyclic]
p:480 [in mathcomp.algebra.polydiv]
P:480 [in mathcomp.field.galois]
p:480 [in mathcomp.solvable.abelian]
P:480 [in mathcomp.ssreflect.bigop]
P:481 [in mathcomp.character.mxrepresentation]
p:482 [in mathcomp.ssreflect.div]
p:482 [in mathcomp.algebra.polydiv]
p:482 [in mathcomp.solvable.abelian]
p:484 [in mathcomp.algebra.polydiv]
p:484 [in mathcomp.ssreflect.prime]
p:484 [in mathcomp.algebra.poly]
p:486 [in mathcomp.algebra.polydiv]
P:487 [in mathcomp.ssreflect.bigop]
p:488 [in mathcomp.ssreflect.path]
p:488 [in mathcomp.ssreflect.prime]
p:489 [in mathcomp.algebra.polydiv]
p:49 [in mathcomp.ssreflect.ssrnat]
p:49 [in mathcomp.ssreflect.ssrAC]
P:49 [in mathcomp.algebra.ssrint]
p:49 [in mathcomp.algebra.polyXY]
p:490 [in mathcomp.ssreflect.path]
p:490 [in mathcomp.ssreflect.prime]
p:491 [in mathcomp.algebra.polydiv]
p:491 [in mathcomp.solvable.abelian]
p:492 [in mathcomp.algebra.polydiv]
P:492 [in mathcomp.field.galois]
p:492 [in mathcomp.ssreflect.prime]
p:492 [in mathcomp.solvable.abelian]
p:493 [in mathcomp.algebra.polydiv]
P:493 [in mathcomp.ssreflect.bigop]
p:494 [in mathcomp.ssreflect.prime]
p:494 [in mathcomp.solvable.abelian]
p:499 [in mathcomp.ssreflect.div]
p:499 [in mathcomp.solvable.abelian]
p:5 [in mathcomp.ssreflect.binomial]
p:5 [in mathcomp.fingroup.perm]
p:5 [in mathcomp.algebra.mxpoly]
p:5 [in mathcomp.solvable.sylow]
p:5 [in mathcomp.algebra.polyXY]
p:50 [in mathcomp.ssreflect.tuple]
p:50 [in mathcomp.solvable.pgroup]
p:50 [in mathcomp.ssreflect.fingraph]
p:500 [in mathcomp.algebra.poly]
p:501 [in mathcomp.solvable.abelian]
p:501 [in mathcomp.algebra.poly]
p:502 [in mathcomp.ssreflect.div]
p:504 [in mathcomp.solvable.abelian]
P:504 [in mathcomp.ssreflect.bigop]
p:506 [in mathcomp.solvable.abelian]
p:507 [in mathcomp.algebra.poly]
P:509 [in mathcomp.character.mxrepresentation]
p:509 [in mathcomp.algebra.poly]
p:51 [in mathcomp.algebra.polydiv]
p:51 [in mathcomp.ssreflect.fingraph]
p:51 [in mathcomp.fingroup.presentation]
P:510 [in mathcomp.ssreflect.bigop]
p:511 [in mathcomp.solvable.abelian]
p:514 [in mathcomp.algebra.poly]
P:515 [in mathcomp.ssreflect.bigop]
p:517 [in mathcomp.algebra.poly]
p:519 [in mathcomp.algebra.polydiv]
p:519 [in mathcomp.algebra.poly]
p:52 [in mathcomp.ssreflect.div]
P:52 [in mathcomp.solvable.sylow]
p:52 [in mathcomp.algebra.polyXY]
p:52 [in mathcomp.solvable.cyclic]
p:521 [in mathcomp.algebra.poly]
p:522 [in mathcomp.algebra.polydiv]
p:522 [in mathcomp.algebra.poly]
p:523 [in mathcomp.algebra.poly]
p:525 [in mathcomp.algebra.poly]
p:526 [in mathcomp.algebra.polydiv]
p:528 [in mathcomp.ssreflect.path]
P:528 [in mathcomp.ssreflect.bigop]
p:529 [in mathcomp.ssreflect.path]
p:529 [in mathcomp.algebra.poly]
p:53 [in mathcomp.algebra.polyXY]
p:530 [in mathcomp.algebra.polydiv]
P:531 [in mathcomp.algebra.ssralg]
p:531 [in mathcomp.algebra.poly]
p:533 [in mathcomp.solvable.abelian]
p:533 [in mathcomp.algebra.poly]
P:534 [in mathcomp.ssreflect.bigop]
p:535 [in mathcomp.algebra.poly]
p:536 [in mathcomp.algebra.polydiv]
p:536 [in mathcomp.algebra.poly]
P:538 [in mathcomp.algebra.ssralg]
p:538 [in mathcomp.algebra.poly]
P:54 [in mathcomp.ssreflect.finset]
p:54 [in mathcomp.algebra.polyXY]
p:54 [in mathcomp.solvable.burnside_app]
p:54 [in mathcomp.fingroup.presentation]
p:540 [in mathcomp.fingroup.action]
p:541 [in mathcomp.ssreflect.ssrnat]
p:541 [in mathcomp.algebra.poly]
p:542 [in mathcomp.algebra.poly]
P:542 [in mathcomp.ssreflect.bigop]
p:543 [in mathcomp.algebra.poly]
p:544 [in mathcomp.algebra.poly]
p:546 [in mathcomp.algebra.polydiv]
p:546 [in mathcomp.algebra.poly]
p:548 [in mathcomp.algebra.polydiv]
p:548 [in mathcomp.solvable.abelian]
p:549 [in mathcomp.fingroup.action]
p:549 [in mathcomp.algebra.poly]
p:55 [in mathcomp.ssreflect.div]
p:55 [in mathcomp.algebra.polyXY]
p:55 [in mathcomp.solvable.burnside_app]
p:550 [in mathcomp.algebra.polydiv]
p:550 [in mathcomp.fingroup.action]
p:551 [in mathcomp.fingroup.action]
p:551 [in mathcomp.ssreflect.path]
p:552 [in mathcomp.fingroup.action]
p:553 [in mathcomp.ssreflect.path]
p:554 [in mathcomp.algebra.poly]
P:557 [in mathcomp.fingroup.fingroup]
p:558 [in mathcomp.algebra.polydiv]
p:559 [in mathcomp.algebra.polydiv]
p:56 [in mathcomp.ssreflect.ssrAC]
P:56 [in mathcomp.solvable.sylow]
p:56 [in mathcomp.ssreflect.prime]
p:56 [in mathcomp.algebra.polyXY]
p:56 [in mathcomp.solvable.cyclic]
p:561 [in mathcomp.algebra.polydiv]
p:561 [in mathcomp.ssreflect.path]
p:562 [in mathcomp.algebra.poly]
p:563 [in mathcomp.algebra.polydiv]
p:564 [in mathcomp.algebra.polydiv]
p:564 [in mathcomp.algebra.poly]
p:565 [in mathcomp.algebra.polydiv]
p:566 [in mathcomp.algebra.polydiv]
p:566 [in mathcomp.ssreflect.path]
p:567 [in mathcomp.algebra.polydiv]
p:567 [in mathcomp.algebra.poly]
p:568 [in mathcomp.algebra.mxalgebra]
p:569 [in mathcomp.solvable.abelian]
p:569 [in mathcomp.algebra.poly]
p:57 [in mathcomp.algebra.intdiv]
p:57 [in mathcomp.algebra.polydiv]
p:57 [in mathcomp.field.closed_field]
p:57 [in mathcomp.solvable.pgroup]
p:57 [in mathcomp.algebra.polyXY]
p:570 [in mathcomp.algebra.polydiv]
p:570 [in mathcomp.solvable.pgroup]
p:572 [in mathcomp.solvable.abelian]
p:573 [in mathcomp.ssreflect.path]
p:573 [in mathcomp.algebra.poly]
p:574 [in mathcomp.algebra.polydiv]
P:574 [in mathcomp.ssreflect.bigop]
p:575 [in mathcomp.solvable.abelian]
P:575 [in mathcomp.ssreflect.fintype]
p:576 [in mathcomp.algebra.polydiv]
P:576 [in mathcomp.algebra.vector]
p:576 [in mathcomp.algebra.poly]
p:577 [in mathcomp.solvable.abelian]
p:578 [in mathcomp.ssreflect.path]
p:578 [in mathcomp.algebra.poly]
p:579 [in mathcomp.algebra.polydiv]
p:579 [in mathcomp.ssreflect.path]
p:579 [in mathcomp.algebra.poly]
p:58 [in mathcomp.field.closed_field]
p:58 [in mathcomp.algebra.poly]
p:580 [in mathcomp.solvable.abelian]
p:582 [in mathcomp.algebra.polydiv]
p:583 [in mathcomp.ssreflect.seq]
P:583 [in mathcomp.ssreflect.bigop]
p:584 [in mathcomp.algebra.polydiv]
P:584 [in mathcomp.character.mxrepresentation]
p:584 [in mathcomp.solvable.abelian]
P:584 [in mathcomp.ssreflect.fintype]
p:584 [in mathcomp.algebra.poly]
p:585 [in mathcomp.algebra.polydiv]
p:586 [in mathcomp.algebra.poly]
p:587 [in mathcomp.ssreflect.path]
p:588 [in mathcomp.algebra.polydiv]
p:588 [in mathcomp.algebra.poly]
p:589 [in mathcomp.solvable.abelian]
p:59 [in mathcomp.algebra.polydiv]
p:590 [in mathcomp.algebra.poly]
p:591 [in mathcomp.algebra.polydiv]
P:592 [in mathcomp.ssreflect.fintype]
p:593 [in mathcomp.solvable.abelian]
p:593 [in mathcomp.algebra.poly]
p:596 [in mathcomp.algebra.polydiv]
p:596 [in mathcomp.algebra.poly]
P:597 [in mathcomp.ssreflect.bigop]
p:599 [in mathcomp.algebra.polydiv]
p:6 [in mathcomp.ssreflect.path]
p:6 [in mathcomp.algebra.polyXY]
p:6 [in mathcomp.solvable.abelian]
p:6 [in mathcomp.solvable.burnside_app]
p:6 [in mathcomp.algebra.poly]
p:60 [in mathcomp.algebra.intdiv]
p:60 [in mathcomp.field.closed_field]
P:60 [in mathcomp.solvable.sylow]
p:60 [in mathcomp.solvable.burnside_app]
p:60 [in mathcomp.algebra.poly]
p:600 [in mathcomp.algebra.poly]
p:601 [in mathcomp.algebra.polydiv]
p:601 [in mathcomp.solvable.abelian]
p:602 [in mathcomp.algebra.poly]
P:603 [in mathcomp.ssreflect.fintype]
p:603 [in mathcomp.algebra.poly]
p:604 [in mathcomp.algebra.polydiv]
P:604 [in mathcomp.ssreflect.bigop]
p:606 [in mathcomp.solvable.abelian]
p:607 [in mathcomp.algebra.polydiv]
p:61 [in mathcomp.algebra.polydiv]
p:61 [in mathcomp.algebra.zmodp]
p:61 [in mathcomp.field.fieldext]
p:61 [in mathcomp.solvable.burnside_app]
p:610 [in mathcomp.algebra.polydiv]
P:611 [in mathcomp.algebra.ssrnum]
p:612 [in mathcomp.algebra.poly]
p:613 [in mathcomp.algebra.polydiv]
p:613 [in mathcomp.solvable.abelian]
p:614 [in mathcomp.solvable.abelian]
p:614 [in mathcomp.algebra.poly]
p:616 [in mathcomp.algebra.polydiv]
P:617 [in mathcomp.algebra.ssrnum]
p:617 [in mathcomp.algebra.poly]
p:618 [in mathcomp.solvable.abelian]
p:619 [in mathcomp.algebra.polydiv]
p:619 [in mathcomp.algebra.poly]
p:62 [in mathcomp.algebra.zmodp]
p:62 [in mathcomp.field.closed_field]
P:62 [in mathcomp.solvable.sylow]
p:62 [in mathcomp.ssreflect.prime]
p:62 [in mathcomp.solvable.burnside_app]
P:62 [in mathcomp.solvable.maximal]
p:622 [in mathcomp.algebra.polydiv]
p:623 [in mathcomp.algebra.poly]
p:624 [in mathcomp.solvable.abelian]
P:624 [in mathcomp.algebra.mxalgebra]
P:625 [in mathcomp.algebra.ssrnum]
p:626 [in mathcomp.algebra.poly]
p:627 [in mathcomp.algebra.polydiv]
p:628 [in mathcomp.algebra.polydiv]
p:628 [in mathcomp.algebra.poly]
p:629 [in mathcomp.algebra.poly]
P:629 [in mathcomp.ssreflect.bigop]
p:63 [in mathcomp.algebra.polydiv]
P:63 [in mathcomp.ssreflect.choice]
p:63 [in mathcomp.algebra.zmodp]
p:63 [in mathcomp.field.closed_field]
p:63 [in mathcomp.fingroup.presentation]
p:63 [in mathcomp.algebra.poly]
p:63 [in mathcomp.field.falgebra]
P:630 [in mathcomp.algebra.mxalgebra]
p:631 [in mathcomp.algebra.polydiv]
P:631 [in mathcomp.algebra.ssrnum]
P:632 [in mathcomp.algebra.matrix]
p:632 [in mathcomp.algebra.poly]
p:633 [in mathcomp.solvable.abelian]
p:634 [in mathcomp.algebra.polydiv]
p:634 [in mathcomp.algebra.poly]
p:636 [in mathcomp.solvable.abelian]
p:636 [in mathcomp.algebra.poly]
P:636 [in mathcomp.ssreflect.bigop]
P:636 [in mathcomp.algebra.mxalgebra]
p:637 [in mathcomp.algebra.polydiv]
p:638 [in mathcomp.solvable.abelian]
p:64 [in mathcomp.solvable.pgroup]
p:64 [in mathcomp.algebra.polyXY]
p:641 [in mathcomp.algebra.poly]
P:642 [in mathcomp.ssreflect.bigop]
P:643 [in mathcomp.algebra.mxalgebra]
P:646 [in mathcomp.ssreflect.bigop]
p:65 [in mathcomp.character.character]
P:65 [in mathcomp.solvable.maximal]
p:65 [in mathcomp.algebra.poly]
P:651 [in mathcomp.algebra.mxalgebra]
P:652 [in mathcomp.ssreflect.bigop]
p:655 [in mathcomp.algebra.polydiv]
P:658 [in mathcomp.algebra.mxalgebra]
p:659 [in mathcomp.algebra.poly]
P:66 [in mathcomp.ssreflect.choice]
p:66 [in mathcomp.solvable.pgroup]
P:66 [in mathcomp.solvable.center]
p:66 [in mathcomp.fingroup.presentation]
p:660 [in mathcomp.algebra.polydiv]
p:661 [in mathcomp.algebra.polydiv]
p:661 [in mathcomp.algebra.poly]
P:662 [in mathcomp.ssreflect.bigop]
p:664 [in mathcomp.algebra.polydiv]
P:665 [in mathcomp.algebra.vector]
p:665 [in mathcomp.algebra.poly]
P:665 [in mathcomp.algebra.mxalgebra]
p:667 [in mathcomp.algebra.polydiv]
P:668 [in mathcomp.ssreflect.bigop]
P:669 [in mathcomp.algebra.ssralg]
P:67 [in mathcomp.character.classfun]
p:67 [in mathcomp.field.closed_field]
P:67 [in mathcomp.solvable.sylow]
P:67 [in mathcomp.ssreflect.fintype]
p:670 [in mathcomp.algebra.polydiv]
p:672 [in mathcomp.algebra.poly]
p:673 [in mathcomp.algebra.polydiv]
p:673 [in mathcomp.algebra.poly]
P:673 [in mathcomp.algebra.mxalgebra]
p:675 [in mathcomp.algebra.polydiv]
P:675 [in mathcomp.algebra.vector]
P:675 [in mathcomp.ssreflect.bigop]
p:677 [in mathcomp.algebra.poly]
p:678 [in mathcomp.algebra.poly]
p:679 [in mathcomp.algebra.poly]
p:68 [in mathcomp.solvable.pgroup]
p:68 [in mathcomp.ssreflect.path]
p:68 [in mathcomp.ssreflect.prime]
p:68 [in mathcomp.algebra.polyXY]
p:68 [in mathcomp.algebra.poly]
p:680 [in mathcomp.algebra.poly]
P:681 [in mathcomp.algebra.mxalgebra]
p:682 [in mathcomp.algebra.polydiv]
P:682 [in mathcomp.ssreflect.order]
P:682 [in mathcomp.ssreflect.bigop]
p:683 [in mathcomp.algebra.poly]
p:684 [in mathcomp.algebra.poly]
p:687 [in mathcomp.algebra.polydiv]
p:688 [in mathcomp.algebra.polydiv]
p:689 [in mathcomp.algebra.poly]
P:69 [in mathcomp.ssreflect.choice]
p:69 [in mathcomp.field.closed_field]
P:69 [in mathcomp.solvable.sylow]
p:690 [in mathcomp.algebra.polydiv]
P:690 [in mathcomp.ssreflect.bigop]
p:693 [in mathcomp.algebra.poly]
p:695 [in mathcomp.algebra.polydiv]
p:695 [in mathcomp.algebra.poly]
p:697 [in mathcomp.algebra.polydiv]
p:698 [in mathcomp.algebra.poly]
P:7 [in mathcomp.ssreflect.finset]
p:7 [in mathcomp.field.finfield]
p:7 [in mathcomp.algebra.polyXY]
p:7 [in mathcomp.field.algnum]
p:70 [in mathcomp.field.closed_field]
P:70 [in mathcomp.solvable.sylow]
p:700 [in mathcomp.algebra.poly]
p:701 [in mathcomp.algebra.poly]
p:703 [in mathcomp.algebra.poly]
p:704 [in mathcomp.algebra.polydiv]
P:705 [in mathcomp.ssreflect.finset]
p:705 [in mathcomp.algebra.poly]
p:707 [in mathcomp.algebra.polydiv]
p:707 [in mathcomp.algebra.poly]
p:708 [in mathcomp.algebra.polydiv]
p:71 [in mathcomp.field.separable]
P:71 [in mathcomp.solvable.sylow]
p:71 [in mathcomp.algebra.polyXY]
p:71 [in mathcomp.character.character]
p:71 [in mathcomp.algebra.poly]
p:710 [in mathcomp.algebra.polydiv]
p:712 [in mathcomp.algebra.mxalgebra]
p:713 [in mathcomp.algebra.polydiv]
p:714 [in mathcomp.algebra.poly]
p:715 [in mathcomp.algebra.polydiv]
p:715 [in mathcomp.algebra.poly]
p:715 [in mathcomp.algebra.mxalgebra]
p:717 [in mathcomp.algebra.poly]
p:719 [in mathcomp.algebra.polydiv]
p:72 [in mathcomp.algebra.polydiv]
P:72 [in mathcomp.character.mxabelem]
P:72 [in mathcomp.solvable.sylow]
p:72 [in mathcomp.algebra.poly]
p:722 [in mathcomp.algebra.polydiv]
p:722 [in mathcomp.algebra.mxalgebra]
p:724 [in mathcomp.algebra.poly]
p:725 [in mathcomp.algebra.polydiv]
p:725 [in mathcomp.algebra.poly]
P:725 [in mathcomp.ssreflect.bigop]
p:726 [in mathcomp.algebra.poly]
p:727 [in mathcomp.algebra.polydiv]
p:727 [in mathcomp.algebra.poly]
p:727 [in mathcomp.algebra.mxalgebra]
P:729 [in mathcomp.ssreflect.finset]
p:729 [in mathcomp.algebra.poly]
P:73 [in mathcomp.solvable.sylow]
p:73 [in mathcomp.fingroup.presentation]
p:73 [in mathcomp.algebra.poly]
p:730 [in mathcomp.algebra.polydiv]
p:730 [in mathcomp.ssreflect.bigop]
P:731 [in mathcomp.ssreflect.bigop]
p:732 [in mathcomp.algebra.polydiv]
p:732 [in mathcomp.algebra.poly]
p:733 [in mathcomp.algebra.polydiv]
p:734 [in mathcomp.algebra.mxalgebra]
p:735 [in mathcomp.algebra.polydiv]
p:737 [in mathcomp.algebra.polydiv]
p:738 [in mathcomp.fingroup.fingroup]
p:739 [in mathcomp.algebra.polydiv]
p:739 [in mathcomp.algebra.poly]
p:74 [in mathcomp.algebra.mxpoly]
p:74 [in mathcomp.algebra.poly]
p:740 [in mathcomp.algebra.polydiv]
p:741 [in mathcomp.algebra.poly]
p:742 [in mathcomp.algebra.polydiv]
p:743 [in mathcomp.algebra.poly]
P:745 [in mathcomp.ssreflect.fintype]
p:745 [in mathcomp.algebra.poly]
p:746 [in mathcomp.algebra.poly]
p:747 [in mathcomp.algebra.poly]
p:748 [in mathcomp.algebra.polydiv]
p:748 [in mathcomp.algebra.poly]
p:749 [in mathcomp.fingroup.fingroup]
p:749 [in mathcomp.algebra.poly]
p:75 [in mathcomp.field.galois]
p:75 [in mathcomp.field.closed_field]
p:75 [in mathcomp.solvable.burnside_app]
p:75 [in mathcomp.algebra.poly]
P:750 [in mathcomp.algebra.ssralg]
p:750 [in mathcomp.algebra.poly]
p:752 [in mathcomp.fingroup.fingroup]
P:752 [in mathcomp.ssreflect.bigop]
p:753 [in mathcomp.algebra.poly]
p:754 [in mathcomp.algebra.polydiv]
p:757 [in mathcomp.algebra.poly]
p:758 [in mathcomp.algebra.polydiv]
p:759 [in mathcomp.algebra.polydiv]
p:759 [in mathcomp.algebra.poly]
P:759 [in mathcomp.ssreflect.bigop]
p:76 [in mathcomp.algebra.mxpoly]
P:76 [in mathcomp.solvable.sylow]
p:76 [in mathcomp.solvable.burnside_app]
P:76 [in mathcomp.solvable.nilpotent]
p:760 [in mathcomp.algebra.polydiv]
p:760 [in mathcomp.algebra.poly]
p:761 [in mathcomp.algebra.polydiv]
P:761 [in mathcomp.ssreflect.fintype]
p:762 [in mathcomp.algebra.polydiv]
p:762 [in mathcomp.algebra.poly]
p:763 [in mathcomp.algebra.polydiv]
P:763 [in mathcomp.algebra.ssralg]
p:764 [in mathcomp.algebra.polydiv]
p:764 [in mathcomp.algebra.poly]
P:765 [in mathcomp.ssreflect.seq]
p:766 [in mathcomp.algebra.polydiv]
p:766 [in mathcomp.algebra.poly]
P:766 [in mathcomp.ssreflect.bigop]
p:767 [in mathcomp.algebra.polydiv]
p:77 [in mathcomp.solvable.sylow]
p:77 [in mathcomp.solvable.pgroup]
P:77 [in mathcomp.solvable.center]
p:77 [in mathcomp.algebra.poly]
p:771 [in mathcomp.algebra.polydiv]
p:771 [in mathcomp.algebra.poly]
p:772 [in mathcomp.algebra.polydiv]
p:772 [in mathcomp.algebra.ssralg]
p:774 [in mathcomp.algebra.poly]
p:775 [in mathcomp.algebra.polydiv]
P:775 [in mathcomp.ssreflect.bigop]
p:776 [in mathcomp.algebra.poly]
p:778 [in mathcomp.algebra.polydiv]
p:779 [in mathcomp.algebra.poly]
p:78 [in mathcomp.algebra.interval]
P:78 [in mathcomp.solvable.sylow]
P:78 [in mathcomp.solvable.pgroup]
p:78 [in mathcomp.ssreflect.path]
p:78 [in mathcomp.algebra.polyXY]
p:78 [in mathcomp.algebra.poly]
p:781 [in mathcomp.algebra.polydiv]
P:781 [in mathcomp.ssreflect.bigop]
P:784 [in mathcomp.algebra.poly]
p:785 [in mathcomp.algebra.polydiv]
p:786 [in mathcomp.algebra.polydiv]
p:789 [in mathcomp.algebra.polydiv]
p:79 [in mathcomp.character.vcharacter]
p:79 [in mathcomp.algebra.intdiv]
p:79 [in mathcomp.field.closed_field]
P:79 [in mathcomp.character.mxabelem]
P:79 [in mathcomp.solvable.sylow]
P:79 [in mathcomp.solvable.pgroup]
p:79 [in mathcomp.solvable.extremal]
p:79 [in mathcomp.algebra.poly]
P:79 [in mathcomp.ssreflect.bigop]
p:791 [in mathcomp.algebra.polydiv]
p:791 [in mathcomp.algebra.poly]
p:792 [in mathcomp.algebra.polydiv]
p:794 [in mathcomp.algebra.polydiv]
p:796 [in mathcomp.algebra.polydiv]
p:797 [in mathcomp.algebra.polydiv]
p:798 [in mathcomp.algebra.polydiv]
P:798 [in mathcomp.ssreflect.bigop]
p:8 [in mathcomp.field.separable]
p:8 [in mathcomp.field.finfield]
p:8 [in mathcomp.solvable.maximal]
p:80 [in mathcomp.algebra.interval]
p:80 [in mathcomp.field.galois]
P:80 [in mathcomp.solvable.sylow]
p:80 [in mathcomp.solvable.pgroup]
p:80 [in mathcomp.algebra.fraction]
p:80 [in mathcomp.algebra.poly]
p:800 [in mathcomp.algebra.polydiv]
p:800 [in mathcomp.algebra.ssrint]
p:804 [in mathcomp.algebra.poly]
P:804 [in mathcomp.ssreflect.bigop]
P:807 [in mathcomp.ssreflect.finset]
p:807 [in mathcomp.algebra.ssrint]
p:807 [in mathcomp.algebra.poly]
p:81 [in mathcomp.solvable.pgroup]
p:810 [in mathcomp.algebra.poly]
P:811 [in mathcomp.ssreflect.bigop]
p:812 [in mathcomp.algebra.polydiv]
P:812 [in mathcomp.ssreflect.finset]
p:812 [in mathcomp.algebra.ssrint]
p:813 [in mathcomp.algebra.poly]
p:814 [in mathcomp.algebra.polydiv]
p:814 [in mathcomp.algebra.ssrint]
p:815 [in mathcomp.algebra.polydiv]
p:816 [in mathcomp.algebra.polydiv]
P:816 [in mathcomp.ssreflect.finset]
p:816 [in mathcomp.algebra.poly]
P:817 [in mathcomp.ssreflect.bigop]
p:818 [in mathcomp.algebra.polydiv]
p:818 [in mathcomp.algebra.poly]
p:82 [in mathcomp.character.integral_char]
p:82 [in mathcomp.algebra.polydiv]
p:82 [in mathcomp.field.separable]
P:82 [in mathcomp.solvable.sylow]
p:82 [in mathcomp.solvable.pgroup]
p:82 [in mathcomp.algebra.fraction]
p:82 [in mathcomp.algebra.poly]
p:820 [in mathcomp.algebra.polydiv]
P:822 [in mathcomp.ssreflect.finset]
p:823 [in mathcomp.algebra.poly]
P:823 [in mathcomp.ssreflect.bigop]
p:824 [in mathcomp.algebra.polydiv]
p:825 [in mathcomp.algebra.poly]
p:826 [in mathcomp.algebra.polydiv]
P:827 [in mathcomp.ssreflect.finset]
p:827 [in mathcomp.algebra.poly]
p:828 [in mathcomp.algebra.poly]
p:829 [in mathcomp.algebra.poly]
p:83 [in mathcomp.character.integral_char]
P:83 [in mathcomp.solvable.sylow]
p:831 [in mathcomp.algebra.poly]
p:832 [in mathcomp.algebra.poly]
P:832 [in mathcomp.ssreflect.bigop]
p:833 [in mathcomp.algebra.polydiv]
p:834 [in mathcomp.algebra.poly]
p:835 [in mathcomp.algebra.polydiv]
p:835 [in mathcomp.algebra.matrix]
P:837 [in mathcomp.character.mxrepresentation]
p:837 [in mathcomp.algebra.mxalgebra]
p:838 [in mathcomp.algebra.polydiv]
p:839 [in mathcomp.algebra.poly]
p:84 [in mathcomp.algebra.interval]
P:84 [in mathcomp.solvable.sylow]
p:84 [in mathcomp.solvable.maximal]
P:84 [in mathcomp.solvable.nilpotent]
p:840 [in mathcomp.algebra.polydiv]
P:840 [in mathcomp.algebra.vector]
p:841 [in mathcomp.algebra.poly]
P:842 [in mathcomp.ssreflect.finset]
p:842 [in mathcomp.algebra.matrix]
p:843 [in mathcomp.algebra.polydiv]
p:843 [in mathcomp.algebra.poly]
p:844 [in mathcomp.algebra.poly]
p:845 [in mathcomp.algebra.polydiv]
P:846 [in mathcomp.ssreflect.bigop]
p:847 [in mathcomp.algebra.polydiv]
P:847 [in mathcomp.ssreflect.finset]
p:847 [in mathcomp.algebra.poly]
p:849 [in mathcomp.algebra.polydiv]
P:849 [in mathcomp.algebra.vector]
p:849 [in mathcomp.algebra.poly]
p:85 [in mathcomp.algebra.intdiv]
p:85 [in mathcomp.field.galois]
p:85 [in mathcomp.ssreflect.ssrAC]
P:85 [in mathcomp.solvable.sylow]
p:85 [in mathcomp.solvable.pgroup]
p:85 [in mathcomp.ssreflect.path]
p:85 [in mathcomp.solvable.extremal]
P:851 [in mathcomp.ssreflect.finset]
P:851 [in mathcomp.algebra.poly]
p:853 [in mathcomp.algebra.polydiv]
P:856 [in mathcomp.ssreflect.finset]
p:857 [in mathcomp.algebra.polydiv]
P:858 [in mathcomp.algebra.ssrnum]
p:86 [in mathcomp.algebra.interval]
p:86 [in mathcomp.algebra.poly]
p:861 [in mathcomp.algebra.polydiv]
P:862 [in mathcomp.ssreflect.finset]
P:862 [in mathcomp.ssreflect.bigop]
p:863 [in mathcomp.ssreflect.bigop]
p:864 [in mathcomp.algebra.polydiv]
P:864 [in mathcomp.algebra.ssrnum]
p:864 [in mathcomp.algebra.poly]
p:865 [in mathcomp.algebra.polydiv]
P:868 [in mathcomp.ssreflect.finset]
P:868 [in mathcomp.algebra.poly]
P:87 [in mathcomp.ssreflect.choice]
p:87 [in mathcomp.solvable.sylow]
p:87 [in mathcomp.algebra.polyXY]
p:87 [in mathcomp.solvable.maximal]
p:870 [in mathcomp.algebra.polydiv]
P:870 [in mathcomp.algebra.ssrnum]
p:872 [in mathcomp.algebra.polydiv]
P:873 [in mathcomp.algebra.ssralg]
p:874 [in mathcomp.algebra.polydiv]
P:875 [in mathcomp.algebra.poly]
p:877 [in mathcomp.algebra.polydiv]
P:879 [in mathcomp.algebra.ssrnum]
p:879 [in mathcomp.algebra.poly]
P:879 [in mathcomp.ssreflect.bigop]
p:88 [in mathcomp.algebra.intdiv]
p:88 [in mathcomp.field.fieldext]
p:88 [in mathcomp.fingroup.presentation]
p:880 [in mathcomp.algebra.polydiv]
P:880 [in mathcomp.algebra.mxalgebra]
p:881 [in mathcomp.algebra.poly]
p:883 [in mathcomp.algebra.polydiv]
p:886 [in mathcomp.algebra.polydiv]
P:886 [in mathcomp.algebra.mxalgebra]
p:889 [in mathcomp.algebra.polydiv]
p:889 [in mathcomp.algebra.poly]
p:89 [in mathcomp.field.separable]
p:89 [in mathcomp.algebra.mxpoly]
P:89 [in mathcomp.character.inertia]
p:89 [in mathcomp.field.closed_field]
p:89 [in mathcomp.algebra.poly]
p:892 [in mathcomp.algebra.polydiv]
p:892 [in mathcomp.algebra.poly]
P:893 [in mathcomp.algebra.mxalgebra]
p:895 [in mathcomp.algebra.poly]
P:895 [in mathcomp.ssreflect.bigop]
p:897 [in mathcomp.algebra.poly]
p:899 [in mathcomp.algebra.poly]
p:9 [in mathcomp.solvable.alt]
p:9 [in mathcomp.field.finfield]
p:9 [in mathcomp.algebra.polyXY]
p:9 [in mathcomp.solvable.abelian]
P:90 [in mathcomp.ssreflect.choice]
p:90 [in mathcomp.field.separable]
p:90 [in mathcomp.ssreflect.path]
p:90 [in mathcomp.algebra.ssrnum]
p:90 [in mathcomp.solvable.maximal]
P:900 [in mathcomp.ssreflect.finset]
P:900 [in mathcomp.fingroup.fingroup]
p:901 [in mathcomp.algebra.poly]
P:902 [in mathcomp.ssreflect.finset]
p:903 [in mathcomp.algebra.poly]
p:905 [in mathcomp.algebra.polydiv]
P:905 [in mathcomp.ssreflect.finset]
P:906 [in mathcomp.fingroup.fingroup]
P:907 [in mathcomp.ssreflect.finset]
p:908 [in mathcomp.algebra.polydiv]
P:909 [in mathcomp.ssreflect.bigop]
p:91 [in mathcomp.algebra.intdiv]
p:91 [in mathcomp.ssreflect.ssrAC]
P:91 [in mathcomp.solvable.sylow]
p:91 [in mathcomp.algebra.polyXY]
P:910 [in mathcomp.ssreflect.finset]
p:912 [in mathcomp.algebra.polydiv]
P:913 [in mathcomp.ssreflect.finset]
p:914 [in mathcomp.algebra.polydiv]
p:914 [in mathcomp.algebra.poly]
p:915 [in mathcomp.algebra.poly]
p:916 [in mathcomp.algebra.polydiv]
p:916 [in mathcomp.algebra.poly]
p:917 [in mathcomp.algebra.poly]
P:917 [in mathcomp.ssreflect.bigop]
p:917 [in mathcomp.algebra.mxalgebra]
p:918 [in mathcomp.algebra.polydiv]
p:918 [in mathcomp.algebra.poly]
p:92 [in mathcomp.algebra.poly]
P:92 [in mathcomp.solvable.nilpotent]
p:920 [in mathcomp.algebra.poly]
p:921 [in mathcomp.algebra.polydiv]
p:922 [in mathcomp.algebra.mxalgebra]
p:923 [in mathcomp.algebra.polydiv]
P:923 [in mathcomp.ssreflect.finset]
P:924 [in mathcomp.ssreflect.bigop]
P:925 [in mathcomp.ssreflect.finset]
p:93 [in mathcomp.ssreflect.binomial]
p:93 [in mathcomp.algebra.polydiv]
P:93 [in mathcomp.ssreflect.choice]
p:93 [in mathcomp.field.fieldext]
p:93 [in mathcomp.ssreflect.path]
p:93 [in mathcomp.fingroup.presentation]
P:930 [in mathcomp.ssreflect.bigop]
p:932 [in mathcomp.algebra.poly]
P:935 [in mathcomp.ssreflect.finset]
p:936 [in mathcomp.algebra.poly]
P:937 [in mathcomp.ssreflect.finset]
p:938 [in mathcomp.algebra.polydiv]
p:938 [in mathcomp.algebra.poly]
P:938 [in mathcomp.ssreflect.bigop]
P:939 [in mathcomp.ssreflect.finset]
p:94 [in mathcomp.algebra.polydiv]
p:94 [in mathcomp.field.closed_field]
p:94 [in mathcomp.solvable.sylow]
p:94 [in mathcomp.algebra.poly]
p:940 [in mathcomp.algebra.polydiv]
P:941 [in mathcomp.ssreflect.finset]
p:942 [in mathcomp.algebra.polydiv]
p:942 [in mathcomp.algebra.poly]
P:943 [in mathcomp.ssreflect.finset]
p:945 [in mathcomp.algebra.polydiv]
P:945 [in mathcomp.ssreflect.finset]
p:948 [in mathcomp.algebra.polydiv]
P:948 [in mathcomp.ssreflect.finset]
P:95 [in mathcomp.ssreflect.choice]
p:95 [in mathcomp.algebra.polyXY]
P:951 [in mathcomp.ssreflect.finset]
p:953 [in mathcomp.fingroup.fingroup]
p:953 [in mathcomp.character.character]
p:954 [in mathcomp.algebra.polydiv]
P:955 [in mathcomp.ssreflect.finset]
P:958 [in mathcomp.ssreflect.bigop]
p:96 [in mathcomp.field.fieldext]
p:96 [in mathcomp.solvable.abelian]
p:96 [in mathcomp.fingroup.presentation]
p:960 [in mathcomp.ssreflect.ssrnat]
p:961 [in mathcomp.algebra.polydiv]
P:962 [in mathcomp.ssreflect.finset]
p:963 [in mathcomp.algebra.polydiv]
P:964 [in mathcomp.ssreflect.bigop]
P:965 [in mathcomp.ssreflect.finset]
p:966 [in mathcomp.algebra.polydiv]
P:967 [in mathcomp.ssreflect.finset]
p:969 [in mathcomp.algebra.polydiv]
p:969 [in mathcomp.ssreflect.bigop]
p:97 [in mathcomp.algebra.polydiv]
p:97 [in mathcomp.field.closed_field]
P:97 [in mathcomp.ssreflect.bigop]
p:971 [in mathcomp.algebra.polydiv]
P:971 [in mathcomp.ssreflect.finset]
P:972 [in mathcomp.ssreflect.bigop]
p:973 [in mathcomp.algebra.polydiv]
p:975 [in mathcomp.algebra.polydiv]
p:976 [in mathcomp.ssreflect.ssrnat]
p:977 [in mathcomp.algebra.polydiv]
P:977 [in mathcomp.ssreflect.finset]
p:977 [in mathcomp.ssreflect.bigop]
p:978 [in mathcomp.algebra.poly]
p:979 [in mathcomp.algebra.polydiv]
P:98 [in mathcomp.solvable.sylow]
p:98 [in mathcomp.solvable.abelian]
p:98 [in mathcomp.algebra.poly]
P:982 [in mathcomp.ssreflect.finset]
p:983 [in mathcomp.algebra.poly]
p:983 [in mathcomp.ssreflect.bigop]
p:984 [in mathcomp.algebra.matrix]
P:984 [in mathcomp.algebra.ssralg]
P:986 [in mathcomp.ssreflect.finset]
P:988 [in mathcomp.ssreflect.bigop]
p:99 [in mathcomp.algebra.intdiv]
P:99 [in mathcomp.ssreflect.choice]
p:99 [in mathcomp.field.galois]
p:99 [in mathcomp.field.fieldext]
p:99 [in mathcomp.field.closed_field]
p:99 [in mathcomp.ssreflect.path]
p:99 [in mathcomp.algebra.poly]
p:990 [in mathcomp.ssreflect.ssrnat]
P:990 [in mathcomp.ssreflect.finset]
P:990 [in mathcomp.algebra.ssralg]
p:990 [in mathcomp.algebra.poly]
p:991 [in mathcomp.ssreflect.ssrnat]
p:992 [in mathcomp.algebra.matrix]
p:993 [in mathcomp.algebra.polydiv]
p:993 [in mathcomp.ssreflect.ssrnat]
P:993 [in mathcomp.ssreflect.finset]
p:993 [in mathcomp.algebra.poly]
p:996 [in mathcomp.algebra.polydiv]
p:996 [in mathcomp.algebra.poly]
P:998 [in mathcomp.ssreflect.finset]
p:998 [in mathcomp.algebra.poly]
P:998 [in mathcomp.algebra.mxalgebra]
p:999 [in mathcomp.algebra.polydiv]



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 (65935 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 (1807 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 (37227 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 (358 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 (3917 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 (91 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 (12943 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 (469 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 (45 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 (130 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 (430 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 (1297 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 (928 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 (6053 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 (240 entries)