mathcomp.ssreflect.tuple

Global Index

_

(69505 entries)

Notation Index

H

J

T

W

X

Y

_

(1943 entries)

Binder Index

_

other

(39748 entries)

Module Index

H

J

K

L

T

W

X

Y

Z

_

other

(379 entries)

Variable Index

J

W

X

Y

_

other

(3958 entries)

Library Index

K

L

U

W

X

Y

_

other

(91 entries)

Lemma Index

Y

_

other

(13542 entries)

Constructor Index

J

K

W

Y

_

other

(480 entries)

Axiom Index

D

G

H

J

K

L

M

N

O

Q

T

U

V

W

X

Y

Z

_

other

(45 entries)

Inductive Index

J

K

Q

W

Y

Z

_

other

(134 entries)

Projection Index

H

J

K

L

W

X

Y

_

other

(452 entries)

Section Index

J

W

X

Y

_

other

(1344 entries)

Abbreviation Index

Y

_

other

(1014 entries)

Definition Index

Y

_

other

(6127 entries)

Record Index

B

H

J

K

L

W

X

Y

_

other

(248 entries)

G (binder)

galL:96 [in mathcomp.field.finfield]
gA:501 [in mathcomp.fingroup.fingroup]
gf:1907 [in mathcomp.algebra.matrix]
gf:1914 [in mathcomp.algebra.matrix]
GH:137 [in mathcomp.solvable.center]
GK:138 [in mathcomp.solvable.center]
gP:1176 [in mathcomp.fingroup.fingroup]
gP:1179 [in mathcomp.fingroup.fingroup]
gp:293 [in mathcomp.field.closed_field]
graded:420 [in mathcomp.ssreflect.path]
gT':44 [in mathcomp.fingroup.fingroup]
gT:1 [in mathcomp.character.integral_char]
gT:1 [in mathcomp.solvable.finmodule]
gT:1 [in mathcomp.solvable.jordanholder]
gT:1 [in mathcomp.solvable.burnside_app]
gT:1 [in mathcomp.solvable.hall]
gT:1 [in mathcomp.solvable.gfunctor]
gT:10 [in mathcomp.solvable.jordanholder]
gT:101 [in mathcomp.solvable.gfunctor]
gT:102 [in mathcomp.solvable.extremal]
gT:105 [in mathcomp.character.integral_char]
gT:106 [in mathcomp.solvable.gfunctor]
gT:107 [in mathcomp.solvable.hall]
gT:11 [in mathcomp.solvable.gfunctor]
gT:111 [in mathcomp.solvable.gfunctor]
gT:115 [in mathcomp.character.mxabelem]
gT:117 [in mathcomp.solvable.gfunctor]
gT:12 [in mathcomp.solvable.jordanholder]
gT:122 [in mathcomp.solvable.gfunctor]
gT:125 [in mathcomp.character.integral_char]
gT:126 [in mathcomp.solvable.extremal]
gT:1269 [in mathcomp.character.mxrepresentation]
gT:128 [in mathcomp.solvable.gfunctor]
gT:13 [in mathcomp.solvable.extremal]
gT:131 [in mathcomp.solvable.gfunctor]
gT:135 [in mathcomp.solvable.sylow]
gT:137 [in mathcomp.solvable.finmodule]
gT:137 [in mathcomp.solvable.nilpotent]
gT:138 [in mathcomp.character.integral_char]
gT:138 [in mathcomp.solvable.sylow]
gT:139 [in mathcomp.solvable.nilpotent]
gT:141 [in mathcomp.solvable.nilpotent]
gT:143 [in mathcomp.solvable.gfunctor]
gT:144 [in mathcomp.solvable.gfunctor]
gT:145 [in mathcomp.solvable.gseries]
gT:1455 [in mathcomp.character.mxrepresentation]
gT:146 [in mathcomp.character.integral_char]
gT:1464 [in mathcomp.character.mxrepresentation]
gT:147 [in mathcomp.character.classfun]
gT:1472 [in mathcomp.character.mxrepresentation]
gT:148 [in mathcomp.solvable.gseries]
gT:15 [in mathcomp.solvable.gfunctor]
gT:151 [in mathcomp.solvable.gseries]
gT:155 [in mathcomp.solvable.gseries]
gT:157 [in mathcomp.solvable.frobenius]
gT:16 [in mathcomp.solvable.hall]
gT:162 [in mathcomp.character.integral_char]
gT:1733 [in mathcomp.algebra.ssrnum]
gT:180 [in mathcomp.solvable.frobenius]
gT:194 [in mathcomp.fingroup.fingroup]
gT:195 [in mathcomp.fingroup.fingroup]
gT:196 [in mathcomp.fingroup.fingroup]
gT:197 [in mathcomp.fingroup.fingroup]
gT:198 [in mathcomp.fingroup.fingroup]
gT:199 [in mathcomp.fingroup.fingroup]
gT:2 [in mathcomp.solvable.commutator]
gT:20 [in mathcomp.solvable.gfunctor]
gT:219 [in mathcomp.character.character]
gT:227 [in mathcomp.character.character]
gT:23 [in mathcomp.solvable.hall]
gT:23 [in mathcomp.solvable.gfunctor]
gT:230 [in mathcomp.fingroup.quotient]
gT:232 [in mathcomp.character.vcharacter]
gT:24 [in mathcomp.solvable.extraspecial]
gT:24 [in mathcomp.fingroup.presentation]
gT:257 [in mathcomp.solvable.extremal]
gT:278 [in mathcomp.solvable.extremal]
gT:29 [in mathcomp.solvable.gfunctor]
gT:294 [in mathcomp.solvable.extremal]
gT:3 [in mathcomp.solvable.gfunctor]
gT:3 [in mathcomp.fingroup.presentation]
gT:305 [in mathcomp.solvable.extremal]
gT:31 [in mathcomp.solvable.gfunctor]
gT:311 [in mathcomp.solvable.extremal]
gT:314 [in mathcomp.solvable.extremal]
gT:317 [in mathcomp.solvable.extremal]
gT:33 [in mathcomp.fingroup.presentation]
gT:36 [in mathcomp.solvable.extraspecial]
gT:36 [in mathcomp.fingroup.presentation]
gT:38 [in mathcomp.fingroup.presentation]
gT:4 [in mathcomp.solvable.jordanholder]
gT:4 [in mathcomp.solvable.hall]
gT:42 [in mathcomp.fingroup.fingroup]
gT:421 [in mathcomp.solvable.pgroup]
gT:427 [in mathcomp.fingroup.morphism]
gT:428 [in mathcomp.solvable.pgroup]
gT:432 [in mathcomp.solvable.pgroup]
gT:435 [in mathcomp.solvable.pgroup]
gT:439 [in mathcomp.solvable.pgroup]
gT:441 [in mathcomp.fingroup.morphism]
gT:446 [in mathcomp.solvable.pgroup]
gT:447 [in mathcomp.fingroup.morphism]
gT:451 [in mathcomp.solvable.pgroup]
gT:455 [in mathcomp.solvable.pgroup]
gT:465 [in mathcomp.solvable.pgroup]
gT:468 [in mathcomp.solvable.pgroup]
gT:471 [in mathcomp.solvable.pgroup]
gT:475 [in mathcomp.solvable.pgroup]
gT:479 [in mathcomp.solvable.pgroup]
gT:483 [in mathcomp.solvable.pgroup]
gT:487 [in mathcomp.solvable.pgroup]
gT:49 [in mathcomp.fingroup.presentation]
gT:491 [in mathcomp.solvable.pgroup]
gT:495 [in mathcomp.solvable.pgroup]
gT:499 [in mathcomp.solvable.pgroup]
gT:5 [in mathcomp.solvable.gfunctor]
gT:503 [in mathcomp.solvable.pgroup]
gT:507 [in mathcomp.solvable.pgroup]
gT:511 [in mathcomp.solvable.pgroup]
gT:515 [in mathcomp.solvable.pgroup]
gT:519 [in mathcomp.solvable.pgroup]
gT:52 [in mathcomp.fingroup.presentation]
gT:523 [in mathcomp.solvable.pgroup]
gT:526 [in mathcomp.solvable.pgroup]
gT:531 [in mathcomp.solvable.pgroup]
gT:535 [in mathcomp.solvable.pgroup]
gT:539 [in mathcomp.solvable.pgroup]
gT:58 [in mathcomp.solvable.extraspecial]
gT:603 [in mathcomp.solvable.abelian]
gT:607 [in mathcomp.solvable.abelian]
gT:61 [in mathcomp.fingroup.presentation]
gT:64 [in mathcomp.solvable.extraspecial]
gT:64 [in mathcomp.fingroup.presentation]
gT:657 [in mathcomp.character.character]
gT:66 [in mathcomp.solvable.gfunctor]
gT:66 [in mathcomp.solvable.extraspecial]
gT:68 [in mathcomp.solvable.gfunctor]
gT:682 [in mathcomp.character.classfun]
gT:7 [in mathcomp.solvable.finmodule]
gT:7 [in mathcomp.solvable.jordanholder]
gT:7 [in mathcomp.solvable.gfunctor]
gT:70 [in mathcomp.fingroup.presentation]
gT:706 [in mathcomp.character.mxrepresentation]
gT:710 [in mathcomp.character.mxrepresentation]
gT:712 [in mathcomp.character.mxrepresentation]
gT:715 [in mathcomp.character.mxrepresentation]
gT:75 [in mathcomp.solvable.gfunctor]
gT:77 [in mathcomp.solvable.extremal]
gT:78 [in mathcomp.solvable.gfunctor]
gT:80 [in mathcomp.solvable.gfunctor]
gT:822 [in mathcomp.fingroup.action]
gT:83 [in mathcomp.solvable.extremal]
gT:83 [in mathcomp.solvable.gfunctor]
gT:84 [in mathcomp.solvable.gfunctor]
gT:84 [in mathcomp.fingroup.presentation]
gT:86 [in mathcomp.solvable.gfunctor]
gT:88 [in mathcomp.character.integral_char]
gT:88 [in mathcomp.solvable.gfunctor]
gT:89 [in mathcomp.fingroup.presentation]
gT:895 [in mathcomp.character.character]
gT:90 [in mathcomp.solvable.gfunctor]
gT:91 [in mathcomp.character.integral_char]
gT:91 [in mathcomp.solvable.maximal]
gT:912 [in mathcomp.character.character]
gT:916 [in mathcomp.character.character]
gT:92 [in mathcomp.solvable.gfunctor]
gT:94 [in mathcomp.fingroup.presentation]
gT:94 [in mathcomp.solvable.maximal]
gT:95 [in mathcomp.character.integral_char]
gT:95 [in mathcomp.solvable.extremal]
gT:95 [in mathcomp.solvable.gfunctor]
gT:98 [in mathcomp.solvable.extremal]
gT:98 [in mathcomp.solvable.gfunctor]
Gx:194 [in mathcomp.fingroup.quotient]
Gx:197 [in mathcomp.fingroup.quotient]
Gx:901 [in mathcomp.character.mxrepresentation]
gz:128 [in mathcomp.solvable.center]
gz:134 [in mathcomp.solvable.center]
g':183 [in mathcomp.algebra.matrix]
g':189 [in mathcomp.algebra.matrix]
g':1934 [in mathcomp.algebra.matrix]
g':1937 [in mathcomp.algebra.matrix]
g':1940 [in mathcomp.algebra.matrix]
g':361 [in mathcomp.algebra.matrix]
g':375 [in mathcomp.algebra.matrix]
G0:421 [in mathcomp.character.inertia]
G0:422 [in mathcomp.character.inertia]
g1:106 [in mathcomp.ssreflect.finfun]
g1:110 [in mathcomp.character.integral_char]
G1:117 [in mathcomp.fingroup.quotient]
G1:148 [in mathcomp.solvable.frobenius]
G1:18 [in mathcomp.solvable.jordanholder]
G1:187 [in mathcomp.fingroup.gproduct]
G1:193 [in mathcomp.fingroup.gproduct]
G1:5 [in mathcomp.solvable.jordanholder]
g1:53 [in mathcomp.ssreflect.finfun]
g1:619 [in mathcomp.algebra.vector]
g2:107 [in mathcomp.ssreflect.finfun]
g2:111 [in mathcomp.character.integral_char]
G2:118 [in mathcomp.fingroup.quotient]
G2:19 [in mathcomp.solvable.jordanholder]
g2:54 [in mathcomp.ssreflect.finfun]
G2:6 [in mathcomp.solvable.jordanholder]
g2:620 [in mathcomp.algebra.vector]
G:10 [in mathcomp.solvable.commutator]
G:10 [in mathcomp.character.mxrepresentation]
G:10 [in mathcomp.solvable.gseries]
G:10 [in mathcomp.solvable.center]
G:100 [in mathcomp.solvable.commutator]
G:100 [in mathcomp.solvable.gfunctor]
G:1003 [in mathcomp.fingroup.fingroup]
G:1005 [in mathcomp.fingroup.fingroup]
G:1006 [in mathcomp.fingroup.fingroup]
G:101 [in mathcomp.fingroup.quotient]
G:101 [in mathcomp.solvable.pgroup]
G:101 [in mathcomp.solvable.hall]
G:1010 [in mathcomp.fingroup.fingroup]
G:1013 [in mathcomp.fingroup.fingroup]
G:102 [in mathcomp.fingroup.automorphism]
G:102 [in mathcomp.solvable.sylow]
G:102 [in mathcomp.solvable.abelian]
G:102 [in mathcomp.solvable.nilpotent]
G:1022 [in mathcomp.fingroup.fingroup]
G:1025 [in mathcomp.fingroup.fingroup]
G:103 [in mathcomp.solvable.commutator]
G:103 [in mathcomp.fingroup.automorphism]
G:103 [in mathcomp.solvable.extremal]
G:103 [in mathcomp.solvable.gfunctor]
G:104 [in mathcomp.solvable.pgroup]
G:104 [in mathcomp.solvable.abelian]
G:104 [in mathcomp.solvable.hall]
G:1049 [in mathcomp.fingroup.fingroup]
G:105 [in mathcomp.fingroup.automorphism]
G:105 [in mathcomp.solvable.cyclic]
G:105 [in mathcomp.solvable.nilpotent]
G:1052 [in mathcomp.fingroup.fingroup]
G:1053 [in mathcomp.fingroup.fingroup]
G:1054 [in mathcomp.fingroup.fingroup]
G:1055 [in mathcomp.fingroup.fingroup]
G:106 [in mathcomp.character.integral_char]
G:106 [in mathcomp.solvable.commutator]
G:106 [in mathcomp.solvable.sylow]
G:1060 [in mathcomp.fingroup.fingroup]
G:1063 [in mathcomp.fingroup.fingroup]
G:1066 [in mathcomp.fingroup.fingroup]
G:1068 [in mathcomp.fingroup.fingroup]
G:107 [in mathcomp.solvable.abelian]
G:107 [in mathcomp.solvable.cyclic]
G:1070 [in mathcomp.fingroup.fingroup]
G:1073 [in mathcomp.fingroup.fingroup]
G:1075 [in mathcomp.fingroup.fingroup]
G:1078 [in mathcomp.fingroup.fingroup]
G:108 [in mathcomp.fingroup.automorphism]
G:108 [in mathcomp.solvable.pgroup]
G:108 [in mathcomp.solvable.frobenius]
G:108 [in mathcomp.fingroup.gproduct]
G:108 [in mathcomp.solvable.gfunctor]
G:108 [in mathcomp.solvable.nilpotent]
G:1081 [in mathcomp.fingroup.fingroup]
G:1083 [in mathcomp.fingroup.fingroup]
G:1085 [in mathcomp.fingroup.fingroup]
G:1087 [in mathcomp.fingroup.fingroup]
G:109 [in mathcomp.fingroup.quotient]
G:109 [in mathcomp.solvable.commutator]
G:109 [in mathcomp.solvable.jordanholder]
G:109 [in mathcomp.solvable.cyclic]
G:109 [in mathcomp.solvable.hall]
G:109 [in mathcomp.solvable.nilpotent]
G:1090 [in mathcomp.fingroup.fingroup]
G:1093 [in mathcomp.fingroup.fingroup]
G:1094 [in mathcomp.fingroup.fingroup]
G:1097 [in mathcomp.fingroup.fingroup]
G:11 [in mathcomp.solvable.frobenius]
G:11 [in mathcomp.solvable.maximal]
G:11 [in mathcomp.solvable.nilpotent]
G:110 [in mathcomp.solvable.maximal]
G:1106 [in mathcomp.algebra.ssralg]
G:111 [in mathcomp.solvable.jordanholder]
G:111 [in mathcomp.solvable.frobenius]
g:111 [in mathcomp.character.character]
G:111 [in mathcomp.solvable.nilpotent]
G:1118 [in mathcomp.ssreflect.bigop]
g:112 [in mathcomp.character.integral_char]
G:112 [in mathcomp.fingroup.automorphism]
G:112 [in mathcomp.solvable.cyclic]
G:112 [in mathcomp.solvable.maximal]
G:112 [in mathcomp.solvable.nilpotent]
g:1121 [in mathcomp.algebra.mxalgebra]
G:1122 [in mathcomp.fingroup.fingroup]
g:1122 [in mathcomp.algebra.mxalgebra]
G:1124 [in mathcomp.fingroup.fingroup]
G:113 [in mathcomp.solvable.pgroup]
G:113 [in mathcomp.solvable.abelian]
G:113 [in mathcomp.solvable.gfunctor]
G:113 [in mathcomp.solvable.nilpotent]
G:114 [in mathcomp.fingroup.quotient]
G:114 [in mathcomp.solvable.sylow]
G:114 [in mathcomp.solvable.frobenius]
G:115 [in mathcomp.fingroup.quotient]
G:115 [in mathcomp.fingroup.automorphism]
G:115 [in mathcomp.solvable.sylow]
G:115 [in mathcomp.fingroup.gproduct]
G:115 [in mathcomp.solvable.abelian]
G:115 [in mathcomp.solvable.cyclic]
G:1154 [in mathcomp.fingroup.fingroup]
G:1157 [in mathcomp.fingroup.fingroup]
G:116 [in mathcomp.fingroup.quotient]
g:116 [in mathcomp.field.galois]
G:116 [in mathcomp.solvable.sylow]
G:116 [in mathcomp.solvable.nilpotent]
G:1168 [in mathcomp.fingroup.fingroup]
G:117 [in mathcomp.solvable.pgroup]
G:117 [in mathcomp.solvable.abelian]
G:117 [in mathcomp.solvable.nilpotent]
G:118 [in mathcomp.solvable.commutator]
G:118 [in mathcomp.fingroup.automorphism]
G:118 [in mathcomp.solvable.sylow]
G:118 [in mathcomp.solvable.frobenius]
G:118 [in mathcomp.fingroup.gproduct]
G:118 [in mathcomp.solvable.cyclic]
G:1182 [in mathcomp.fingroup.fingroup]
G:1183 [in mathcomp.fingroup.fingroup]
G:1185 [in mathcomp.fingroup.fingroup]
G:1186 [in mathcomp.fingroup.fingroup]
G:119 [in mathcomp.solvable.gfunctor]
G:1192 [in mathcomp.algebra.ssrnum]
G:12 [in mathcomp.solvable.commutator]
G:12 [in mathcomp.solvable.center]
g:120 [in mathcomp.algebra.matrix]
G:120 [in mathcomp.solvable.jordanholder]
G:120 [in mathcomp.fingroup.automorphism]
G:120 [in mathcomp.solvable.abelian]
G:1200 [in mathcomp.fingroup.fingroup]
G:1201 [in mathcomp.fingroup.fingroup]
G:1202 [in mathcomp.fingroup.fingroup]
G:1203 [in mathcomp.fingroup.fingroup]
G:1204 [in mathcomp.fingroup.fingroup]
G:1205 [in mathcomp.fingroup.fingroup]
G:1206 [in mathcomp.fingroup.fingroup]
G:1207 [in mathcomp.fingroup.fingroup]
G:121 [in mathcomp.fingroup.automorphism]
G:121 [in mathcomp.solvable.pgroup]
G:121 [in mathcomp.solvable.frobenius]
G:121 [in mathcomp.fingroup.gproduct]
G:121 [in mathcomp.fingroup.morphism]
G:121 [in mathcomp.solvable.nilpotent]
G:122 [in mathcomp.solvable.sylow]
G:122 [in mathcomp.solvable.frobenius]
G:122 [in mathcomp.solvable.abelian]
G:123 [in mathcomp.solvable.cyclic]
G:124 [in mathcomp.fingroup.automorphism]
G:124 [in mathcomp.solvable.pgroup]
G:124 [in mathcomp.solvable.frobenius]
G:124 [in mathcomp.fingroup.gproduct]
G:124 [in mathcomp.fingroup.morphism]
G:124 [in mathcomp.solvable.gfunctor]
g:1246 [in mathcomp.algebra.matrix]
G:125 [in mathcomp.solvable.commutator]
G:125 [in mathcomp.solvable.sylow]
g:1253 [in mathcomp.algebra.matrix]
G:126 [in mathcomp.character.integral_char]
G:126 [in mathcomp.solvable.frobenius]
G:126 [in mathcomp.solvable.cyclic]
G:126 [in mathcomp.solvable.maximal]
G:126 [in mathcomp.solvable.nilpotent]
G:127 [in mathcomp.fingroup.automorphism]
G:127 [in mathcomp.solvable.sylow]
G:127 [in mathcomp.solvable.abelian]
G:127 [in mathcomp.solvable.maximal]
G:1270 [in mathcomp.character.mxrepresentation]
g:1274 [in mathcomp.algebra.matrix]
G:128 [in mathcomp.solvable.pgroup]
G:128 [in mathcomp.fingroup.gproduct]
G:128 [in mathcomp.fingroup.morphism]
G:128 [in mathcomp.solvable.cyclic]
G:129 [in mathcomp.solvable.frobenius]
G:129 [in mathcomp.solvable.extremal]
G:129 [in mathcomp.solvable.cyclic]
G:129 [in mathcomp.solvable.gfunctor]
G:13 [in mathcomp.solvable.frobenius]
G:13 [in mathcomp.solvable.gfunctor]
g:130 [in mathcomp.ssreflect.finfun]
g:130 [in mathcomp.field.galois]
G:130 [in mathcomp.fingroup.automorphism]
G:130 [in mathcomp.solvable.sylow]
G:131 [in mathcomp.solvable.sylow]
G:131 [in mathcomp.fingroup.gproduct]
G:131 [in mathcomp.solvable.abelian]
G:131 [in mathcomp.fingroup.morphism]
G:131 [in mathcomp.solvable.cyclic]
g:1316 [in mathcomp.ssreflect.seq]
G:132 [in mathcomp.solvable.frobenius]
G:132 [in mathcomp.solvable.gfunctor]
G:133 [in mathcomp.solvable.sylow]
G:133 [in mathcomp.solvable.pgroup]
G:133 [in mathcomp.solvable.abelian]
G:133 [in mathcomp.solvable.nilpotent]
g:1336 [in mathcomp.algebra.mxalgebra]
g:1338 [in mathcomp.algebra.mxalgebra]
G:134 [in mathcomp.solvable.commutator]
g:134 [in mathcomp.field.galois]
G:134 [in mathcomp.fingroup.gproduct]
G:134 [in mathcomp.solvable.abelian]
G:134 [in mathcomp.solvable.gseries]
G:134 [in mathcomp.solvable.cyclic]
g:1340 [in mathcomp.algebra.mxalgebra]
G:135 [in mathcomp.fingroup.morphism]
G:135 [in mathcomp.solvable.hall]
G:136 [in mathcomp.solvable.frobenius]
G:136 [in mathcomp.solvable.gseries]
G:137 [in mathcomp.fingroup.gproduct]
G:137 [in mathcomp.solvable.cyclic]
g:1375 [in mathcomp.character.mxrepresentation]
g:1378 [in mathcomp.character.mxrepresentation]
G:138 [in mathcomp.solvable.commutator]
G:138 [in mathcomp.fingroup.automorphism]
G:138 [in mathcomp.solvable.nilpotent]
g:1382 [in mathcomp.character.mxrepresentation]
g:1386 [in mathcomp.character.mxrepresentation]
G:139 [in mathcomp.solvable.finmodule]
G:139 [in mathcomp.solvable.pgroup]
G:139 [in mathcomp.solvable.gseries]
G:139 [in mathcomp.solvable.center]
G:139 [in mathcomp.solvable.cyclic]
G:139 [in mathcomp.solvable.hall]
G:14 [in mathcomp.character.classfun]
G:14 [in mathcomp.solvable.center]
G:140 [in mathcomp.character.integral_char]
G:140 [in mathcomp.solvable.commutator]
g:140 [in mathcomp.field.galois]
G:140 [in mathcomp.solvable.frobenius]
G:140 [in mathcomp.fingroup.gproduct]
G:140 [in mathcomp.fingroup.morphism]
G:140 [in mathcomp.solvable.nilpotent]
g:141 [in mathcomp.field.galois]
G:141 [in mathcomp.solvable.pgroup]
G:141 [in mathcomp.solvable.cyclic]
G:141 [in mathcomp.solvable.maximal]
G:142 [in mathcomp.solvable.commutator]
G:142 [in mathcomp.solvable.gseries]
G:142 [in mathcomp.solvable.hall]
G:142 [in mathcomp.solvable.maximal]
G:142 [in mathcomp.solvable.nilpotent]
G:143 [in mathcomp.solvable.frobenius]
G:144 [in mathcomp.solvable.commutator]
G:144 [in mathcomp.solvable.pgroup]
G:144 [in mathcomp.fingroup.gproduct]
G:144 [in mathcomp.solvable.maximal]
G:145 [in mathcomp.fingroup.automorphism]
G:145 [in mathcomp.solvable.sylow]
G:1456 [in mathcomp.character.mxrepresentation]
G:146 [in mathcomp.fingroup.quotient]
G:146 [in mathcomp.solvable.commutator]
G:146 [in mathcomp.solvable.frobenius]
G:146 [in mathcomp.solvable.gseries]
G:147 [in mathcomp.character.integral_char]
G:147 [in mathcomp.solvable.sylow]
G:147 [in mathcomp.solvable.pgroup]
G:147 [in mathcomp.fingroup.gproduct]
G:147 [in mathcomp.solvable.maximal]
G:1470 [in mathcomp.character.mxrepresentation]
G:148 [in mathcomp.fingroup.quotient]
G:148 [in mathcomp.solvable.commutator]
G:148 [in mathcomp.solvable.sylow]
G:149 [in mathcomp.solvable.frobenius]
G:149 [in mathcomp.solvable.gseries]
G:15 [in mathcomp.solvable.sylow]
G:15 [in mathcomp.solvable.frobenius]
G:15 [in mathcomp.solvable.extremal]
G:15 [in mathcomp.solvable.nilpotent]
G:150 [in mathcomp.solvable.commutator]
G:150 [in mathcomp.solvable.pgroup]
g:151 [in mathcomp.character.mxrepresentation]
G:151 [in mathcomp.fingroup.gproduct]
G:151 [in mathcomp.solvable.cyclic]
G:151 [in mathcomp.solvable.maximal]
G:152 [in mathcomp.fingroup.morphism]
g:152 [in mathcomp.character.character]
G:152 [in mathcomp.solvable.nilpotent]
g:1524 [in mathcomp.algebra.matrix]
G:153 [in mathcomp.solvable.gseries]
G:153 [in mathcomp.solvable.maximal]
g:1538 [in mathcomp.algebra.matrix]
G:154 [in mathcomp.fingroup.gproduct]
G:155 [in mathcomp.solvable.commutator]
G:155 [in mathcomp.solvable.nilpotent]
g:156 [in mathcomp.solvable.finmodule]
G:156 [in mathcomp.solvable.sylow]
G:156 [in mathcomp.solvable.pgroup]
G:156 [in mathcomp.solvable.gseries]
G:157 [in mathcomp.solvable.commutator]
G:157 [in mathcomp.fingroup.morphism]
G:157 [in mathcomp.solvable.nilpotent]
g:158 [in mathcomp.solvable.finmodule]
G:158 [in mathcomp.solvable.frobenius]
G:158 [in mathcomp.fingroup.gproduct]
G:158 [in mathcomp.solvable.gseries]
G:1586 [in mathcomp.algebra.ssrnum]
G:1587 [in mathcomp.algebra.ssrnum]
G:1588 [in mathcomp.algebra.ssrnum]
G:159 [in mathcomp.fingroup.quotient]
G:159 [in mathcomp.solvable.nilpotent]
G:1590 [in mathcomp.algebra.ssrnum]
G:160 [in mathcomp.solvable.commutator]
G:160 [in mathcomp.solvable.pgroup]
G:161 [in mathcomp.solvable.gseries]
G:161 [in mathcomp.fingroup.morphism]
G:161 [in mathcomp.solvable.nilpotent]
G:162 [in mathcomp.solvable.commutator]
G:162 [in mathcomp.fingroup.morphism]
G:162 [in mathcomp.solvable.nilpotent]
G:163 [in mathcomp.character.integral_char]
G:163 [in mathcomp.solvable.abelian]
G:163 [in mathcomp.fingroup.morphism]
g:164 [in mathcomp.character.mxabelem]
G:164 [in mathcomp.solvable.pgroup]
G:164 [in mathcomp.solvable.nilpotent]
G:165 [in mathcomp.solvable.commutator]
G:165 [in mathcomp.solvable.gseries]
G:166 [in mathcomp.fingroup.gproduct]
g:1673 [in mathcomp.algebra.mxalgebra]
g:1675 [in mathcomp.ssreflect.seq]
g:1676 [in mathcomp.algebra.mxalgebra]
G:168 [in mathcomp.fingroup.action]
g:168 [in mathcomp.character.mxabelem]
G:168 [in mathcomp.solvable.pgroup]
g:1684 [in mathcomp.ssreflect.seq]
G:169 [in mathcomp.fingroup.action]
g:169 [in mathcomp.character.mxabelem]
G:169 [in mathcomp.solvable.nilpotent]
g:1695 [in mathcomp.ssreflect.seq]
G:17 [in mathcomp.solvable.sylow]
G:17 [in mathcomp.solvable.hall]
G:17 [in mathcomp.solvable.gfunctor]
g:170 [in mathcomp.character.classfun]
G:170 [in mathcomp.solvable.pgroup]
G:172 [in mathcomp.fingroup.gproduct]
G:173 [in mathcomp.fingroup.quotient]
G:173 [in mathcomp.solvable.commutator]
G:173 [in mathcomp.fingroup.action]
G:1734 [in mathcomp.algebra.ssrnum]
G:174 [in mathcomp.fingroup.quotient]
G:174 [in mathcomp.solvable.pgroup]
G:175 [in mathcomp.solvable.nilpotent]
G:176 [in mathcomp.fingroup.action]
G:176 [in mathcomp.fingroup.gproduct]
g:1766 [in mathcomp.ssreflect.seq]
G:177 [in mathcomp.fingroup.action]
G:177 [in mathcomp.solvable.maximal]
G:178 [in mathcomp.fingroup.action]
G:178 [in mathcomp.solvable.pgroup]
G:178 [in mathcomp.solvable.maximal]
g:1785 [in mathcomp.algebra.ssralg]
G:179 [in mathcomp.solvable.maximal]
G:18 [in mathcomp.solvable.frobenius]
G:18 [in mathcomp.solvable.nilpotent]
G:180 [in mathcomp.fingroup.gproduct]
G:181 [in mathcomp.fingroup.action]
G:181 [in mathcomp.solvable.pgroup]
G:181 [in mathcomp.solvable.frobenius]
G:181 [in mathcomp.solvable.maximal]
G:181 [in mathcomp.solvable.nilpotent]
g:182 [in mathcomp.algebra.matrix]
G:183 [in mathcomp.fingroup.gproduct]
G:184 [in mathcomp.solvable.maximal]
G:185 [in mathcomp.solvable.pgroup]
G:186 [in mathcomp.solvable.maximal]
G:187 [in mathcomp.fingroup.action]
G:187 [in mathcomp.solvable.abelian]
g:188 [in mathcomp.algebra.matrix]
G:188 [in mathcomp.solvable.maximal]
G:189 [in mathcomp.fingroup.gproduct]
G:189 [in mathcomp.solvable.nilpotent]
G:19 [in mathcomp.solvable.sylow]
G:19 [in mathcomp.solvable.gseries]
G:190 [in mathcomp.fingroup.action]
G:190 [in mathcomp.solvable.pgroup]
G:190 [in mathcomp.solvable.maximal]
g:1906 [in mathcomp.algebra.matrix]
g:191 [in mathcomp.algebra.matrix]
g:1913 [in mathcomp.algebra.matrix]
g:1919 [in mathcomp.algebra.matrix]
g:1921 [in mathcomp.algebra.matrix]
g:1923 [in mathcomp.algebra.matrix]
G:193 [in mathcomp.solvable.nilpotent]
g:1930 [in mathcomp.algebra.matrix]
g:1933 [in mathcomp.algebra.matrix]
g:1936 [in mathcomp.algebra.matrix]
g:1939 [in mathcomp.algebra.matrix]
g:194 [in mathcomp.algebra.matrix]
G:194 [in mathcomp.solvable.pgroup]
G:194 [in mathcomp.fingroup.gproduct]
g:1949 [in mathcomp.algebra.matrix]
G:195 [in mathcomp.solvable.nilpotent]
g:1952 [in mathcomp.algebra.matrix]
g:1955 [in mathcomp.algebra.matrix]
g:196 [in mathcomp.character.classfun]
g:197 [in mathcomp.algebra.matrix]
G:197 [in mathcomp.solvable.pgroup]
G:197 [in mathcomp.fingroup.morphism]
g:198 [in mathcomp.character.classfun]
G:198 [in mathcomp.solvable.nilpotent]
G:199 [in mathcomp.fingroup.morphism]
G:2 [in mathcomp.character.integral_char]
G:2 [in mathcomp.character.classfun]
g:2 [in mathcomp.ssreflect.fingraph]
G:2 [in mathcomp.solvable.hall]
G:200 [in mathcomp.fingroup.quotient]
G:200 [in mathcomp.solvable.pgroup]
G:200 [in mathcomp.solvable.nilpotent]
g:201 [in mathcomp.algebra.matrix]
G:201 [in mathcomp.solvable.pgroup]
g:202 [in mathcomp.fingroup.quotient]
G:202 [in mathcomp.solvable.pgroup]
G:202 [in mathcomp.solvable.cyclic]
G:202 [in mathcomp.solvable.nilpotent]
g:203 [in mathcomp.fingroup.quotient]
G:204 [in mathcomp.character.mxabelem]
G:204 [in mathcomp.fingroup.gproduct]
G:204 [in mathcomp.solvable.nilpotent]
g:205 [in mathcomp.algebra.matrix]
G:205 [in mathcomp.fingroup.gproduct]
G:206 [in mathcomp.fingroup.action]
G:207 [in mathcomp.fingroup.gproduct]
G:208 [in mathcomp.fingroup.action]
g:209 [in mathcomp.fingroup.quotient]
g:209 [in mathcomp.algebra.matrix]
G:21 [in mathcomp.solvable.center]
g:210 [in mathcomp.fingroup.quotient]
G:210 [in mathcomp.fingroup.action]
G:210 [in mathcomp.solvable.cyclic]
G:210 [in mathcomp.solvable.nilpotent]
G:211 [in mathcomp.solvable.pgroup]
G:211 [in mathcomp.fingroup.gproduct]
G:212 [in mathcomp.solvable.nilpotent]
g:213 [in mathcomp.algebra.matrix]
G:213 [in mathcomp.solvable.nilpotent]
G:214 [in mathcomp.fingroup.gproduct]
G:214 [in mathcomp.solvable.abelian]
G:214 [in mathcomp.solvable.nilpotent]
G:215 [in mathcomp.solvable.nilpotent]
G:216 [in mathcomp.fingroup.action]
G:216 [in mathcomp.solvable.nilpotent]
G:217 [in mathcomp.fingroup.gproduct]
G:217 [in mathcomp.solvable.abelian]
G:218 [in mathcomp.solvable.abelian]
G:2186 [in mathcomp.algebra.ssrnum]
G:22 [in mathcomp.solvable.gfunctor]
G:22 [in mathcomp.solvable.nilpotent]
G:220 [in mathcomp.fingroup.gproduct]
G:220 [in mathcomp.solvable.nilpotent]
G:221 [in mathcomp.character.inertia]
G:222 [in mathcomp.solvable.nilpotent]
G:223 [in mathcomp.solvable.abelian]
G:225 [in mathcomp.solvable.nilpotent]
G:226 [in mathcomp.fingroup.gproduct]
G:226 [in mathcomp.solvable.abelian]
G:227 [in mathcomp.solvable.nilpotent]
g:2283 [in mathcomp.algebra.ssralg]
g:229 [in mathcomp.algebra.mxpoly]
G:229 [in mathcomp.solvable.nilpotent]
G:23 [in mathcomp.solvable.jordanholder]
G:23 [in mathcomp.solvable.pgroup]
G:23 [in mathcomp.solvable.center]
G:230 [in mathcomp.character.inertia]
G:230 [in mathcomp.solvable.abelian]
G:230 [in mathcomp.solvable.nilpotent]
g:2302 [in mathcomp.algebra.ssralg]
G:231 [in mathcomp.fingroup.quotient]
g:231 [in mathcomp.field.galois]
G:231 [in mathcomp.fingroup.action]
G:231 [in mathcomp.fingroup.gproduct]
G:231 [in mathcomp.solvable.nilpotent]
g:233 [in mathcomp.algebra.mxpoly]
G:235 [in mathcomp.character.inertia]
G:235 [in mathcomp.solvable.nilpotent]
g:236 [in mathcomp.field.galois]
g:236 [in mathcomp.algebra.mxpoly]
G:237 [in mathcomp.solvable.nilpotent]
G:238 [in mathcomp.fingroup.quotient]
g:238 [in mathcomp.algebra.mxpoly]
G:238 [in mathcomp.fingroup.gproduct]
G:239 [in mathcomp.fingroup.quotient]
G:239 [in mathcomp.character.inertia]
G:239 [in mathcomp.fingroup.action]
G:239 [in mathcomp.solvable.nilpotent]
G:24 [in mathcomp.solvable.center]
G:24 [in mathcomp.solvable.hall]
g:240 [in mathcomp.algebra.mxpoly]
G:241 [in mathcomp.fingroup.quotient]
G:241 [in mathcomp.solvable.abelian]
G:241 [in mathcomp.solvable.nilpotent]
G:242 [in mathcomp.fingroup.quotient]
G:242 [in mathcomp.fingroup.action]
G:243 [in mathcomp.character.inertia]
G:243 [in mathcomp.solvable.nilpotent]
G:244 [in mathcomp.fingroup.quotient]
g:244 [in mathcomp.algebra.mxpoly]
G:244 [in mathcomp.solvable.nilpotent]
G:245 [in mathcomp.fingroup.action]
g:245 [in mathcomp.fingroup.morphism]
G:246 [in mathcomp.fingroup.quotient]
g:246 [in mathcomp.character.vcharacter]
G:246 [in mathcomp.solvable.nilpotent]
g:247 [in mathcomp.algebra.mxpoly]
G:247 [in mathcomp.solvable.nilpotent]
G:248 [in mathcomp.fingroup.quotient]
G:248 [in mathcomp.fingroup.gproduct]
G:248 [in mathcomp.solvable.nilpotent]
g:249 [in mathcomp.fingroup.morphism]
G:25 [in mathcomp.solvable.gseries]
G:25 [in mathcomp.solvable.center]
G:25 [in mathcomp.solvable.gfunctor]
G:25 [in mathcomp.solvable.extraspecial]
G:250 [in mathcomp.fingroup.quotient]
g:250 [in mathcomp.field.galois]
G:250 [in mathcomp.solvable.nilpotent]
g:251 [in mathcomp.algebra.mxpoly]
G:251 [in mathcomp.solvable.abelian]
G:252 [in mathcomp.fingroup.quotient]
G:252 [in mathcomp.fingroup.gproduct]
G:252 [in mathcomp.solvable.nilpotent]
G:253 [in mathcomp.fingroup.action]
g:255 [in mathcomp.field.galois]
G:255 [in mathcomp.fingroup.action]
G:255 [in mathcomp.solvable.abelian]
g:257 [in mathcomp.algebra.mxpoly]
G:257 [in mathcomp.fingroup.action]
G:258 [in mathcomp.solvable.extremal]
G:258 [in mathcomp.fingroup.morphism]
G:259 [in mathcomp.fingroup.quotient]
g:259 [in mathcomp.field.closed_field]
G:259 [in mathcomp.fingroup.morphism]
G:26 [in mathcomp.solvable.pgroup]
G:261 [in mathcomp.solvable.abelian]
G:262 [in mathcomp.solvable.nilpotent]
G:264 [in mathcomp.fingroup.action]
G:264 [in mathcomp.solvable.nilpotent]
G:265 [in mathcomp.fingroup.gproduct]
G:266 [in mathcomp.solvable.nilpotent]
g:267 [in mathcomp.algebra.mxpoly]
G:268 [in mathcomp.solvable.nilpotent]
G:27 [in mathcomp.solvable.center]
G:27 [in mathcomp.solvable.maximal]
G:270 [in mathcomp.solvable.abelian]
G:271 [in mathcomp.fingroup.action]
G:272 [in mathcomp.solvable.abelian]
G:273 [in mathcomp.fingroup.action]
G:273 [in mathcomp.fingroup.gproduct]
G:275 [in mathcomp.fingroup.action]
g:275 [in mathcomp.fingroup.morphism]
G:276 [in mathcomp.solvable.pgroup]
G:278 [in mathcomp.fingroup.action]
g:279 [in mathcomp.fingroup.morphism]
G:28 [in mathcomp.solvable.jordanholder]
G:28 [in mathcomp.fingroup.gproduct]
G:28 [in mathcomp.solvable.gseries]
G:28 [in mathcomp.solvable.cyclic]
G:28 [in mathcomp.solvable.maximal]
g:280 [in mathcomp.field.galois]
G:280 [in mathcomp.solvable.extremal]
G:2804 [in mathcomp.algebra.ssrnum]
g:281 [in mathcomp.algebra.mxpoly]
G:282 [in mathcomp.solvable.abelian]
G:283 [in mathcomp.solvable.pgroup]
g:284 [in mathcomp.algebra.mxpoly]
G:284 [in mathcomp.fingroup.action]
G:286 [in mathcomp.fingroup.action]
g:286 [in mathcomp.field.closed_field]
G:286 [in mathcomp.fingroup.gproduct]
G:286 [in mathcomp.solvable.abelian]
g:287 [in mathcomp.algebra.mxpoly]
G:288 [in mathcomp.solvable.pgroup]
g:29 [in mathcomp.character.integral_char]
G:29 [in mathcomp.solvable.frobenius]
G:29 [in mathcomp.solvable.nilpotent]
G:290 [in mathcomp.solvable.abelian]
G:290 [in mathcomp.fingroup.morphism]
g:291 [in mathcomp.algebra.mxpoly]
G:292 [in mathcomp.fingroup.morphism]
G:292 [in mathcomp.character.character]
G:293 [in mathcomp.solvable.pgroup]
G:294 [in mathcomp.fingroup.gproduct]
G:294 [in mathcomp.solvable.abelian]
G:295 [in mathcomp.fingroup.gproduct]
G:295 [in mathcomp.solvable.abelian]
G:295 [in mathcomp.character.character]
g:296 [in mathcomp.algebra.mxpoly]
G:296 [in mathcomp.solvable.extremal]
G:296 [in mathcomp.solvable.abelian]
G:296 [in mathcomp.character.character]
G:297 [in mathcomp.solvable.pgroup]
G:297 [in mathcomp.fingroup.gproduct]
g:299 [in mathcomp.algebra.mxpoly]
G:3 [in mathcomp.character.classfun]
G:3 [in mathcomp.character.mxrepresentation]
G:3 [in mathcomp.solvable.center]
G:3 [in mathcomp.solvable.burnside_app]
G:3 [in mathcomp.solvable.maximal]
G:30 [in mathcomp.solvable.jordanholder]
G:30 [in mathcomp.solvable.cyclic]
G:30 [in mathcomp.solvable.maximal]
G:301 [in mathcomp.solvable.pgroup]
G:302 [in mathcomp.solvable.abelian]
G:304 [in mathcomp.solvable.abelian]
G:305 [in mathcomp.fingroup.action]
G:305 [in mathcomp.solvable.pgroup]
G:305 [in mathcomp.fingroup.gproduct]
G:307 [in mathcomp.solvable.pgroup]
G:307 [in mathcomp.solvable.extremal]
G:307 [in mathcomp.solvable.abelian]
g:308 [in mathcomp.algebra.mxpoly]
G:308 [in mathcomp.fingroup.action]
G:308 [in mathcomp.fingroup.gproduct]
G:309 [in mathcomp.solvable.pgroup]
G:31 [in mathcomp.fingroup.gproduct]
G:31 [in mathcomp.solvable.maximal]
G:311 [in mathcomp.fingroup.gproduct]
G:312 [in mathcomp.fingroup.action]
G:313 [in mathcomp.solvable.extremal]
g:314 [in mathcomp.algebra.mxpoly]
G:314 [in mathcomp.fingroup.gproduct]
G:315 [in mathcomp.fingroup.action]
G:316 [in mathcomp.solvable.extremal]
g:317 [in mathcomp.algebra.mxpoly]
G:317 [in mathcomp.solvable.pgroup]
G:317 [in mathcomp.fingroup.gproduct]
G:317 [in mathcomp.solvable.abelian]
G:318 [in mathcomp.fingroup.gproduct]
G:319 [in mathcomp.fingroup.action]
G:319 [in mathcomp.solvable.extremal]
G:32 [in mathcomp.fingroup.quotient]
g:32 [in mathcomp.ssreflect.finfun]
G:32 [in mathcomp.solvable.cyclic]
g:320 [in mathcomp.algebra.mxpoly]
G:322 [in mathcomp.fingroup.action]
G:322 [in mathcomp.solvable.pgroup]
G:323 [in mathcomp.solvable.abelian]
G:326 [in mathcomp.fingroup.action]
G:326 [in mathcomp.solvable.pgroup]
G:326 [in mathcomp.fingroup.gproduct]
G:328 [in mathcomp.solvable.abelian]
G:330 [in mathcomp.solvable.abelian]
G:331 [in mathcomp.solvable.pgroup]
G:331 [in mathcomp.fingroup.gproduct]
G:334 [in mathcomp.solvable.pgroup]
G:334 [in mathcomp.solvable.abelian]
G:336 [in mathcomp.fingroup.gproduct]
G:338 [in mathcomp.solvable.abelian]
g:338 [in mathcomp.field.falgebra]
G:34 [in mathcomp.solvable.jordanholder]
G:34 [in mathcomp.solvable.center]
G:34 [in mathcomp.solvable.maximal]
G:34 [in mathcomp.solvable.nilpotent]
g:340 [in mathcomp.field.falgebra]
g:341 [in mathcomp.character.inertia]
G:342 [in mathcomp.solvable.pgroup]
G:343 [in mathcomp.solvable.pgroup]
G:343 [in mathcomp.fingroup.gproduct]
G:345 [in mathcomp.solvable.pgroup]
g:347 [in mathcomp.character.inertia]
G:347 [in mathcomp.solvable.pgroup]
g:349 [in mathcomp.ssreflect.eqtype]
G:35 [in mathcomp.solvable.gseries]
G:35 [in mathcomp.solvable.cyclic]
G:35 [in mathcomp.solvable.hall]
g:350 [in mathcomp.character.inertia]
G:350 [in mathcomp.solvable.pgroup]
G:350 [in mathcomp.fingroup.gproduct]
g:351 [in mathcomp.ssreflect.eqtype]
g:352 [in mathcomp.character.inertia]
G:353 [in mathcomp.solvable.pgroup]
G:354 [in mathcomp.fingroup.action]
G:355 [in mathcomp.solvable.pgroup]
G:358 [in mathcomp.solvable.pgroup]
g:358 [in mathcomp.field.falgebra]
G:359 [in mathcomp.fingroup.action]
G:36 [in mathcomp.solvable.jordanholder]
g:36 [in mathcomp.character.mxrepresentation]
G:36 [in mathcomp.solvable.gseries]
G:36 [in mathcomp.solvable.center]
G:36 [in mathcomp.solvable.nilpotent]
g:360 [in mathcomp.algebra.matrix]
g:360 [in mathcomp.field.falgebra]
G:361 [in mathcomp.character.inertia]
G:361 [in mathcomp.fingroup.action]
G:361 [in mathcomp.solvable.pgroup]
G:362 [in mathcomp.fingroup.gproduct]
G:363 [in mathcomp.fingroup.action]
G:366 [in mathcomp.fingroup.gproduct]
G:368 [in mathcomp.solvable.abelian]
G:37 [in mathcomp.solvable.extraspecial]
G:37 [in mathcomp.solvable.maximal]
G:370 [in mathcomp.fingroup.gproduct]
g:374 [in mathcomp.algebra.matrix]
G:374 [in mathcomp.fingroup.action]
G:374 [in mathcomp.fingroup.gproduct]
G:374 [in mathcomp.character.character]
G:375 [in mathcomp.solvable.abelian]
G:377 [in mathcomp.fingroup.action]
G:377 [in mathcomp.solvable.abelian]
G:379 [in mathcomp.fingroup.gproduct]
G:38 [in mathcomp.fingroup.gproduct]
G:38 [in mathcomp.solvable.cyclic]
G:38 [in mathcomp.solvable.hall]
G:38 [in mathcomp.solvable.maximal]
G:38 [in mathcomp.solvable.nilpotent]
G:380 [in mathcomp.solvable.abelian]
g:382 [in mathcomp.algebra.matrix]
G:382 [in mathcomp.solvable.pgroup]
G:382 [in mathcomp.solvable.abelian]
G:383 [in mathcomp.fingroup.action]
G:383 [in mathcomp.solvable.pgroup]
g:384 [in mathcomp.algebra.ssralg]
G:385 [in mathcomp.character.inertia]
G:385 [in mathcomp.fingroup.action]
G:386 [in mathcomp.fingroup.gproduct]
G:388 [in mathcomp.fingroup.action]
G:388 [in mathcomp.solvable.abelian]
g:389 [in mathcomp.algebra.matrix]
G:39 [in mathcomp.fingroup.quotient]
G:39 [in mathcomp.solvable.jordanholder]
G:39 [in mathcomp.solvable.gseries]
G:39 [in mathcomp.solvable.center]
g:39 [in mathcomp.field.falgebra]
G:390 [in mathcomp.fingroup.action]
G:390 [in mathcomp.solvable.abelian]
G:393 [in mathcomp.solvable.pgroup]
G:393 [in mathcomp.fingroup.gproduct]
G:394 [in mathcomp.character.inertia]
G:394 [in mathcomp.solvable.abelian]
G:395 [in mathcomp.solvable.abelian]
G:397 [in mathcomp.fingroup.action]
G:397 [in mathcomp.solvable.pgroup]
G:398 [in mathcomp.solvable.pgroup]
G:399 [in mathcomp.solvable.pgroup]
G:399 [in mathcomp.fingroup.gproduct]
G:399 [in mathcomp.solvable.abelian]
G:4 [in mathcomp.solvable.gfunctor]
g:40 [in mathcomp.character.integral_char]
G:40 [in mathcomp.solvable.nilpotent]
G:400 [in mathcomp.fingroup.action]
G:400 [in mathcomp.solvable.abelian]
G:401 [in mathcomp.character.inertia]
G:401 [in mathcomp.solvable.pgroup]
G:402 [in mathcomp.solvable.abelian]
G:403 [in mathcomp.solvable.pgroup]
G:404 [in mathcomp.solvable.pgroup]
G:405 [in mathcomp.fingroup.action]
G:405 [in mathcomp.solvable.abelian]
G:406 [in mathcomp.solvable.pgroup]
G:407 [in mathcomp.solvable.pgroup]
G:407 [in mathcomp.solvable.abelian]
G:409 [in mathcomp.solvable.pgroup]
G:409 [in mathcomp.solvable.abelian]
G:41 [in mathcomp.solvable.jordanholder]
G:41 [in mathcomp.fingroup.gproduct]
G:41 [in mathcomp.solvable.center]
G:41 [in mathcomp.solvable.maximal]
G:410 [in mathcomp.fingroup.gproduct]
G:411 [in mathcomp.solvable.pgroup]
G:414 [in mathcomp.solvable.pgroup]
G:414 [in mathcomp.solvable.abelian]
G:415 [in mathcomp.character.inertia]
G:415 [in mathcomp.solvable.abelian]
G:416 [in mathcomp.solvable.pgroup]
G:417 [in mathcomp.solvable.pgroup]
G:418 [in mathcomp.solvable.abelian]
g:419 [in mathcomp.algebra.matrix]
g:42 [in mathcomp.ssreflect.finfun]
G:42 [in mathcomp.solvable.gseries]
G:42 [in mathcomp.solvable.nilpotent]
g:42 [in mathcomp.field.falgebra]
G:420 [in mathcomp.fingroup.morphism]
G:421 [in mathcomp.solvable.abelian]
G:422 [in mathcomp.solvable.pgroup]
G:424 [in mathcomp.character.inertia]
G:424 [in mathcomp.solvable.abelian]
g:426 [in mathcomp.algebra.matrix]
G:426 [in mathcomp.solvable.abelian]
G:428 [in mathcomp.fingroup.morphism]
G:429 [in mathcomp.solvable.pgroup]
G:429 [in mathcomp.solvable.abelian]
G:43 [in mathcomp.solvable.jordanholder]
G:43 [in mathcomp.solvable.center]
G:431 [in mathcomp.solvable.abelian]
G:431 [in mathcomp.fingroup.morphism]
G:432 [in mathcomp.fingroup.gproduct]
G:433 [in mathcomp.solvable.pgroup]
g:434 [in mathcomp.algebra.matrix]
G:435 [in mathcomp.fingroup.morphism]
G:436 [in mathcomp.solvable.pgroup]
G:436 [in mathcomp.solvable.abelian]
G:439 [in mathcomp.fingroup.gproduct]
G:439 [in mathcomp.solvable.abelian]
G:439 [in mathcomp.fingroup.morphism]
G:44 [in mathcomp.fingroup.gproduct]
G:44 [in mathcomp.solvable.maximal]
G:44 [in mathcomp.solvable.nilpotent]
G:442 [in mathcomp.solvable.pgroup]
G:443 [in mathcomp.character.inertia]
G:444 [in mathcomp.fingroup.morphism]
G:445 [in mathcomp.fingroup.gproduct]
g:446 [in mathcomp.algebra.matrix]
G:449 [in mathcomp.character.inertia]
G:45 [in mathcomp.fingroup.quotient]
G:45 [in mathcomp.solvable.gseries]
G:45 [in mathcomp.solvable.center]
G:450 [in mathcomp.fingroup.morphism]
G:452 [in mathcomp.solvable.pgroup]
G:456 [in mathcomp.solvable.abelian]
G:459 [in mathcomp.solvable.abelian]
G:46 [in mathcomp.solvable.center]
G:46 [in mathcomp.solvable.maximal]
G:46 [in mathcomp.solvable.nilpotent]
G:461 [in mathcomp.solvable.abelian]
G:463 [in mathcomp.solvable.abelian]
G:466 [in mathcomp.fingroup.action]
G:466 [in mathcomp.solvable.pgroup]
G:466 [in mathcomp.solvable.abelian]
G:468 [in mathcomp.solvable.abelian]
G:469 [in mathcomp.solvable.pgroup]
G:47 [in mathcomp.solvable.hall]
G:470 [in mathcomp.solvable.abelian]
G:472 [in mathcomp.solvable.pgroup]
G:474 [in mathcomp.solvable.abelian]
G:476 [in mathcomp.solvable.pgroup]
G:477 [in mathcomp.solvable.abelian]
G:479 [in mathcomp.solvable.abelian]
G:48 [in mathcomp.solvable.gseries]
G:48 [in mathcomp.solvable.center]
G:48 [in mathcomp.solvable.nilpotent]
G:480 [in mathcomp.fingroup.action]
G:480 [in mathcomp.solvable.pgroup]
G:481 [in mathcomp.solvable.abelian]
G:483 [in mathcomp.fingroup.action]
G:483 [in mathcomp.solvable.abelian]
G:484 [in mathcomp.solvable.pgroup]
G:484 [in mathcomp.solvable.abelian]
G:486 [in mathcomp.solvable.abelian]
G:487 [in mathcomp.solvable.abelian]
G:488 [in mathcomp.solvable.pgroup]
G:489 [in mathcomp.solvable.abelian]
G:49 [in mathcomp.solvable.maximal]
G:492 [in mathcomp.solvable.pgroup]
G:493 [in mathcomp.solvable.abelian]
G:496 [in mathcomp.solvable.pgroup]
G:498 [in mathcomp.solvable.abelian]
G:5 [in mathcomp.character.classfun]
G:5 [in mathcomp.solvable.maximal]
G:50 [in mathcomp.fingroup.quotient]
G:50 [in mathcomp.solvable.gseries]
G:50 [in mathcomp.solvable.maximal]
G:50 [in mathcomp.solvable.nilpotent]
G:500 [in mathcomp.solvable.pgroup]
G:500 [in mathcomp.solvable.abelian]
G:502 [in mathcomp.fingroup.fingroup]
G:502 [in mathcomp.solvable.abelian]
G:503 [in mathcomp.solvable.abelian]
G:504 [in mathcomp.solvable.pgroup]
G:505 [in mathcomp.fingroup.fingroup]
G:505 [in mathcomp.solvable.abelian]
G:507 [in mathcomp.solvable.abelian]
G:508 [in mathcomp.solvable.pgroup]
G:509 [in mathcomp.fingroup.fingroup]
G:51 [in mathcomp.solvable.jordanholder]
G:51 [in mathcomp.solvable.pgroup]
G:51 [in mathcomp.solvable.gseries]
g:51 [in mathcomp.field.falgebra]
G:510 [in mathcomp.solvable.abelian]
G:512 [in mathcomp.solvable.pgroup]
G:512 [in mathcomp.solvable.abelian]
G:512 [in mathcomp.ssreflect.bigop]
G:513 [in mathcomp.fingroup.fingroup]
G:514 [in mathcomp.solvable.abelian]
G:516 [in mathcomp.solvable.pgroup]
G:519 [in mathcomp.solvable.abelian]
G:52 [in mathcomp.solvable.pgroup]
G:52 [in mathcomp.solvable.hall]
G:520 [in mathcomp.solvable.pgroup]
G:524 [in mathcomp.solvable.pgroup]
G:527 [in mathcomp.solvable.pgroup]
G:529 [in mathcomp.solvable.abelian]
G:53 [in mathcomp.solvable.center]
G:53 [in mathcomp.solvable.nilpotent]
G:530 [in mathcomp.fingroup.gproduct]
G:532 [in mathcomp.solvable.pgroup]
G:536 [in mathcomp.solvable.pgroup]
G:536 [in mathcomp.solvable.abelian]
g:537 [in mathcomp.ssreflect.fintype]
g:539 [in mathcomp.algebra.vector]
g:539 [in mathcomp.ssreflect.fintype]
G:54 [in mathcomp.solvable.pgroup]
G:54 [in mathcomp.solvable.gseries]
G:540 [in mathcomp.solvable.pgroup]
g:541 [in mathcomp.ssreflect.fintype]
G:542 [in mathcomp.character.classfun]
G:544 [in mathcomp.solvable.pgroup]
G:547 [in mathcomp.solvable.pgroup]
g:548 [in mathcomp.ssreflect.fintype]
g:549 [in mathcomp.ssreflect.fintype]
G:550 [in mathcomp.solvable.pgroup]
G:550 [in mathcomp.solvable.abelian]
g:551 [in mathcomp.ssreflect.fintype]
G:553 [in mathcomp.solvable.pgroup]
G:555 [in mathcomp.field.galois]
G:555 [in mathcomp.solvable.pgroup]
G:558 [in mathcomp.field.galois]
G:558 [in mathcomp.solvable.pgroup]
G:559 [in mathcomp.solvable.abelian]
g:56 [in mathcomp.ssreflect.finfun]
g:56 [in mathcomp.field.galois]
G:56 [in mathcomp.solvable.pgroup]
G:56 [in mathcomp.solvable.center]
G:560 [in mathcomp.field.galois]
G:561 [in mathcomp.solvable.pgroup]
G:562 [in mathcomp.solvable.abelian]
G:563 [in mathcomp.solvable.abelian]
g:563 [in mathcomp.algebra.vector]
g:564 [in mathcomp.fingroup.action]
G:564 [in mathcomp.solvable.pgroup]
g:565 [in mathcomp.algebra.vector]
G:566 [in mathcomp.solvable.abelian]
G:567 [in mathcomp.solvable.pgroup]
G:569 [in mathcomp.solvable.pgroup]
g:569 [in mathcomp.algebra.vector]
G:57 [in mathcomp.solvable.abelian]
G:57 [in mathcomp.solvable.gseries]
G:570 [in mathcomp.solvable.abelian]
g:572 [in mathcomp.algebra.mxalgebra]
G:573 [in mathcomp.solvable.pgroup]
G:573 [in mathcomp.solvable.abelian]
G:576 [in mathcomp.solvable.pgroup]
G:576 [in mathcomp.solvable.abelian]
G:578 [in mathcomp.solvable.abelian]
G:579 [in mathcomp.solvable.pgroup]
G:579 [in mathcomp.solvable.abelian]
G:58 [in mathcomp.solvable.abelian]
G:58 [in mathcomp.solvable.hall]
g:580 [in mathcomp.algebra.mxalgebra]
G:581 [in mathcomp.solvable.abelian]
G:582 [in mathcomp.solvable.abelian]
G:583 [in mathcomp.solvable.abelian]
G:587 [in mathcomp.solvable.abelian]
G:59 [in mathcomp.solvable.abelian]
G:59 [in mathcomp.solvable.extraspecial]
G:59 [in mathcomp.solvable.maximal]
G:591 [in mathcomp.solvable.pgroup]
G:592 [in mathcomp.solvable.abelian]
g:593 [in mathcomp.algebra.mxalgebra]
G:594 [in mathcomp.solvable.pgroup]
G:596 [in mathcomp.solvable.pgroup]
G:596 [in mathcomp.solvable.abelian]
g:599 [in mathcomp.fingroup.fingroup]
G:599 [in mathcomp.solvable.abelian]
G:6 [in mathcomp.character.classfun]
G:6 [in mathcomp.solvable.sylow]
G:6 [in mathcomp.solvable.gfunctor]
G:60 [in mathcomp.solvable.pgroup]
G:60 [in mathcomp.solvable.nilpotent]
g:601 [in mathcomp.algebra.mxalgebra]
G:602 [in mathcomp.fingroup.action]
g:606 [in mathcomp.algebra.vector]
g:609 [in mathcomp.algebra.vector]
G:61 [in mathcomp.ssreflect.finfun]
G:61 [in mathcomp.solvable.abelian]
G:61 [in mathcomp.solvable.gseries]
G:611 [in mathcomp.solvable.abelian]
g:613 [in mathcomp.algebra.vector]
G:616 [in mathcomp.solvable.abelian]
g:617 [in mathcomp.algebra.vector]
G:619 [in mathcomp.solvable.abelian]
G:62 [in mathcomp.solvable.commutator]
G:62 [in mathcomp.solvable.pgroup]
G:62 [in mathcomp.fingroup.presentation]
g:622 [in mathcomp.algebra.vector]
G:623 [in mathcomp.solvable.abelian]
G:624 [in mathcomp.fingroup.gproduct]
g:624 [in mathcomp.algebra.vector]
G:625 [in mathcomp.solvable.abelian]
G:626 [in mathcomp.solvable.abelian]
G:63 [in mathcomp.solvable.gseries]
G:63 [in mathcomp.solvable.center]
g:631 [in mathcomp.algebra.vector]
g:634 [in mathcomp.algebra.vector]
G:64 [in mathcomp.solvable.commutator]
G:64 [in mathcomp.solvable.abelian]
G:64 [in mathcomp.solvable.hall]
G:64 [in mathcomp.solvable.nilpotent]
g:641 [in mathcomp.character.classfun]
G:641 [in mathcomp.algebra.ssrnum]
G:642 [in mathcomp.fingroup.gproduct]
g:642 [in mathcomp.algebra.ssralg]
g:645 [in mathcomp.algebra.ssralg]
G:648 [in mathcomp.algebra.ssrnum]
G:65 [in mathcomp.solvable.sylow]
G:65 [in mathcomp.solvable.pgroup]
G:65 [in mathcomp.solvable.extraspecial]
G:65 [in mathcomp.fingroup.presentation]
g:655 [in mathcomp.algebra.vector]
G:658 [in mathcomp.character.character]
G:66 [in mathcomp.solvable.commutator]
G:66 [in mathcomp.solvable.gseries]
G:66 [in mathcomp.solvable.cyclic]
G:660 [in mathcomp.fingroup.action]
g:667 [in mathcomp.ssreflect.finset]
G:669 [in mathcomp.fingroup.fingroup]
G:67 [in mathcomp.solvable.pgroup]
G:67 [in mathcomp.solvable.gfunctor]
G:67 [in mathcomp.solvable.extraspecial]
G:67 [in mathcomp.solvable.maximal]
g:670 [in mathcomp.ssreflect.finset]
G:671 [in mathcomp.fingroup.fingroup]
g:671 [in mathcomp.algebra.poly]
g:672 [in mathcomp.algebra.poly]
g:673 [in mathcomp.ssreflect.finset]
G:673 [in mathcomp.fingroup.fingroup]
G:675 [in mathcomp.fingroup.fingroup]
g:676 [in mathcomp.ssreflect.finset]
G:677 [in mathcomp.fingroup.fingroup]
g:677 [in mathcomp.algebra.poly]
G:679 [in mathcomp.fingroup.fingroup]
G:68 [in mathcomp.solvable.commutator]
G:68 [in mathcomp.solvable.sylow]
G:68 [in mathcomp.solvable.center]
G:68 [in mathcomp.solvable.nilpotent]
G:680 [in mathcomp.fingroup.action]
G:681 [in mathcomp.fingroup.fingroup]
g:681 [in mathcomp.algebra.vector]
G:682 [in mathcomp.fingroup.action]
G:683 [in mathcomp.character.classfun]
G:683 [in mathcomp.fingroup.fingroup]
G:687 [in mathcomp.fingroup.fingroup]
g:687 [in mathcomp.algebra.poly]
G:69 [in mathcomp.solvable.pgroup]
G:69 [in mathcomp.solvable.abelian]
G:69 [in mathcomp.solvable.gfunctor]
G:69 [in mathcomp.solvable.maximal]
G:690 [in mathcomp.fingroup.fingroup]
g:690 [in mathcomp.algebra.vector]
G:692 [in mathcomp.fingroup.fingroup]
g:693 [in mathcomp.algebra.poly]
G:694 [in mathcomp.fingroup.fingroup]
g:694 [in mathcomp.algebra.vector]
G:695 [in mathcomp.fingroup.action]
G:697 [in mathcomp.fingroup.action]
G:70 [in mathcomp.solvable.abelian]
G:70 [in mathcomp.solvable.cyclic]
G:70 [in mathcomp.solvable.hall]
G:701 [in mathcomp.fingroup.action]
G:701 [in mathcomp.fingroup.fingroup]
G:707 [in mathcomp.character.mxrepresentation]
G:708 [in mathcomp.fingroup.fingroup]
g:71 [in mathcomp.character.integral_char]
G:71 [in mathcomp.solvable.commutator]
G:71 [in mathcomp.solvable.gseries]
G:71 [in mathcomp.solvable.center]
G:711 [in mathcomp.fingroup.fingroup]
G:711 [in mathcomp.character.mxrepresentation]
G:713 [in mathcomp.character.mxrepresentation]
G:72 [in mathcomp.solvable.pgroup]
G:72 [in mathcomp.solvable.hall]
G:72 [in mathcomp.fingroup.presentation]
G:72 [in mathcomp.solvable.nilpotent]
G:726 [in mathcomp.fingroup.fingroup]
g:727 [in mathcomp.algebra.vector]
G:728 [in mathcomp.fingroup.fingroup]
G:729 [in mathcomp.ssreflect.finset]
g:729 [in mathcomp.algebra.vector]
G:73 [in mathcomp.solvable.frobenius]
G:73 [in mathcomp.solvable.abelian]
G:730 [in mathcomp.fingroup.fingroup]
G:730 [in mathcomp.character.character]
G:732 [in mathcomp.fingroup.fingroup]
G:733 [in mathcomp.character.character]
G:734 [in mathcomp.fingroup.fingroup]
G:736 [in mathcomp.fingroup.fingroup]
G:736 [in mathcomp.character.character]
G:737 [in mathcomp.ssreflect.finset]
G:739 [in mathcomp.fingroup.fingroup]
G:739 [in mathcomp.character.character]
G:74 [in mathcomp.solvable.commutator]
G:74 [in mathcomp.solvable.center]
G:74 [in mathcomp.solvable.maximal]
g:740 [in mathcomp.algebra.vector]
G:741 [in mathcomp.fingroup.fingroup]
G:742 [in mathcomp.character.character]
G:743 [in mathcomp.fingroup.fingroup]
G:745 [in mathcomp.fingroup.fingroup]
G:745 [in mathcomp.character.character]
G:747 [in mathcomp.fingroup.fingroup]
G:748 [in mathcomp.fingroup.action]
G:748 [in mathcomp.character.character]
G:75 [in mathcomp.solvable.sylow]
G:75 [in mathcomp.solvable.pgroup]
g:75 [in mathcomp.solvable.frobenius]
G:75 [in mathcomp.solvable.abelian]
G:750 [in mathcomp.fingroup.fingroup]
G:751 [in mathcomp.fingroup.action]
G:751 [in mathcomp.character.classfun]
G:751 [in mathcomp.character.character]
G:752 [in mathcomp.fingroup.action]
G:753 [in mathcomp.fingroup.action]
G:753 [in mathcomp.fingroup.fingroup]
G:754 [in mathcomp.fingroup.action]
G:754 [in mathcomp.character.character]
G:755 [in mathcomp.fingroup.action]
G:755 [in mathcomp.character.classfun]
G:756 [in mathcomp.fingroup.action]
G:756 [in mathcomp.fingroup.fingroup]
G:757 [in mathcomp.fingroup.action]
G:757 [in mathcomp.fingroup.fingroup]
G:757 [in mathcomp.character.character]
G:758 [in mathcomp.fingroup.action]
G:758 [in mathcomp.fingroup.fingroup]
g:76 [in mathcomp.character.integral_char]
G:76 [in mathcomp.solvable.commutator]
G:76 [in mathcomp.solvable.gseries]
G:76 [in mathcomp.solvable.hall]
G:76 [in mathcomp.solvable.gfunctor]
G:760 [in mathcomp.character.classfun]
G:760 [in mathcomp.character.character]
G:761 [in mathcomp.fingroup.fingroup]
G:762 [in mathcomp.character.classfun]
G:762 [in mathcomp.character.character]
G:763 [in mathcomp.fingroup.fingroup]
G:765 [in mathcomp.character.classfun]
G:765 [in mathcomp.character.character]
G:766 [in mathcomp.fingroup.fingroup]
G:767 [in mathcomp.fingroup.action]
g:768 [in mathcomp.ssreflect.finset]
G:768 [in mathcomp.character.character]
G:769 [in mathcomp.fingroup.action]
G:769 [in mathcomp.character.classfun]
G:769 [in mathcomp.fingroup.fingroup]
G:77 [in mathcomp.solvable.frobenius]
G:77 [in mathcomp.solvable.abelian]
G:77 [in mathcomp.solvable.maximal]
G:771 [in mathcomp.fingroup.fingroup]
G:771 [in mathcomp.character.character]
G:772 [in mathcomp.fingroup.action]
G:773 [in mathcomp.fingroup.fingroup]
G:774 [in mathcomp.character.character]
G:775 [in mathcomp.fingroup.action]
G:775 [in mathcomp.fingroup.fingroup]
G:776 [in mathcomp.fingroup.action]
G:776 [in mathcomp.fingroup.fingroup]
G:776 [in mathcomp.character.character]
G:778 [in mathcomp.fingroup.action]
G:778 [in mathcomp.fingroup.fingroup]
G:779 [in mathcomp.character.classfun]
G:779 [in mathcomp.character.character]
G:78 [in mathcomp.solvable.commutator]
G:78 [in mathcomp.solvable.maximal]
G:78 [in mathcomp.solvable.nilpotent]
G:780 [in mathcomp.fingroup.action]
G:782 [in mathcomp.fingroup.action]
G:782 [in mathcomp.fingroup.fingroup]
G:782 [in mathcomp.character.character]
G:783 [in mathcomp.fingroup.action]
G:784 [in mathcomp.fingroup.fingroup]
g:784 [in mathcomp.character.mxrepresentation]
G:784 [in mathcomp.character.character]
g:785 [in mathcomp.ssreflect.finset]
G:786 [in mathcomp.fingroup.fingroup]
G:787 [in mathcomp.fingroup.action]
G:787 [in mathcomp.character.character]
G:788 [in mathcomp.fingroup.action]
G:788 [in mathcomp.fingroup.fingroup]
g:789 [in mathcomp.algebra.matrix]
G:79 [in mathcomp.solvable.center]
G:79 [in mathcomp.solvable.gfunctor]
G:79 [in mathcomp.solvable.maximal]
G:790 [in mathcomp.fingroup.action]
G:790 [in mathcomp.fingroup.fingroup]
G:791 [in mathcomp.character.character]
G:792 [in mathcomp.fingroup.fingroup]
G:794 [in mathcomp.fingroup.fingroup]
G:794 [in mathcomp.character.character]
G:796 [in mathcomp.fingroup.fingroup]
G:798 [in mathcomp.fingroup.action]
G:798 [in mathcomp.fingroup.fingroup]
G:798 [in mathcomp.character.character]
g:8 [in mathcomp.ssreflect.finfun]
G:8 [in mathcomp.character.classfun]
G:80 [in mathcomp.fingroup.quotient]
g:80 [in mathcomp.solvable.frobenius]
G:80 [in mathcomp.solvable.abelian]
G:80 [in mathcomp.solvable.gseries]
G:80 [in mathcomp.solvable.maximal]
G:800 [in mathcomp.fingroup.fingroup]
G:802 [in mathcomp.fingroup.fingroup]
G:804 [in mathcomp.fingroup.fingroup]
G:804 [in mathcomp.character.character]
G:806 [in mathcomp.fingroup.fingroup]
G:808 [in mathcomp.fingroup.fingroup]
G:808 [in mathcomp.character.character]
G:81 [in mathcomp.solvable.jordanholder]
G:81 [in mathcomp.solvable.sylow]
G:81 [in mathcomp.solvable.gfunctor]
G:810 [in mathcomp.character.character]
G:812 [in mathcomp.character.character]
G:814 [in mathcomp.character.character]
G:816 [in mathcomp.character.character]
G:819 [in mathcomp.fingroup.fingroup]
G:819 [in mathcomp.character.character]
G:82 [in mathcomp.solvable.commutator]
G:82 [in mathcomp.solvable.frobenius]
G:82 [in mathcomp.solvable.center]
G:82 [in mathcomp.solvable.hall]
G:821 [in mathcomp.fingroup.fingroup]
G:822 [in mathcomp.fingroup.fingroup]
G:823 [in mathcomp.fingroup.fingroup]
G:823 [in mathcomp.character.character]
g:828 [in mathcomp.algebra.matrix]
G:83 [in mathcomp.fingroup.quotient]
G:83 [in mathcomp.solvable.pgroup]
G:83 [in mathcomp.solvable.abelian]
G:83 [in mathcomp.solvable.gseries]
G:83 [in mathcomp.solvable.maximal]
G:84 [in mathcomp.solvable.frobenius]
G:84 [in mathcomp.solvable.extremal]
G:85 [in mathcomp.solvable.hall]
G:85 [in mathcomp.solvable.gfunctor]
G:85 [in mathcomp.solvable.maximal]
G:855 [in mathcomp.fingroup.fingroup]
G:859 [in mathcomp.character.character]
G:86 [in mathcomp.fingroup.presentation]
G:86 [in mathcomp.solvable.maximal]
G:86 [in mathcomp.solvable.nilpotent]
g:860 [in mathcomp.algebra.matrix]
g:862 [in mathcomp.algebra.matrix]
G:866 [in mathcomp.character.character]
g:867 [in mathcomp.algebra.matrix]
G:867 [in mathcomp.fingroup.fingroup]
G:868 [in mathcomp.fingroup.fingroup]
G:87 [in mathcomp.solvable.frobenius]
G:87 [in mathcomp.solvable.gfunctor]
G:871 [in mathcomp.fingroup.fingroup]
G:874 [in mathcomp.fingroup.fingroup]
G:88 [in mathcomp.fingroup.quotient]
G:88 [in mathcomp.solvable.gseries]
G:88 [in mathcomp.solvable.maximal]
G:881 [in mathcomp.fingroup.fingroup]
G:882 [in mathcomp.fingroup.fingroup]
G:883 [in mathcomp.fingroup.fingroup]
G:885 [in mathcomp.fingroup.fingroup]
G:89 [in mathcomp.character.integral_char]
G:89 [in mathcomp.solvable.sylow]
G:89 [in mathcomp.solvable.pgroup]
G:89 [in mathcomp.solvable.gfunctor]
G:89 [in mathcomp.solvable.maximal]
G:890 [in mathcomp.fingroup.fingroup]
G:894 [in mathcomp.fingroup.fingroup]
G:896 [in mathcomp.fingroup.fingroup]
g:896 [in mathcomp.character.mxrepresentation]
G:896 [in mathcomp.character.character]
G:9 [in mathcomp.solvable.frobenius]
G:9 [in mathcomp.solvable.gfunctor]
G:9 [in mathcomp.solvable.maximal]
G:9 [in mathcomp.solvable.nilpotent]
G:90 [in mathcomp.fingroup.quotient]
G:90 [in mathcomp.solvable.commutator]
g:90 [in mathcomp.field.separable]
G:902 [in mathcomp.character.character]
G:907 [in mathcomp.character.character]
G:91 [in mathcomp.fingroup.quotient]
g:91 [in mathcomp.field.separable]
G:91 [in mathcomp.solvable.frobenius]
G:91 [in mathcomp.solvable.gfunctor]
G:91 [in mathcomp.fingroup.presentation]
G:913 [in mathcomp.character.character]
G:917 [in mathcomp.character.character]
g:919 [in mathcomp.character.character]
G:92 [in mathcomp.character.integral_char]
G:92 [in mathcomp.solvable.commutator]
G:92 [in mathcomp.solvable.gseries]
G:92 [in mathcomp.solvable.hall]
G:92 [in mathcomp.solvable.maximal]
G:924 [in mathcomp.fingroup.fingroup]
G:927 [in mathcomp.fingroup.fingroup]
G:93 [in mathcomp.fingroup.gproduct]
G:93 [in mathcomp.solvable.abelian]
G:93 [in mathcomp.solvable.gfunctor]
g:931 [in mathcomp.algebra.matrix]
G:938 [in mathcomp.fingroup.fingroup]
G:94 [in mathcomp.solvable.commutator]
G:94 [in mathcomp.solvable.frobenius]
G:94 [in mathcomp.solvable.nilpotent]
G:95 [in mathcomp.solvable.hall]
G:95 [in mathcomp.fingroup.presentation]
G:95 [in mathcomp.solvable.maximal]
g:950 [in mathcomp.algebra.ssralg]
g:955 [in mathcomp.algebra.ssralg]
G:96 [in mathcomp.character.integral_char]
G:96 [in mathcomp.solvable.commutator]
G:96 [in mathcomp.solvable.sylow]
G:96 [in mathcomp.solvable.gfunctor]
G:97 [in mathcomp.solvable.frobenius]
G:98 [in mathcomp.fingroup.automorphism]
G:98 [in mathcomp.solvable.pgroup]
G:98 [in mathcomp.solvable.hall]
G:982 [in mathcomp.fingroup.fingroup]
G:984 [in mathcomp.fingroup.fingroup]
G:987 [in mathcomp.fingroup.fingroup]
G:989 [in mathcomp.fingroup.fingroup]
G:99 [in mathcomp.fingroup.quotient]
G:99 [in mathcomp.ssreflect.finfun]
G:99 [in mathcomp.solvable.commutator]
G:99 [in mathcomp.solvable.extremal]
G:991 [in mathcomp.fingroup.fingroup]
G:993 [in mathcomp.fingroup.fingroup]

Global Index

_

(69505 entries)

Notation Index

H

J

T

W

X

Y

_

(1943 entries)

Binder Index

_

other

(39748 entries)

Module Index

H

J

K

L

T

W

X

Y

Z

_

other

(379 entries)

Variable Index

J

W

X

Y

_

other

(3958 entries)

Library Index

K

L

U

W

X

Y

_

other

(91 entries)

Lemma Index

Y

_

other

(13542 entries)

Constructor Index

J

K

W

Y

_

other

(480 entries)

Axiom Index

D

G

H

J

K

L

M

N

O

Q

T

U

V

W

X

Y

Z

_

other

(45 entries)

Inductive Index

J

K

Q

W

Y

Z

_

other

(134 entries)

Projection Index

H

J

K

L

W

X

Y

_

other

(452 entries)

Section Index

J

W

X

Y

_

other

(1344 entries)

Abbreviation Index

Y

_

other

(1014 entries)

Definition Index

Y

_

other

(6127 entries)

Record Index

B

H

J

K

L

W

X

Y

_

other

(248 entries)