mathcomp.ssreflect.tuple

Global Index

_

(79846 entries)

Notation Index

H

J

T

W

X

Y

_

(1818 entries)

Binder Index

_

other

(48657 entries)

Module Index

H

J

K

L

W

X

Y

Z

_

other

(383 entries)

Variable Index

J

W

X

Y

_

other

(4212 entries)

Library Index

K

L

U

W

X

Y

_

other

(93 entries)

Lemma Index

Y

_

other

(14712 entries)

Constructor Index

J

K

W

Y

_

other

(223 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

(132 entries)

Projection Index

D

H

J

K

L

W

X

Y

_

other

(452 entries)

Section Index

J

W

X

Y

_

other

(1429 entries)

Abbreviation Index

Y

_

other

(1169 entries)

Definition Index

Y

_

other

(6273 entries)

Record Index

D

H

J

K

L

W

X

Y

_

other

(248 entries)

G (binder)

galL:105 [in mathcomp.field.finfield]
gA:565 [in mathcomp.fingroup.fingroup]
gf:2120 [in mathcomp.algebra.matrix]
gf:2127 [in mathcomp.algebra.matrix]
GH:149 [in mathcomp.solvable.center]
GK:150 [in mathcomp.solvable.center]
gP:1302 [in mathcomp.fingroup.fingroup]
gP:1305 [in mathcomp.fingroup.fingroup]
gp:299 [in mathcomp.field.closed_field]
graded:471 [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:1008 [in mathcomp.character.character]
gT:101 [in mathcomp.solvable.extremal]
gT:101 [in mathcomp.solvable.gfunctor]
gT:102 [in mathcomp.solvable.maximal]
gT:1025 [in mathcomp.character.character]
gT:1029 [in mathcomp.character.character]
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:117 [in mathcomp.solvable.gfunctor]
gT:12 [in mathcomp.solvable.jordanholder]
gT:120 [in mathcomp.character.integral_char]
gT:122 [in mathcomp.solvable.gfunctor]
gT:123 [in mathcomp.character.integral_char]
gT:123 [in mathcomp.character.mxabelem]
gT:123 [in mathcomp.solvable.extremal]
gT:126 [in mathcomp.solvable.extremal]
gT:127 [in mathcomp.character.integral_char]
gT:128 [in mathcomp.solvable.gfunctor]
gT:130 [in mathcomp.solvable.extremal]
gT:131 [in mathcomp.solvable.gfunctor]
gT:141 [in mathcomp.character.integral_char]
gT:143 [in mathcomp.solvable.gfunctor]
gT:1434 [in mathcomp.character.mxrepresentation]
gT:144 [in mathcomp.solvable.gfunctor]
gT:145 [in mathcomp.solvable.gseries]
gT:148 [in mathcomp.solvable.gseries]
gT:149 [in mathcomp.solvable.sylow]
gT:15 [in mathcomp.solvable.gfunctor]
gT:151 [in mathcomp.solvable.gseries]
gT:152 [in mathcomp.solvable.sylow]
gT:153 [in mathcomp.solvable.finmodule]
gT:155 [in mathcomp.solvable.gseries]
gT:159 [in mathcomp.solvable.nilpotent]
gT:16 [in mathcomp.solvable.hall]
gT:161 [in mathcomp.solvable.nilpotent]
gT:1628 [in mathcomp.character.mxrepresentation]
gT:163 [in mathcomp.solvable.frobenius]
gT:163 [in mathcomp.solvable.nilpotent]
gT:1638 [in mathcomp.character.mxrepresentation]
gT:1646 [in mathcomp.character.mxrepresentation]
gT:174 [in mathcomp.character.classfun]
gT:175 [in mathcomp.character.integral_char]
gT:186 [in mathcomp.solvable.frobenius]
gT:188 [in mathcomp.character.integral_char]
gT:192 [in mathcomp.solvable.extremal]
gT:1936 [in mathcomp.algebra.ssrnum]
gT:196 [in mathcomp.character.integral_char]
gT:2 [in mathcomp.solvable.commutator]
gT:20 [in mathcomp.solvable.gfunctor]
gT:224 [in mathcomp.character.integral_char]
gT:228 [in mathcomp.fingroup.fingroup]
gT:229 [in mathcomp.fingroup.fingroup]
gT:23 [in mathcomp.solvable.hall]
gT:23 [in mathcomp.solvable.gfunctor]
gT:230 [in mathcomp.fingroup.fingroup]
gT:231 [in mathcomp.fingroup.fingroup]
gT:232 [in mathcomp.fingroup.quotient]
gT:232 [in mathcomp.fingroup.fingroup]
gT:233 [in mathcomp.fingroup.fingroup]
gT:239 [in mathcomp.character.character]
gT:24 [in mathcomp.fingroup.presentation]
gT:247 [in mathcomp.character.character]
gT:25 [in mathcomp.solvable.extremal]
gT:29 [in mathcomp.solvable.gfunctor]
gT:3 [in mathcomp.solvable.gfunctor]
gT:3 [in mathcomp.fingroup.presentation]
gT:308 [in mathcomp.character.vcharacter]
gT:31 [in mathcomp.solvable.gfunctor]
gT:33 [in mathcomp.fingroup.presentation]
gT:36 [in mathcomp.fingroup.presentation]
gT:365 [in mathcomp.solvable.extremal]
gT:38 [in mathcomp.fingroup.presentation]
gT:386 [in mathcomp.solvable.extremal]
gT:4 [in mathcomp.solvable.jordanholder]
gT:4 [in mathcomp.solvable.hall]
gT:40 [in mathcomp.solvable.extraspecial]
gT:402 [in mathcomp.solvable.extremal]
gT:413 [in mathcomp.solvable.extremal]
gT:42 [in mathcomp.fingroup.fingroup]
gT:421 [in mathcomp.solvable.extremal]
gT:424 [in mathcomp.solvable.extremal]
gT:427 [in mathcomp.solvable.extremal]
gT:439 [in mathcomp.fingroup.morphism]
gT:447 [in mathcomp.solvable.pgroup]
gT:453 [in mathcomp.fingroup.morphism]
gT:454 [in mathcomp.solvable.pgroup]
gT:458 [in mathcomp.solvable.pgroup]
gT:459 [in mathcomp.fingroup.morphism]
gT:461 [in mathcomp.solvable.pgroup]
gT:465 [in mathcomp.solvable.pgroup]
gT:472 [in mathcomp.solvable.pgroup]
gT:477 [in mathcomp.solvable.pgroup]
gT:481 [in mathcomp.solvable.pgroup]
gT:491 [in mathcomp.solvable.pgroup]
gT:494 [in mathcomp.solvable.pgroup]
gT:497 [in mathcomp.solvable.pgroup]
gT:5 [in mathcomp.solvable.gfunctor]
gT:501 [in mathcomp.solvable.pgroup]
gT:505 [in mathcomp.solvable.pgroup]
gT:509 [in mathcomp.solvable.pgroup]
gT:51 [in mathcomp.fingroup.presentation]
gT:513 [in mathcomp.solvable.pgroup]
gT:517 [in mathcomp.solvable.pgroup]
gT:52 [in mathcomp.solvable.extraspecial]
gT:521 [in mathcomp.solvable.pgroup]
gT:525 [in mathcomp.solvable.pgroup]
gT:529 [in mathcomp.solvable.pgroup]
gT:533 [in mathcomp.solvable.pgroup]
gT:537 [in mathcomp.solvable.pgroup]
gT:54 [in mathcomp.fingroup.presentation]
gT:541 [in mathcomp.solvable.pgroup]
gT:545 [in mathcomp.solvable.pgroup]
gT:549 [in mathcomp.solvable.pgroup]
gT:552 [in mathcomp.solvable.pgroup]
gT:557 [in mathcomp.solvable.pgroup]
gT:561 [in mathcomp.solvable.pgroup]
gT:565 [in mathcomp.solvable.pgroup]
gT:62 [in mathcomp.fingroup.presentation]
gT:642 [in mathcomp.solvable.abelian]
gT:646 [in mathcomp.solvable.abelian]
gT:65 [in mathcomp.fingroup.presentation]
gT:66 [in mathcomp.solvable.gfunctor]
gT:68 [in mathcomp.solvable.gfunctor]
gT:7 [in mathcomp.solvable.finmodule]
gT:7 [in mathcomp.solvable.jordanholder]
gT:7 [in mathcomp.solvable.gfunctor]
gT:71 [in mathcomp.fingroup.presentation]
gT:74 [in mathcomp.solvable.extraspecial]
gT:747 [in mathcomp.character.character]
gT:75 [in mathcomp.solvable.gfunctor]
gT:777 [in mathcomp.character.classfun]
gT:78 [in mathcomp.solvable.gfunctor]
gT:792 [in mathcomp.character.mxrepresentation]
gT:796 [in mathcomp.character.mxrepresentation]
gT:798 [in mathcomp.character.mxrepresentation]
gT:80 [in mathcomp.solvable.gfunctor]
gT:80 [in mathcomp.solvable.extraspecial]
gT:801 [in mathcomp.character.mxrepresentation]
gT:82 [in mathcomp.solvable.extraspecial]
gT:83 [in mathcomp.solvable.gfunctor]
gT:84 [in mathcomp.solvable.gfunctor]
gT:85 [in mathcomp.fingroup.presentation]
gT:86 [in mathcomp.solvable.gfunctor]
gT:874 [in mathcomp.fingroup.action]
gT:88 [in mathcomp.solvable.gfunctor]
gT:90 [in mathcomp.solvable.gfunctor]
gT:90 [in mathcomp.fingroup.presentation]
gT:92 [in mathcomp.solvable.gfunctor]
gT:95 [in mathcomp.solvable.extremal]
gT:95 [in mathcomp.solvable.gfunctor]
gT:95 [in mathcomp.fingroup.presentation]
gT:98 [in mathcomp.solvable.gfunctor]
gT:99 [in mathcomp.solvable.maximal]
Gx:196 [in mathcomp.fingroup.quotient]
Gx:199 [in mathcomp.fingroup.quotient]
Gx:997 [in mathcomp.character.mxrepresentation]
gz:140 [in mathcomp.solvable.center]
gz:146 [in mathcomp.solvable.center]
g':183 [in mathcomp.algebra.matrix]
g':189 [in mathcomp.algebra.matrix]
g':2147 [in mathcomp.algebra.matrix]
g':2150 [in mathcomp.algebra.matrix]
g':2153 [in mathcomp.algebra.matrix]
g':373 [in mathcomp.algebra.matrix]
g':387 [in mathcomp.algebra.matrix]
G0:508 [in mathcomp.character.inertia]
G0:509 [in mathcomp.character.inertia]
g1:110 [in mathcomp.ssreflect.finfun]
G1:119 [in mathcomp.fingroup.quotient]
g1:146 [in mathcomp.character.integral_char]
G1:152 [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:54 [in mathcomp.ssreflect.finfun]
g1:765 [in mathcomp.algebra.vector]
g2:111 [in mathcomp.ssreflect.finfun]
G2:120 [in mathcomp.fingroup.quotient]
g2:147 [in mathcomp.character.integral_char]
G2:19 [in mathcomp.solvable.jordanholder]
g2:55 [in mathcomp.ssreflect.finfun]
G2:6 [in mathcomp.solvable.jordanholder]
g2:766 [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:10 [in mathcomp.solvable.nilpotent]
G:100 [in mathcomp.solvable.commutator]
G:100 [in mathcomp.solvable.abelian]
G:100 [in mathcomp.solvable.gfunctor]
G:100 [in mathcomp.solvable.maximal]
G:1000 [in mathcomp.fingroup.fingroup]
G:1004 [in mathcomp.fingroup.fingroup]
G:1006 [in mathcomp.fingroup.fingroup]
G:1009 [in mathcomp.character.character]
G:101 [in mathcomp.fingroup.quotient]
G:101 [in mathcomp.solvable.sylow]
G:101 [in mathcomp.solvable.pgroup]
G:101 [in mathcomp.solvable.frobenius]
G:101 [in mathcomp.solvable.hall]
G:1015 [in mathcomp.character.character]
g:102 [in mathcomp.character.integral_char]
G:102 [in mathcomp.fingroup.automorphism]
G:102 [in mathcomp.solvable.extremal]
G:1020 [in mathcomp.character.character]
G:1026 [in mathcomp.character.character]
G:103 [in mathcomp.fingroup.quotient]
G:103 [in mathcomp.ssreflect.finfun]
G:103 [in mathcomp.solvable.commutator]
G:103 [in mathcomp.solvable.abelian]
G:103 [in mathcomp.solvable.gfunctor]
G:103 [in mathcomp.solvable.maximal]
G:1030 [in mathcomp.character.character]
g:1032 [in mathcomp.character.character]
g:1033 [in mathcomp.character.character]
g:1034 [in mathcomp.character.character]
G:104 [in mathcomp.solvable.pgroup]
G:104 [in mathcomp.solvable.hall]
G:1042 [in mathcomp.fingroup.fingroup]
G:1045 [in mathcomp.fingroup.fingroup]
g:1055 [in mathcomp.algebra.matrix]
G:1056 [in mathcomp.fingroup.fingroup]
G:106 [in mathcomp.solvable.commutator]
G:106 [in mathcomp.fingroup.automorphism]
G:106 [in mathcomp.solvable.nilpotent]
G:107 [in mathcomp.fingroup.automorphism]
G:107 [in mathcomp.solvable.cyclic]
G:108 [in mathcomp.solvable.sylow]
G:108 [in mathcomp.solvable.pgroup]
G:108 [in mathcomp.fingroup.gproduct]
G:108 [in mathcomp.solvable.gfunctor]
G:109 [in mathcomp.solvable.commutator]
G:109 [in mathcomp.solvable.jordanholder]
G:109 [in mathcomp.fingroup.automorphism]
G:109 [in mathcomp.solvable.cyclic]
G:109 [in mathcomp.solvable.hall]
G:11 [in mathcomp.solvable.frobenius]
G:11 [in mathcomp.solvable.nilpotent]
G:1100 [in mathcomp.fingroup.fingroup]
G:1102 [in mathcomp.fingroup.fingroup]
G:1105 [in mathcomp.fingroup.fingroup]
G:1107 [in mathcomp.fingroup.fingroup]
g:1107 [in mathcomp.algebra.ssralg]
G:1109 [in mathcomp.fingroup.fingroup]
G:111 [in mathcomp.fingroup.quotient]
G:111 [in mathcomp.solvable.jordanholder]
G:111 [in mathcomp.solvable.cyclic]
g:111 [in mathcomp.character.character]
G:1111 [in mathcomp.fingroup.fingroup]
g:1112 [in mathcomp.algebra.ssralg]
G:112 [in mathcomp.fingroup.automorphism]
G:112 [in mathcomp.solvable.frobenius]
G:1121 [in mathcomp.fingroup.fingroup]
G:1123 [in mathcomp.fingroup.fingroup]
G:1124 [in mathcomp.fingroup.fingroup]
G:1128 [in mathcomp.fingroup.fingroup]
G:113 [in mathcomp.solvable.pgroup]
G:113 [in mathcomp.solvable.abelian]
G:113 [in mathcomp.solvable.gfunctor]
G:1131 [in mathcomp.fingroup.fingroup]
G:114 [in mathcomp.solvable.sylow]
G:114 [in mathcomp.solvable.cyclic]
G:1140 [in mathcomp.fingroup.fingroup]
G:1143 [in mathcomp.fingroup.fingroup]
G:115 [in mathcomp.solvable.frobenius]
G:115 [in mathcomp.fingroup.gproduct]
G:116 [in mathcomp.fingroup.quotient]
G:116 [in mathcomp.fingroup.automorphism]
G:117 [in mathcomp.fingroup.quotient]
G:117 [in mathcomp.solvable.pgroup]
G:117 [in mathcomp.solvable.cyclic]
G:1175 [in mathcomp.fingroup.fingroup]
G:1178 [in mathcomp.fingroup.fingroup]
G:1179 [in mathcomp.fingroup.fingroup]
G:118 [in mathcomp.fingroup.quotient]
G:118 [in mathcomp.solvable.commutator]
g:118 [in mathcomp.field.galois]
G:118 [in mathcomp.solvable.sylow]
G:118 [in mathcomp.solvable.frobenius]
G:118 [in mathcomp.fingroup.gproduct]
G:118 [in mathcomp.solvable.maximal]
G:118 [in mathcomp.solvable.nilpotent]
G:1180 [in mathcomp.fingroup.fingroup]
G:1181 [in mathcomp.fingroup.fingroup]
G:1186 [in mathcomp.fingroup.fingroup]
G:1189 [in mathcomp.fingroup.fingroup]
G:119 [in mathcomp.fingroup.automorphism]
G:119 [in mathcomp.solvable.gfunctor]
G:1192 [in mathcomp.fingroup.fingroup]
G:1194 [in mathcomp.fingroup.fingroup]
G:1196 [in mathcomp.fingroup.fingroup]
G:1199 [in mathcomp.fingroup.fingroup]
g:1199 [in mathcomp.algebra.mxalgebra]
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.solvable.cyclic]
G:120 [in mathcomp.solvable.maximal]
g:1200 [in mathcomp.algebra.mxalgebra]
G:1201 [in mathcomp.fingroup.fingroup]
G:1204 [in mathcomp.fingroup.fingroup]
G:1207 [in mathcomp.fingroup.fingroup]
G:1209 [in mathcomp.fingroup.fingroup]
G:121 [in mathcomp.character.integral_char]
G:121 [in mathcomp.solvable.pgroup]
G:121 [in mathcomp.fingroup.gproduct]
G:1211 [in mathcomp.fingroup.fingroup]
G:1213 [in mathcomp.fingroup.fingroup]
G:1216 [in mathcomp.fingroup.fingroup]
G:1219 [in mathcomp.fingroup.fingroup]
G:122 [in mathcomp.fingroup.automorphism]
G:122 [in mathcomp.solvable.frobenius]
G:122 [in mathcomp.solvable.abelian]
G:1220 [in mathcomp.fingroup.fingroup]
G:1223 [in mathcomp.fingroup.fingroup]
G:124 [in mathcomp.character.integral_char]
G:124 [in mathcomp.fingroup.automorphism]
G:124 [in mathcomp.solvable.pgroup]
G:124 [in mathcomp.fingroup.gproduct]
G:124 [in mathcomp.solvable.abelian]
G:124 [in mathcomp.solvable.gfunctor]
G:1248 [in mathcomp.fingroup.fingroup]
G:125 [in mathcomp.solvable.commutator]
G:125 [in mathcomp.fingroup.automorphism]
G:125 [in mathcomp.solvable.frobenius]
G:125 [in mathcomp.fingroup.morphism]
G:125 [in mathcomp.solvable.cyclic]
G:125 [in mathcomp.solvable.nilpotent]
G:1250 [in mathcomp.fingroup.fingroup]
G:126 [in mathcomp.solvable.sylow]
G:126 [in mathcomp.solvable.frobenius]
G:127 [in mathcomp.solvable.sylow]
G:127 [in mathcomp.solvable.extremal]
G:127 [in mathcomp.solvable.abelian]
G:1277 [in mathcomp.algebra.ssralg]
G:128 [in mathcomp.character.integral_char]
G:128 [in mathcomp.fingroup.automorphism]
G:128 [in mathcomp.solvable.sylow]
G:128 [in mathcomp.solvable.pgroup]
G:128 [in mathcomp.solvable.frobenius]
G:128 [in mathcomp.fingroup.gproduct]
G:128 [in mathcomp.fingroup.morphism]
G:128 [in mathcomp.solvable.cyclic]
G:128 [in mathcomp.solvable.nilpotent]
G:1280 [in mathcomp.fingroup.fingroup]
G:1283 [in mathcomp.fingroup.fingroup]
G:129 [in mathcomp.solvable.gfunctor]
G:129 [in mathcomp.solvable.nilpotent]
G:1294 [in mathcomp.fingroup.fingroup]
G:1294 [in mathcomp.algebra.ssrnum]
G:13 [in mathcomp.solvable.frobenius]
G:13 [in mathcomp.solvable.gfunctor]
G:13 [in mathcomp.solvable.maximal]
G:13 [in mathcomp.solvable.nilpotent]
G:130 [in mathcomp.solvable.sylow]
G:130 [in mathcomp.solvable.frobenius]
G:130 [in mathcomp.solvable.cyclic]
g:1306 [in mathcomp.ssreflect.seq]
g:1308 [in mathcomp.ssreflect.seq]
G:1308 [in mathcomp.fingroup.fingroup]
G:1309 [in mathcomp.fingroup.fingroup]
G:131 [in mathcomp.fingroup.automorphism]
G:131 [in mathcomp.fingroup.gproduct]
G:131 [in mathcomp.solvable.extremal]
G:131 [in mathcomp.solvable.cyclic]
G:131 [in mathcomp.solvable.nilpotent]
g:1311 [in mathcomp.ssreflect.seq]
G:1311 [in mathcomp.fingroup.fingroup]
G:1312 [in mathcomp.fingroup.fingroup]
g:1314 [in mathcomp.ssreflect.seq]
g:1319 [in mathcomp.ssreflect.seq]
g:132 [in mathcomp.field.galois]
G:132 [in mathcomp.fingroup.morphism]
G:132 [in mathcomp.solvable.gfunctor]
G:132 [in mathcomp.solvable.nilpotent]
G:1326 [in mathcomp.fingroup.fingroup]
G:1327 [in mathcomp.fingroup.fingroup]
G:1328 [in mathcomp.fingroup.fingroup]
G:1329 [in mathcomp.fingroup.fingroup]
G:133 [in mathcomp.solvable.pgroup]
G:133 [in mathcomp.solvable.frobenius]
G:133 [in mathcomp.solvable.abelian]
G:133 [in mathcomp.solvable.cyclic]
G:133 [in mathcomp.solvable.nilpotent]
G:1330 [in mathcomp.fingroup.fingroup]
G:1331 [in mathcomp.fingroup.fingroup]
G:1332 [in mathcomp.fingroup.fingroup]
G:1333 [in mathcomp.fingroup.fingroup]
G:1334 [in mathcomp.fingroup.fingroup]
G:1335 [in mathcomp.fingroup.fingroup]
G:1336 [in mathcomp.fingroup.fingroup]
G:1337 [in mathcomp.fingroup.fingroup]
g:134 [in mathcomp.ssreflect.finfun]
G:134 [in mathcomp.solvable.commutator]
G:134 [in mathcomp.fingroup.automorphism]
G:134 [in mathcomp.fingroup.gproduct]
G:134 [in mathcomp.solvable.gseries]
G:134 [in mathcomp.solvable.maximal]
G:135 [in mathcomp.solvable.abelian]
G:135 [in mathcomp.fingroup.morphism]
G:135 [in mathcomp.solvable.hall]
G:135 [in mathcomp.solvable.maximal]
g:136 [in mathcomp.field.galois]
G:136 [in mathcomp.solvable.sylow]
G:136 [in mathcomp.solvable.frobenius]
G:136 [in mathcomp.solvable.gseries]
G:136 [in mathcomp.solvable.cyclic]
G:136 [in mathcomp.solvable.nilpotent]
G:137 [in mathcomp.fingroup.gproduct]
G:137 [in mathcomp.solvable.abelian]
G:137 [in mathcomp.solvable.nilpotent]
G:138 [in mathcomp.solvable.commutator]
G:139 [in mathcomp.solvable.sylow]
G:139 [in mathcomp.solvable.pgroup]
G:139 [in mathcomp.solvable.gseries]
G:139 [in mathcomp.fingroup.morphism]
G:139 [in mathcomp.solvable.cyclic]
G:139 [in mathcomp.solvable.hall]
G:14 [in mathcomp.solvable.center]
G:14 [in mathcomp.solvable.nilpotent]
G:140 [in mathcomp.solvable.commutator]
G:140 [in mathcomp.solvable.frobenius]
G:140 [in mathcomp.fingroup.gproduct]
G:140 [in mathcomp.solvable.abelian]
G:141 [in mathcomp.solvable.sylow]
G:141 [in mathcomp.solvable.pgroup]
G:141 [in mathcomp.solvable.cyclic]
G:141 [in mathcomp.solvable.nilpotent]
g:1416 [in mathcomp.ssreflect.seq]
G:142 [in mathcomp.character.integral_char]
G:142 [in mathcomp.solvable.commutator]
g:142 [in mathcomp.field.galois]
G:142 [in mathcomp.fingroup.automorphism]
G:142 [in mathcomp.solvable.abelian]
G:142 [in mathcomp.solvable.gseries]
g:143 [in mathcomp.field.galois]
G:143 [in mathcomp.solvable.cyclic]
G:1435 [in mathcomp.character.mxrepresentation]
G:144 [in mathcomp.solvable.commutator]
G:144 [in mathcomp.solvable.sylow]
G:144 [in mathcomp.solvable.pgroup]
G:144 [in mathcomp.solvable.frobenius]
G:144 [in mathcomp.fingroup.gproduct]
G:144 [in mathcomp.fingroup.morphism]
G:144 [in mathcomp.solvable.hall]
g:1445 [in mathcomp.algebra.matrix]
G:145 [in mathcomp.solvable.sylow]
g:1452 [in mathcomp.algebra.matrix]
G:146 [in mathcomp.solvable.commutator]
G:146 [in mathcomp.solvable.gseries]
G:146 [in mathcomp.solvable.nilpotent]
G:147 [in mathcomp.solvable.sylow]
G:147 [in mathcomp.solvable.pgroup]
G:147 [in mathcomp.solvable.frobenius]
G:147 [in mathcomp.fingroup.gproduct]
G:147 [in mathcomp.solvable.abelian]
g:1473 [in mathcomp.algebra.matrix]
g:148 [in mathcomp.character.integral_char]
G:148 [in mathcomp.fingroup.quotient]
G:148 [in mathcomp.solvable.commutator]
G:149 [in mathcomp.fingroup.automorphism]
G:149 [in mathcomp.solvable.gseries]
G:15 [in mathcomp.solvable.sylow]
g:15 [in mathcomp.algebra.rat]
G:15 [in mathcomp.solvable.maximal]
G:15 [in mathcomp.solvable.nilpotent]
G:150 [in mathcomp.fingroup.quotient]
G:150 [in mathcomp.solvable.commutator]
G:150 [in mathcomp.solvable.pgroup]
G:150 [in mathcomp.solvable.frobenius]
G:151 [in mathcomp.fingroup.gproduct]
G:151 [in mathcomp.solvable.abelian]
G:151 [in mathcomp.solvable.center]
g:1512 [in mathcomp.algebra.mxalgebra]
g:1514 [in mathcomp.algebra.mxalgebra]
g:1516 [in mathcomp.algebra.mxalgebra]
G:153 [in mathcomp.solvable.frobenius]
G:153 [in mathcomp.solvable.abelian]
G:153 [in mathcomp.solvable.gseries]
G:154 [in mathcomp.fingroup.gproduct]
G:154 [in mathcomp.solvable.abelian]
g:1548 [in mathcomp.character.mxrepresentation]
G:155 [in mathcomp.solvable.finmodule]
G:155 [in mathcomp.solvable.commutator]
G:155 [in mathcomp.solvable.cyclic]
G:155 [in mathcomp.solvable.nilpotent]
g:1551 [in mathcomp.character.mxrepresentation]
g:1555 [in mathcomp.character.mxrepresentation]
g:1559 [in mathcomp.character.mxrepresentation]
G:156 [in mathcomp.solvable.pgroup]
G:156 [in mathcomp.solvable.gseries]
G:156 [in mathcomp.fingroup.morphism]
G:157 [in mathcomp.solvable.commutator]
g:157 [in mathcomp.character.mxrepresentation]
G:158 [in mathcomp.fingroup.gproduct]
G:158 [in mathcomp.solvable.gseries]
G:160 [in mathcomp.solvable.commutator]
G:160 [in mathcomp.solvable.pgroup]
G:160 [in mathcomp.solvable.nilpotent]
G:161 [in mathcomp.fingroup.quotient]
G:161 [in mathcomp.solvable.sylow]
G:161 [in mathcomp.solvable.gseries]
G:161 [in mathcomp.fingroup.morphism]
g:1610 [in mathcomp.ssreflect.seq]
G:162 [in mathcomp.solvable.commutator]
G:162 [in mathcomp.solvable.nilpotent]
G:1629 [in mathcomp.character.mxrepresentation]
G:163 [in mathcomp.solvable.sylow]
G:164 [in mathcomp.solvable.sylow]
G:164 [in mathcomp.solvable.pgroup]
G:164 [in mathcomp.solvable.frobenius]
g:164 [in mathcomp.character.character]
G:164 [in mathcomp.solvable.nilpotent]
G:1644 [in mathcomp.character.mxrepresentation]
G:165 [in mathcomp.solvable.commutator]
G:165 [in mathcomp.solvable.gseries]
G:165 [in mathcomp.fingroup.morphism]
g:1659 [in mathcomp.ssreflect.seq]
G:166 [in mathcomp.fingroup.gproduct]
G:166 [in mathcomp.fingroup.morphism]
G:167 [in mathcomp.fingroup.morphism]
G:167 [in mathcomp.solvable.maximal]
G:168 [in mathcomp.solvable.pgroup]
G:168 [in mathcomp.solvable.maximal]
G:17 [in mathcomp.solvable.sylow]
G:17 [in mathcomp.solvable.frobenius]
G:17 [in mathcomp.solvable.hall]
G:17 [in mathcomp.solvable.gfunctor]
G:170 [in mathcomp.solvable.pgroup]
G:170 [in mathcomp.solvable.maximal]
g:1717 [in mathcomp.algebra.matrix]
g:172 [in mathcomp.character.mxabelem]
G:172 [in mathcomp.solvable.sylow]
G:172 [in mathcomp.fingroup.gproduct]
G:173 [in mathcomp.solvable.commutator]
G:173 [in mathcomp.solvable.maximal]
g:1731 [in mathcomp.algebra.matrix]
G:174 [in mathcomp.solvable.pgroup]
G:174 [in mathcomp.solvable.nilpotent]
G:175 [in mathcomp.fingroup.quotient]
G:176 [in mathcomp.character.integral_char]
G:176 [in mathcomp.fingroup.quotient]
g:176 [in mathcomp.solvable.finmodule]
g:176 [in mathcomp.character.mxabelem]
G:176 [in mathcomp.fingroup.gproduct]
G:1760 [in mathcomp.algebra.ssrnum]
G:1761 [in mathcomp.algebra.ssrnum]
G:1762 [in mathcomp.algebra.ssrnum]
G:1764 [in mathcomp.algebra.ssrnum]
g:177 [in mathcomp.character.mxabelem]
G:177 [in mathcomp.solvable.maximal]
G:177 [in mathcomp.solvable.nilpotent]
G:178 [in mathcomp.solvable.pgroup]
G:179 [in mathcomp.solvable.maximal]
G:179 [in mathcomp.solvable.nilpotent]
G:180 [in mathcomp.fingroup.gproduct]
G:181 [in mathcomp.solvable.pgroup]
G:181 [in mathcomp.solvable.nilpotent]
g:182 [in mathcomp.solvable.finmodule]
g:182 [in mathcomp.algebra.matrix]
G:183 [in mathcomp.fingroup.gproduct]
G:183 [in mathcomp.solvable.abelian]
G:183 [in mathcomp.solvable.nilpotent]
G:184 [in mathcomp.solvable.nilpotent]
G:185 [in mathcomp.solvable.pgroup]
G:186 [in mathcomp.fingroup.action]
G:186 [in mathcomp.solvable.nilpotent]
G:187 [in mathcomp.fingroup.action]
G:187 [in mathcomp.solvable.frobenius]
g:1873 [in mathcomp.algebra.mxalgebra]
g:1876 [in mathcomp.algebra.mxalgebra]
g:188 [in mathcomp.algebra.matrix]
G:189 [in mathcomp.fingroup.gproduct]
G:19 [in mathcomp.solvable.sylow]
G:19 [in mathcomp.solvable.gseries]
G:19 [in mathcomp.solvable.nilpotent]
G:190 [in mathcomp.character.integral_char]
G:190 [in mathcomp.solvable.pgroup]
g:191 [in mathcomp.algebra.matrix]
G:191 [in mathcomp.fingroup.action]
G:193 [in mathcomp.solvable.nilpotent]
G:1937 [in mathcomp.algebra.ssrnum]
g:194 [in mathcomp.algebra.matrix]
G:194 [in mathcomp.fingroup.action]
G:194 [in mathcomp.solvable.pgroup]
G:194 [in mathcomp.fingroup.gproduct]
G:195 [in mathcomp.fingroup.action]
G:195 [in mathcomp.solvable.extremal]
G:196 [in mathcomp.fingroup.action]
G:197 [in mathcomp.character.integral_char]
g:197 [in mathcomp.algebra.matrix]
g:197 [in mathcomp.character.classfun]
G:197 [in mathcomp.solvable.pgroup]
G:199 [in mathcomp.fingroup.action]
G:199 [in mathcomp.solvable.nilpotent]
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:20 [in mathcomp.character.classfun]
G:20 [in mathcomp.solvable.frobenius]
G:200 [in mathcomp.solvable.pgroup]
g:2005 [in mathcomp.algebra.ssralg]
g:201 [in mathcomp.algebra.matrix]
G:201 [in mathcomp.solvable.pgroup]
G:201 [in mathcomp.fingroup.morphism]
G:202 [in mathcomp.fingroup.quotient]
G:202 [in mathcomp.solvable.pgroup]
G:203 [in mathcomp.fingroup.morphism]
g:204 [in mathcomp.fingroup.quotient]
G:204 [in mathcomp.fingroup.gproduct]
g:205 [in mathcomp.fingroup.quotient]
g:205 [in mathcomp.algebra.matrix]
G:205 [in mathcomp.fingroup.action]
G:205 [in mathcomp.fingroup.gproduct]
G:205 [in mathcomp.solvable.maximal]
G:205 [in mathcomp.solvable.nilpotent]
G:206 [in mathcomp.solvable.maximal]
G:207 [in mathcomp.fingroup.gproduct]
G:207 [in mathcomp.solvable.maximal]
G:208 [in mathcomp.fingroup.action]
g:209 [in mathcomp.algebra.matrix]
G:209 [in mathcomp.solvable.abelian]
G:209 [in mathcomp.solvable.maximal]
G:21 [in mathcomp.solvable.center]
g:211 [in mathcomp.fingroup.quotient]
G:211 [in mathcomp.solvable.pgroup]
G:211 [in mathcomp.fingroup.gproduct]
g:2112 [in mathcomp.ssreflect.seq]
g:2119 [in mathcomp.algebra.matrix]
g:212 [in mathcomp.fingroup.quotient]
G:212 [in mathcomp.character.mxabelem]
G:212 [in mathcomp.solvable.cyclic]
G:212 [in mathcomp.solvable.maximal]
g:2125 [in mathcomp.ssreflect.seq]
g:2126 [in mathcomp.algebra.matrix]
g:213 [in mathcomp.algebra.matrix]
g:2132 [in mathcomp.algebra.matrix]
g:2134 [in mathcomp.algebra.matrix]
g:2136 [in mathcomp.algebra.matrix]
G:214 [in mathcomp.fingroup.gproduct]
G:214 [in mathcomp.solvable.maximal]
g:2140 [in mathcomp.ssreflect.seq]
g:2143 [in mathcomp.algebra.matrix]
g:2146 [in mathcomp.algebra.matrix]
G:2148 [in mathcomp.ssreflect.bigop]
g:2149 [in mathcomp.algebra.matrix]
g:2152 [in mathcomp.algebra.matrix]
G:216 [in mathcomp.solvable.maximal]
g:2164 [in mathcomp.algebra.matrix]
g:2167 [in mathcomp.algebra.matrix]
G:217 [in mathcomp.fingroup.gproduct]
G:217 [in mathcomp.solvable.nilpotent]
g:2170 [in mathcomp.algebra.matrix]
G:218 [in mathcomp.solvable.maximal]
G:22 [in mathcomp.solvable.gfunctor]
G:22 [in mathcomp.solvable.nilpotent]
G:220 [in mathcomp.fingroup.gproduct]
G:221 [in mathcomp.solvable.cyclic]
G:224 [in mathcomp.fingroup.action]
g:2247 [in mathcomp.ssreflect.seq]
G:225 [in mathcomp.character.integral_char]
G:225 [in mathcomp.solvable.nilpotent]
G:226 [in mathcomp.fingroup.action]
G:226 [in mathcomp.fingroup.gproduct]
G:227 [in mathcomp.solvable.nilpotent]
G:228 [in mathcomp.fingroup.action]
G:23 [in mathcomp.solvable.jordanholder]
G:23 [in mathcomp.solvable.pgroup]
G:23 [in mathcomp.solvable.center]
G:230 [in mathcomp.solvable.nilpotent]
G:231 [in mathcomp.fingroup.gproduct]
G:232 [in mathcomp.solvable.nilpotent]
G:233 [in mathcomp.fingroup.quotient]
G:234 [in mathcomp.fingroup.action]
G:234 [in mathcomp.solvable.nilpotent]
g:235 [in mathcomp.character.classfun]
G:236 [in mathcomp.solvable.nilpotent]
g:237 [in mathcomp.character.classfun]
g:238 [in mathcomp.character.classfun]
g:239 [in mathcomp.character.classfun]
G:24 [in mathcomp.solvable.center]
G:24 [in mathcomp.solvable.hall]
G:240 [in mathcomp.fingroup.quotient]
g:240 [in mathcomp.character.classfun]
G:240 [in mathcomp.solvable.abelian]
G:241 [in mathcomp.fingroup.quotient]
g:241 [in mathcomp.character.classfun]
G:242 [in mathcomp.fingroup.gproduct]
G:242 [in mathcomp.solvable.nilpotent]
G:243 [in mathcomp.fingroup.quotient]
G:243 [in mathcomp.character.inertia]
G:243 [in mathcomp.solvable.abelian]
G:244 [in mathcomp.fingroup.quotient]
G:244 [in mathcomp.solvable.abelian]
G:244 [in mathcomp.solvable.nilpotent]
G:245 [in mathcomp.solvable.nilpotent]
G:246 [in mathcomp.fingroup.quotient]
G:246 [in mathcomp.solvable.nilpotent]
G:247 [in mathcomp.solvable.nilpotent]
G:2471 [in mathcomp.algebra.ssrnum]
G:248 [in mathcomp.fingroup.quotient]
G:248 [in mathcomp.solvable.nilpotent]
G:249 [in mathcomp.fingroup.action]
G:249 [in mathcomp.solvable.abelian]
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:250 [in mathcomp.fingroup.quotient]
G:252 [in mathcomp.fingroup.quotient]
G:252 [in mathcomp.character.inertia]
G:252 [in mathcomp.solvable.abelian]
G:252 [in mathcomp.solvable.nilpotent]
g:253 [in mathcomp.fingroup.morphism]
G:254 [in mathcomp.fingroup.quotient]
G:254 [in mathcomp.solvable.nilpotent]
G:256 [in mathcomp.fingroup.gproduct]
G:256 [in mathcomp.solvable.abelian]
g:257 [in mathcomp.field.galois]
G:257 [in mathcomp.character.inertia]
G:257 [in mathcomp.fingroup.action]
G:257 [in mathcomp.solvable.nilpotent]
G:259 [in mathcomp.solvable.nilpotent]
G:26 [in mathcomp.solvable.pgroup]
G:26 [in mathcomp.solvable.nilpotent]
G:260 [in mathcomp.fingroup.action]
G:260 [in mathcomp.fingroup.gproduct]
G:261 [in mathcomp.fingroup.quotient]
G:261 [in mathcomp.character.inertia]
G:261 [in mathcomp.solvable.nilpotent]
g:262 [in mathcomp.field.galois]
G:262 [in mathcomp.fingroup.morphism]
G:262 [in mathcomp.solvable.nilpotent]
g:2621 [in mathcomp.algebra.ssralg]
G:263 [in mathcomp.fingroup.action]
g:263 [in mathcomp.field.closed_field]
G:263 [in mathcomp.fingroup.morphism]
G:263 [in mathcomp.solvable.nilpotent]
g:2648 [in mathcomp.algebra.ssralg]
G:265 [in mathcomp.character.inertia]
G:267 [in mathcomp.solvable.abelian]
G:267 [in mathcomp.solvable.nilpotent]
G:269 [in mathcomp.solvable.nilpotent]
G:27 [in mathcomp.solvable.extremal]
G:27 [in mathcomp.solvable.center]
G:271 [in mathcomp.fingroup.action]
G:271 [in mathcomp.solvable.nilpotent]
G:273 [in mathcomp.fingroup.action]
G:273 [in mathcomp.solvable.nilpotent]
G:275 [in mathcomp.fingroup.action]
G:275 [in mathcomp.solvable.nilpotent]
g:276 [in mathcomp.field.galois]
G:276 [in mathcomp.solvable.nilpotent]
g:277 [in mathcomp.algebra.mxpoly]
G:277 [in mathcomp.fingroup.gproduct]
G:277 [in mathcomp.solvable.abelian]
G:278 [in mathcomp.solvable.pgroup]
G:278 [in mathcomp.solvable.nilpotent]
g:279 [in mathcomp.fingroup.morphism]
G:279 [in mathcomp.solvable.nilpotent]
G:28 [in mathcomp.solvable.jordanholder]
G:28 [in mathcomp.fingroup.gproduct]
G:28 [in mathcomp.solvable.gseries]
G:280 [in mathcomp.solvable.nilpotent]
G:2805 [in mathcomp.ssreflect.bigop]
g:281 [in mathcomp.field.galois]
g:281 [in mathcomp.algebra.mxpoly]
G:281 [in mathcomp.solvable.abelian]
G:282 [in mathcomp.solvable.nilpotent]
g:283 [in mathcomp.fingroup.morphism]
g:284 [in mathcomp.algebra.mxpoly]
G:284 [in mathcomp.solvable.nilpotent]
g:286 [in mathcomp.algebra.mxpoly]
G:286 [in mathcomp.fingroup.action]
G:287 [in mathcomp.solvable.pgroup]
G:287 [in mathcomp.solvable.abelian]
g:288 [in mathcomp.algebra.mxpoly]
G:289 [in mathcomp.fingroup.gproduct]
g:290 [in mathcomp.field.closed_field]
g:292 [in mathcomp.algebra.mxpoly]
G:294 [in mathcomp.solvable.pgroup]
G:294 [in mathcomp.fingroup.morphism]
G:294 [in mathcomp.solvable.nilpotent]
g:295 [in mathcomp.algebra.mxpoly]
G:296 [in mathcomp.solvable.abelian]
G:296 [in mathcomp.fingroup.morphism]
G:296 [in mathcomp.solvable.nilpotent]
G:298 [in mathcomp.solvable.abelian]
G:298 [in mathcomp.solvable.nilpotent]
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.ssreflect.ssrfun]
G:300 [in mathcomp.solvable.nilpotent]
G:301 [in mathcomp.solvable.pgroup]
g:305 [in mathcomp.algebra.mxpoly]
g:306 [in mathcomp.field.galois]
G:307 [in mathcomp.solvable.pgroup]
G:308 [in mathcomp.solvable.abelian]
G:31 [in mathcomp.fingroup.gproduct]
G:311 [in mathcomp.solvable.pgroup]
G:312 [in mathcomp.fingroup.gproduct]
G:312 [in mathcomp.solvable.abelian]
G:313 [in mathcomp.fingroup.action]
G:315 [in mathcomp.fingroup.action]
G:316 [in mathcomp.solvable.abelian]
G:317 [in mathcomp.fingroup.action]
G:317 [in mathcomp.solvable.pgroup]
G:319 [in mathcomp.solvable.pgroup]
G:32 [in mathcomp.solvable.cyclic]
G:320 [in mathcomp.fingroup.action]
G:320 [in mathcomp.solvable.abelian]
g:321 [in mathcomp.algebra.mxpoly]
G:321 [in mathcomp.solvable.pgroup]
G:321 [in mathcomp.solvable.abelian]
g:322 [in mathcomp.character.vcharacter]
G:322 [in mathcomp.solvable.abelian]
G:326 [in mathcomp.fingroup.action]
G:326 [in mathcomp.fingroup.gproduct]
G:327 [in mathcomp.fingroup.gproduct]
G:328 [in mathcomp.fingroup.action]
G:328 [in mathcomp.solvable.abelian]
G:328 [in mathcomp.character.character]
G:329 [in mathcomp.fingroup.gproduct]
g:33 [in mathcomp.ssreflect.finfun]
G:33 [in mathcomp.solvable.frobenius]
g:33 [in mathcomp.ssreflect.ssrbool]
G:33 [in mathcomp.solvable.maximal]
G:33 [in mathcomp.solvable.nilpotent]
G:330 [in mathcomp.solvable.abelian]
G:333 [in mathcomp.solvable.pgroup]
G:333 [in mathcomp.solvable.abelian]
G:333 [in mathcomp.character.character]
G:334 [in mathcomp.character.character]
g:337 [in mathcomp.algebra.mxpoly]
G:337 [in mathcomp.fingroup.gproduct]
G:338 [in mathcomp.solvable.pgroup]
G:34 [in mathcomp.fingroup.quotient]
G:34 [in mathcomp.solvable.jordanholder]
G:34 [in mathcomp.solvable.cyclic]
G:34 [in mathcomp.solvable.maximal]
g:340 [in mathcomp.algebra.mxpoly]
G:340 [in mathcomp.fingroup.gproduct]
G:342 [in mathcomp.solvable.pgroup]
g:343 [in mathcomp.algebra.mxpoly]
G:343 [in mathcomp.fingroup.gproduct]
G:343 [in mathcomp.solvable.abelian]
g:343 [in mathcomp.ssreflect.eqtype]
g:344 [in mathcomp.field.falgebra]
g:345 [in mathcomp.ssreflect.eqtype]
G:346 [in mathcomp.fingroup.gproduct]
g:346 [in mathcomp.field.falgebra]
g:347 [in mathcomp.algebra.mxpoly]
G:347 [in mathcomp.fingroup.action]
G:349 [in mathcomp.solvable.pgroup]
G:349 [in mathcomp.fingroup.gproduct]
G:349 [in mathcomp.solvable.abelian]
g:35 [in mathcomp.character.integral_char]
G:35 [in mathcomp.solvable.gseries]
G:35 [in mathcomp.solvable.hall]
g:35 [in mathcomp.ssreflect.ssrfun]
G:350 [in mathcomp.fingroup.action]
G:350 [in mathcomp.fingroup.gproduct]
g:354 [in mathcomp.algebra.mxpoly]
G:354 [in mathcomp.fingroup.action]
G:354 [in mathcomp.solvable.pgroup]
G:354 [in mathcomp.solvable.abelian]
G:356 [in mathcomp.solvable.abelian]
g:357 [in mathcomp.algebra.mxpoly]
G:357 [in mathcomp.fingroup.action]
G:358 [in mathcomp.fingroup.gproduct]
G:36 [in mathcomp.solvable.jordanholder]
G:36 [in mathcomp.solvable.gseries]
G:36 [in mathcomp.solvable.maximal]
G:360 [in mathcomp.solvable.abelian]
G:361 [in mathcomp.fingroup.action]
G:362 [in mathcomp.solvable.pgroup]
G:363 [in mathcomp.solvable.pgroup]
G:363 [in mathcomp.fingroup.gproduct]
G:364 [in mathcomp.fingroup.action]
G:364 [in mathcomp.solvable.abelian]
g:364 [in mathcomp.field.falgebra]
G:365 [in mathcomp.solvable.pgroup]
g:366 [in mathcomp.algebra.mxpoly]
G:366 [in mathcomp.solvable.extremal]
g:366 [in mathcomp.field.falgebra]
G:367 [in mathcomp.solvable.pgroup]
G:368 [in mathcomp.fingroup.action]
G:368 [in mathcomp.fingroup.gproduct]
G:37 [in mathcomp.solvable.cyclic]
G:37 [in mathcomp.solvable.maximal]
G:370 [in mathcomp.solvable.pgroup]
g:372 [in mathcomp.algebra.matrix]
g:372 [in mathcomp.algebra.mxpoly]
G:373 [in mathcomp.solvable.pgroup]
g:375 [in mathcomp.algebra.mxpoly]
G:375 [in mathcomp.solvable.pgroup]
g:378 [in mathcomp.algebra.mxpoly]
G:378 [in mathcomp.solvable.pgroup]
G:379 [in mathcomp.fingroup.gproduct]
G:38 [in mathcomp.fingroup.gproduct]
G:38 [in mathcomp.solvable.center]
G:38 [in mathcomp.solvable.hall]
G:38 [in mathcomp.solvable.nilpotent]
g:380 [in mathcomp.character.inertia]
G:381 [in mathcomp.solvable.pgroup]
g:386 [in mathcomp.algebra.matrix]
G:388 [in mathcomp.solvable.extremal]
G:39 [in mathcomp.solvable.jordanholder]
G:39 [in mathcomp.solvable.gseries]
g:39 [in mathcomp.ssreflect.ssrbool]
g:39 [in mathcomp.field.falgebra]
G:390 [in mathcomp.fingroup.gproduct]
g:3939 [in mathcomp.ssreflect.order]
g:394 [in mathcomp.algebra.matrix]
G:394 [in mathcomp.solvable.abelian]
g:396 [in mathcomp.character.inertia]
G:396 [in mathcomp.fingroup.action]
g:397 [in mathcomp.character.inertia]
g:398 [in mathcomp.character.inertia]
g:399 [in mathcomp.character.inertia]
G:4 [in mathcomp.solvable.gfunctor]
g:40 [in mathcomp.character.mxrepresentation]
G:40 [in mathcomp.solvable.center]
G:40 [in mathcomp.solvable.cyclic]
G:40 [in mathcomp.solvable.maximal]
G:40 [in mathcomp.solvable.nilpotent]
g:400 [in mathcomp.character.inertia]
g:401 [in mathcomp.algebra.matrix]
G:401 [in mathcomp.fingroup.action]
G:401 [in mathcomp.solvable.abelian]
G:402 [in mathcomp.solvable.pgroup]
G:403 [in mathcomp.fingroup.action]
G:403 [in mathcomp.solvable.pgroup]
G:403 [in mathcomp.solvable.abelian]
G:404 [in mathcomp.solvable.pgroup]
G:404 [in mathcomp.solvable.extremal]
G:405 [in mathcomp.fingroup.action]
G:405 [in mathcomp.solvable.pgroup]
G:406 [in mathcomp.solvable.pgroup]
G:406 [in mathcomp.solvable.abelian]
G:407 [in mathcomp.solvable.pgroup]
G:408 [in mathcomp.solvable.abelian]
g:409 [in mathcomp.character.inertia]
G:41 [in mathcomp.fingroup.quotient]
G:41 [in mathcomp.solvable.jordanholder]
g:41 [in mathcomp.character.mxrepresentation]
G:41 [in mathcomp.fingroup.gproduct]
g:41 [in mathcomp.ssreflect.ssrfun]
G:41 [in mathcomp.solvable.extraspecial]
g:410 [in mathcomp.character.inertia]
g:411 [in mathcomp.character.inertia]
g:412 [in mathcomp.character.inertia]
G:412 [in mathcomp.fingroup.gproduct]
g:413 [in mathcomp.character.inertia]
G:414 [in mathcomp.solvable.abelian]
G:415 [in mathcomp.solvable.extremal]
G:416 [in mathcomp.fingroup.action]
G:416 [in mathcomp.fingroup.gproduct]
G:416 [in mathcomp.solvable.abelian]
G:417 [in mathcomp.solvable.pgroup]
g:419 [in mathcomp.character.inertia]
G:419 [in mathcomp.fingroup.action]
g:42 [in mathcomp.character.mxrepresentation]
G:42 [in mathcomp.solvable.gseries]
G:42 [in mathcomp.solvable.nilpotent]
g:42 [in mathcomp.field.falgebra]
g:420 [in mathcomp.character.inertia]
G:420 [in mathcomp.fingroup.gproduct]
G:420 [in mathcomp.solvable.abelian]
g:421 [in mathcomp.character.inertia]
G:421 [in mathcomp.solvable.abelian]
g:422 [in mathcomp.character.inertia]
g:423 [in mathcomp.character.inertia]
G:423 [in mathcomp.solvable.pgroup]
G:423 [in mathcomp.solvable.extremal]
G:424 [in mathcomp.solvable.pgroup]
G:424 [in mathcomp.fingroup.gproduct]
G:424 [in mathcomp.character.character]
G:425 [in mathcomp.fingroup.action]
G:425 [in mathcomp.solvable.pgroup]
G:425 [in mathcomp.solvable.abelian]
G:426 [in mathcomp.solvable.extremal]
G:426 [in mathcomp.solvable.abelian]
G:427 [in mathcomp.fingroup.action]
G:427 [in mathcomp.solvable.pgroup]
G:428 [in mathcomp.solvable.abelian]
G:429 [in mathcomp.solvable.pgroup]
G:429 [in mathcomp.fingroup.gproduct]
G:429 [in mathcomp.solvable.extremal]
g:43 [in mathcomp.ssreflect.finfun]
G:43 [in mathcomp.solvable.jordanholder]
G:43 [in mathcomp.solvable.center]
G:43 [in mathcomp.solvable.maximal]
G:430 [in mathcomp.fingroup.action]
G:430 [in mathcomp.solvable.pgroup]
g:431 [in mathcomp.algebra.matrix]
G:431 [in mathcomp.solvable.abelian]
G:432 [in mathcomp.fingroup.action]
G:432 [in mathcomp.solvable.pgroup]
G:432 [in mathcomp.fingroup.morphism]
G:433 [in mathcomp.solvable.pgroup]
G:433 [in mathcomp.solvable.abelian]
G:435 [in mathcomp.solvable.pgroup]
G:435 [in mathcomp.solvable.abelian]
G:437 [in mathcomp.solvable.pgroup]
g:438 [in mathcomp.algebra.matrix]
G:438 [in mathcomp.character.inertia]
G:439 [in mathcomp.fingroup.action]
G:44 [in mathcomp.fingroup.gproduct]
G:44 [in mathcomp.solvable.maximal]
G:44 [in mathcomp.solvable.nilpotent]
G:440 [in mathcomp.solvable.pgroup]
G:440 [in mathcomp.fingroup.gproduct]
G:440 [in mathcomp.solvable.abelian]
G:440 [in mathcomp.fingroup.morphism]
G:441 [in mathcomp.solvable.abelian]
G:442 [in mathcomp.fingroup.action]
G:442 [in mathcomp.solvable.pgroup]
G:443 [in mathcomp.solvable.pgroup]
G:443 [in mathcomp.fingroup.morphism]
G:444 [in mathcomp.solvable.abelian]
g:446 [in mathcomp.algebra.matrix]
G:447 [in mathcomp.fingroup.action]
G:447 [in mathcomp.solvable.abelian]
G:447 [in mathcomp.fingroup.morphism]
G:448 [in mathcomp.solvable.pgroup]
G:45 [in mathcomp.solvable.gseries]
G:45 [in mathcomp.solvable.center]
G:450 [in mathcomp.solvable.abelian]
G:451 [in mathcomp.fingroup.morphism]
G:452 [in mathcomp.solvable.abelian]
G:453 [in mathcomp.fingroup.gproduct]
G:455 [in mathcomp.solvable.pgroup]
G:455 [in mathcomp.solvable.abelian]
G:456 [in mathcomp.fingroup.morphism]
G:457 [in mathcomp.solvable.abelian]
g:458 [in mathcomp.algebra.matrix]
G:459 [in mathcomp.solvable.pgroup]
G:46 [in mathcomp.solvable.nilpotent]
G:462 [in mathcomp.solvable.pgroup]
G:462 [in mathcomp.solvable.abelian]
G:462 [in mathcomp.fingroup.morphism]
G:465 [in mathcomp.fingroup.gproduct]
G:465 [in mathcomp.solvable.abelian]
G:467 [in mathcomp.character.inertia]
G:468 [in mathcomp.solvable.pgroup]
G:47 [in mathcomp.fingroup.quotient]
G:47 [in mathcomp.solvable.center]
G:47 [in mathcomp.solvable.hall]
g:47 [in mathcomp.ssreflect.ssrfun]
G:47 [in mathcomp.solvable.maximal]
G:476 [in mathcomp.fingroup.gproduct]
G:478 [in mathcomp.character.inertia]
G:478 [in mathcomp.solvable.pgroup]
g:48 [in mathcomp.character.integral_char]
G:48 [in mathcomp.solvable.gseries]
G:48 [in mathcomp.solvable.nilpotent]
G:482 [in mathcomp.solvable.abelian]
g:484 [in mathcomp.algebra.ssralg]
G:485 [in mathcomp.character.inertia]
G:485 [in mathcomp.solvable.abelian]
G:487 [in mathcomp.solvable.abelian]
G:489 [in mathcomp.solvable.abelian]
G:49 [in mathcomp.solvable.center]
G:492 [in mathcomp.solvable.pgroup]
G:492 [in mathcomp.solvable.abelian]
G:494 [in mathcomp.solvable.abelian]
G:495 [in mathcomp.solvable.pgroup]
G:496 [in mathcomp.solvable.abelian]
G:498 [in mathcomp.character.inertia]
G:498 [in mathcomp.solvable.pgroup]
G:5 [in mathcomp.character.classfun]
G:5 [in mathcomp.solvable.maximal]
G:50 [in mathcomp.solvable.gseries]
G:50 [in mathcomp.solvable.center]
G:50 [in mathcomp.solvable.maximal]
G:50 [in mathcomp.solvable.nilpotent]
G:500 [in mathcomp.solvable.abelian]
G:502 [in mathcomp.solvable.pgroup]
G:504 [in mathcomp.fingroup.gproduct]
G:505 [in mathcomp.solvable.abelian]
G:506 [in mathcomp.solvable.pgroup]
G:507 [in mathcomp.solvable.abelian]
G:508 [in mathcomp.fingroup.action]
G:509 [in mathcomp.solvable.abelian]
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.pgroup]
G:511 [in mathcomp.character.inertia]
G:511 [in mathcomp.solvable.abelian]
G:512 [in mathcomp.solvable.abelian]
G:514 [in mathcomp.solvable.pgroup]
G:514 [in mathcomp.solvable.abelian]
G:515 [in mathcomp.fingroup.gproduct]
G:515 [in mathcomp.solvable.abelian]
G:517 [in mathcomp.solvable.abelian]
G:518 [in mathcomp.solvable.pgroup]
G:52 [in mathcomp.fingroup.quotient]
G:52 [in mathcomp.solvable.pgroup]
G:52 [in mathcomp.solvable.center]
G:52 [in mathcomp.solvable.hall]
G:52 [in mathcomp.solvable.maximal]
G:52 [in mathcomp.solvable.nilpotent]
G:521 [in mathcomp.solvable.abelian]
G:522 [in mathcomp.fingroup.action]
G:522 [in mathcomp.solvable.pgroup]
G:525 [in mathcomp.fingroup.action]
G:525 [in mathcomp.fingroup.gproduct]
G:526 [in mathcomp.solvable.pgroup]
G:526 [in mathcomp.solvable.abelian]
G:528 [in mathcomp.solvable.abelian]
g:53 [in mathcomp.ssreflect.ssrfun]
G:53 [in mathcomp.solvable.extraspecial]
G:530 [in mathcomp.solvable.pgroup]
G:530 [in mathcomp.solvable.abelian]
G:531 [in mathcomp.solvable.abelian]
G:533 [in mathcomp.solvable.abelian]
G:534 [in mathcomp.character.inertia]
G:534 [in mathcomp.solvable.pgroup]
G:535 [in mathcomp.solvable.abelian]
G:538 [in mathcomp.solvable.pgroup]
G:538 [in mathcomp.solvable.abelian]
G:54 [in mathcomp.solvable.pgroup]
G:54 [in mathcomp.solvable.gseries]
G:54 [in mathcomp.solvable.nilpotent]
G:540 [in mathcomp.character.inertia]
G:540 [in mathcomp.solvable.abelian]
G:542 [in mathcomp.solvable.pgroup]
G:542 [in mathcomp.solvable.abelian]
G:546 [in mathcomp.solvable.pgroup]
G:547 [in mathcomp.solvable.abelian]
G:55 [in mathcomp.solvable.maximal]
G:550 [in mathcomp.solvable.pgroup]
G:553 [in mathcomp.solvable.pgroup]
G:557 [in mathcomp.solvable.abelian]
G:558 [in mathcomp.solvable.pgroup]
G:56 [in mathcomp.solvable.pgroup]
G:56 [in mathcomp.solvable.maximal]
G:562 [in mathcomp.solvable.pgroup]
G:566 [in mathcomp.fingroup.fingroup]
G:566 [in mathcomp.solvable.pgroup]
G:566 [in mathcomp.solvable.abelian]
G:569 [in mathcomp.fingroup.fingroup]
g:57 [in mathcomp.ssreflect.finfun]
G:57 [in mathcomp.solvable.gseries]
G:57 [in mathcomp.solvable.center]
G:57 [in mathcomp.solvable.nilpotent]
G:570 [in mathcomp.solvable.pgroup]
G:573 [in mathcomp.fingroup.fingroup]
G:573 [in mathcomp.solvable.pgroup]
G:576 [in mathcomp.solvable.pgroup]
G:577 [in mathcomp.fingroup.fingroup]
G:578 [in mathcomp.fingroup.fingroup]
G:579 [in mathcomp.fingroup.fingroup]
G:579 [in mathcomp.solvable.pgroup]
g:58 [in mathcomp.field.galois]
G:58 [in mathcomp.solvable.hall]
g:580 [in mathcomp.algebra.mxalgebra]
G:581 [in mathcomp.solvable.pgroup]
G:582 [in mathcomp.solvable.abelian]
G:584 [in mathcomp.solvable.pgroup]
G:587 [in mathcomp.solvable.pgroup]
g:588 [in mathcomp.algebra.mxalgebra]
G:590 [in mathcomp.solvable.pgroup]
G:593 [in mathcomp.solvable.pgroup]
G:595 [in mathcomp.solvable.pgroup]
G:597 [in mathcomp.solvable.abelian]
G:6 [in mathcomp.character.classfun]
G:6 [in mathcomp.solvable.sylow]
G:6 [in mathcomp.solvable.gfunctor]
G:6 [in mathcomp.solvable.maximal]
G:60 [in mathcomp.solvable.pgroup]
G:60 [in mathcomp.solvable.center]
G:600 [in mathcomp.solvable.abelian]
G:601 [in mathcomp.solvable.pgroup]
G:601 [in mathcomp.solvable.abelian]
g:601 [in mathcomp.algebra.mxalgebra]
G:604 [in mathcomp.solvable.pgroup]
g:606 [in mathcomp.fingroup.action]
G:606 [in mathcomp.solvable.abelian]
G:607 [in mathcomp.solvable.pgroup]
g:609 [in mathcomp.algebra.mxalgebra]
G:61 [in mathcomp.solvable.gseries]
G:610 [in mathcomp.solvable.abelian]
G:613 [in mathcomp.solvable.abelian]
G:614 [in mathcomp.fingroup.gproduct]
G:615 [in mathcomp.solvable.abelian]
G:617 [in mathcomp.solvable.abelian]
G:618 [in mathcomp.solvable.abelian]
G:619 [in mathcomp.solvable.pgroup]
G:62 [in mathcomp.ssreflect.finfun]
G:62 [in mathcomp.solvable.commutator]
G:62 [in mathcomp.solvable.pgroup]
G:620 [in mathcomp.solvable.abelian]
G:621 [in mathcomp.solvable.abelian]
G:622 [in mathcomp.solvable.pgroup]
G:622 [in mathcomp.solvable.abelian]
G:624 [in mathcomp.solvable.pgroup]
G:625 [in mathcomp.character.classfun]
G:626 [in mathcomp.solvable.abelian]
g:628 [in mathcomp.algebra.mxpoly]
G:63 [in mathcomp.solvable.gseries]
G:63 [in mathcomp.fingroup.presentation]
g:630 [in mathcomp.algebra.mxpoly]
G:631 [in mathcomp.solvable.abelian]
G:635 [in mathcomp.solvable.abelian]
G:638 [in mathcomp.solvable.abelian]
G:64 [in mathcomp.solvable.commutator]
G:64 [in mathcomp.solvable.hall]
G:64 [in mathcomp.solvable.nilpotent]
G:644 [in mathcomp.fingroup.action]
G:65 [in mathcomp.solvable.pgroup]
G:65 [in mathcomp.solvable.maximal]
G:652 [in mathcomp.solvable.abelian]
G:659 [in mathcomp.field.galois]
G:659 [in mathcomp.solvable.abelian]
G:66 [in mathcomp.solvable.commutator]
G:66 [in mathcomp.solvable.gseries]
G:66 [in mathcomp.fingroup.presentation]
G:662 [in mathcomp.field.galois]
G:662 [in mathcomp.solvable.abelian]
G:664 [in mathcomp.field.galois]
G:666 [in mathcomp.solvable.abelian]
G:668 [in mathcomp.solvable.abelian]
G:669 [in mathcomp.solvable.abelian]
G:67 [in mathcomp.solvable.pgroup]
G:67 [in mathcomp.solvable.center]
G:67 [in mathcomp.solvable.gfunctor]
g:671 [in mathcomp.fingroup.fingroup]
G:68 [in mathcomp.solvable.commutator]
g:68 [in mathcomp.ssreflect.order]
G:68 [in mathcomp.solvable.cyclic]
G:68 [in mathcomp.solvable.nilpotent]
G:681 [in mathcomp.algebra.ssrnum]
g:681 [in mathcomp.algebra.vector]
G:69 [in mathcomp.solvable.pgroup]
G:69 [in mathcomp.solvable.gfunctor]
G:692 [in mathcomp.algebra.ssrnum]
G:7 [in mathcomp.solvable.maximal]
G:70 [in mathcomp.solvable.hall]
g:70 [in mathcomp.ssreflect.ssrfun]
G:702 [in mathcomp.fingroup.action]
g:705 [in mathcomp.algebra.vector]
g:707 [in mathcomp.algebra.vector]
G:71 [in mathcomp.solvable.commutator]
G:71 [in mathcomp.solvable.sylow]
g:71 [in mathcomp.ssreflect.order]
G:71 [in mathcomp.solvable.gseries]
g:711 [in mathcomp.algebra.vector]
g:714 [in mathcomp.ssreflect.finset]
G:716 [in mathcomp.fingroup.gproduct]
g:716 [in mathcomp.ssreflect.fintype]
g:717 [in mathcomp.ssreflect.finset]
g:718 [in mathcomp.ssreflect.fintype]
G:72 [in mathcomp.solvable.pgroup]
G:72 [in mathcomp.solvable.center]
G:72 [in mathcomp.solvable.cyclic]
G:72 [in mathcomp.solvable.hall]
G:72 [in mathcomp.solvable.nilpotent]
g:720 [in mathcomp.ssreflect.finset]
g:720 [in mathcomp.ssreflect.fintype]
G:722 [in mathcomp.fingroup.action]
g:723 [in mathcomp.ssreflect.finset]
G:724 [in mathcomp.fingroup.action]
g:724 [in mathcomp.character.classfun]
g:725 [in mathcomp.character.classfun]
g:726 [in mathcomp.character.classfun]
g:727 [in mathcomp.character.classfun]
g:727 [in mathcomp.ssreflect.fintype]
g:728 [in mathcomp.character.classfun]
g:728 [in mathcomp.ssreflect.fintype]
G:73 [in mathcomp.fingroup.presentation]
G:73 [in mathcomp.solvable.maximal]
g:730 [in mathcomp.ssreflect.fintype]
G:734 [in mathcomp.fingroup.gproduct]
G:737 [in mathcomp.fingroup.action]
G:739 [in mathcomp.fingroup.action]
G:74 [in mathcomp.solvable.commutator]
G:74 [in mathcomp.solvable.sylow]
g:74 [in mathcomp.ssreflect.ssrfun]
G:743 [in mathcomp.fingroup.action]
G:743 [in mathcomp.fingroup.fingroup]
G:745 [in mathcomp.fingroup.fingroup]
G:747 [in mathcomp.fingroup.fingroup]
G:748 [in mathcomp.character.character]
G:749 [in mathcomp.fingroup.fingroup]
G:75 [in mathcomp.solvable.pgroup]
G:75 [in mathcomp.solvable.extraspecial]
G:75 [in mathcomp.solvable.maximal]
G:751 [in mathcomp.fingroup.fingroup]
g:752 [in mathcomp.algebra.vector]
G:753 [in mathcomp.fingroup.fingroup]
G:755 [in mathcomp.fingroup.fingroup]
g:755 [in mathcomp.algebra.vector]
G:757 [in mathcomp.fingroup.fingroup]
g:758 [in mathcomp.algebra.poly]
g:759 [in mathcomp.algebra.vector]
g:759 [in mathcomp.algebra.poly]
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:76 [in mathcomp.solvable.nilpotent]
G:761 [in mathcomp.fingroup.fingroup]
g:763 [in mathcomp.algebra.vector]
G:764 [in mathcomp.fingroup.fingroup]
g:764 [in mathcomp.algebra.poly]
G:766 [in mathcomp.fingroup.fingroup]
G:768 [in mathcomp.fingroup.fingroup]
g:768 [in mathcomp.algebra.vector]
G:77 [in mathcomp.solvable.frobenius]
G:77 [in mathcomp.solvable.abelian]
g:770 [in mathcomp.algebra.vector]
g:774 [in mathcomp.algebra.poly]
G:777 [in mathcomp.fingroup.fingroup]
g:777 [in mathcomp.algebra.vector]
G:778 [in mathcomp.character.classfun]
g:778 [in mathcomp.algebra.ssralg]
G:78 [in mathcomp.solvable.commutator]
G:78 [in mathcomp.solvable.abelian]
g:780 [in mathcomp.algebra.vector]
g:780 [in mathcomp.algebra.poly]
g:781 [in mathcomp.algebra.ssralg]
G:784 [in mathcomp.fingroup.fingroup]
G:787 [in mathcomp.fingroup.fingroup]
g:79 [in mathcomp.solvable.frobenius]
G:79 [in mathcomp.solvable.abelian]
G:79 [in mathcomp.solvable.center]
G:79 [in mathcomp.solvable.gfunctor]
G:790 [in mathcomp.fingroup.action]
G:793 [in mathcomp.fingroup.action]
G:793 [in mathcomp.character.mxrepresentation]
G:794 [in mathcomp.fingroup.action]
g:794 [in mathcomp.algebra.ssralg]
G:795 [in mathcomp.fingroup.action]
G:796 [in mathcomp.fingroup.action]
G:797 [in mathcomp.fingroup.action]
G:797 [in mathcomp.character.mxrepresentation]
G:798 [in mathcomp.fingroup.action]
G:799 [in mathcomp.fingroup.action]
G:799 [in mathcomp.character.mxrepresentation]
g:8 [in mathcomp.ssreflect.finfun]
G:8 [in mathcomp.character.classfun]
G:80 [in mathcomp.solvable.gseries]
G:80 [in mathcomp.solvable.maximal]
G:800 [in mathcomp.fingroup.action]
g:801 [in mathcomp.algebra.vector]
g:806 [in mathcomp.algebra.matrix]
G:809 [in mathcomp.fingroup.action]
G:81 [in mathcomp.solvable.jordanholder]
G:81 [in mathcomp.solvable.sylow]
G:81 [in mathcomp.solvable.frobenius]
G:81 [in mathcomp.solvable.abelian]
G:81 [in mathcomp.solvable.gfunctor]
G:81 [in mathcomp.solvable.extraspecial]
G:811 [in mathcomp.fingroup.action]
G:814 [in mathcomp.fingroup.action]
G:817 [in mathcomp.fingroup.action]
G:818 [in mathcomp.fingroup.action]
G:82 [in mathcomp.fingroup.quotient]
G:82 [in mathcomp.solvable.commutator]
G:82 [in mathcomp.solvable.center]
G:82 [in mathcomp.solvable.hall]
G:82 [in mathcomp.solvable.nilpotent]
G:820 [in mathcomp.fingroup.action]
G:822 [in mathcomp.fingroup.action]
G:824 [in mathcomp.fingroup.action]
G:824 [in mathcomp.character.character]
G:825 [in mathcomp.fingroup.action]
G:826 [in mathcomp.ssreflect.bigop]
G:827 [in mathcomp.character.character]
G:829 [in mathcomp.fingroup.action]
G:83 [in mathcomp.solvable.pgroup]
G:83 [in mathcomp.solvable.gseries]
G:83 [in mathcomp.solvable.extraspecial]
G:83 [in mathcomp.solvable.maximal]
G:830 [in mathcomp.fingroup.action]
G:830 [in mathcomp.fingroup.fingroup]
G:830 [in mathcomp.character.character]
G:832 [in mathcomp.fingroup.action]
G:832 [in mathcomp.fingroup.fingroup]
G:833 [in mathcomp.character.character]
G:834 [in mathcomp.fingroup.fingroup]
g:835 [in mathcomp.algebra.vector]
G:836 [in mathcomp.fingroup.fingroup]
G:836 [in mathcomp.character.character]
G:838 [in mathcomp.fingroup.fingroup]
G:839 [in mathcomp.character.character]
g:84 [in mathcomp.solvable.frobenius]
G:84 [in mathcomp.solvable.abelian]
G:84 [in mathcomp.solvable.maximal]
G:840 [in mathcomp.fingroup.action]
G:840 [in mathcomp.fingroup.fingroup]
G:842 [in mathcomp.character.character]
G:843 [in mathcomp.fingroup.fingroup]
g:844 [in mathcomp.algebra.vector]
G:845 [in mathcomp.fingroup.fingroup]
G:845 [in mathcomp.character.character]
G:847 [in mathcomp.fingroup.fingroup]
g:848 [in mathcomp.algebra.matrix]
g:848 [in mathcomp.algebra.vector]
G:848 [in mathcomp.character.character]
G:849 [in mathcomp.fingroup.fingroup]
G:85 [in mathcomp.fingroup.quotient]
G:85 [in mathcomp.solvable.hall]
G:85 [in mathcomp.solvable.gfunctor]
G:85 [in mathcomp.solvable.maximal]
G:851 [in mathcomp.fingroup.fingroup]
G:851 [in mathcomp.character.character]
G:854 [in mathcomp.fingroup.fingroup]
G:854 [in mathcomp.character.character]
G:856 [in mathcomp.character.character]
G:857 [in mathcomp.fingroup.fingroup]
G:859 [in mathcomp.character.character]
G:86 [in mathcomp.solvable.frobenius]
G:86 [in mathcomp.solvable.maximal]
G:860 [in mathcomp.fingroup.fingroup]
G:861 [in mathcomp.fingroup.fingroup]
G:862 [in mathcomp.fingroup.fingroup]
G:862 [in mathcomp.character.character]
G:864 [in mathcomp.ssreflect.finset]
G:865 [in mathcomp.fingroup.fingroup]
G:865 [in mathcomp.character.character]
G:866 [in mathcomp.character.classfun]
G:867 [in mathcomp.fingroup.fingroup]
G:868 [in mathcomp.character.character]
G:87 [in mathcomp.solvable.center]
G:87 [in mathcomp.solvable.gfunctor]
G:87 [in mathcomp.fingroup.presentation]
G:870 [in mathcomp.character.classfun]
G:870 [in mathcomp.fingroup.fingroup]
g:870 [in mathcomp.character.mxrepresentation]
G:870 [in mathcomp.character.character]
G:873 [in mathcomp.fingroup.fingroup]
G:873 [in mathcomp.character.character]
G:875 [in mathcomp.character.classfun]
G:875 [in mathcomp.fingroup.fingroup]
G:876 [in mathcomp.character.character]
G:877 [in mathcomp.character.classfun]
G:877 [in mathcomp.fingroup.fingroup]
G:878 [in mathcomp.character.character]
G:879 [in mathcomp.fingroup.fingroup]
G:88 [in mathcomp.solvable.frobenius]
G:88 [in mathcomp.solvable.gseries]
G:880 [in mathcomp.ssreflect.finset]
g:880 [in mathcomp.algebra.matrix]
G:880 [in mathcomp.character.classfun]
G:880 [in mathcomp.fingroup.fingroup]
g:881 [in mathcomp.algebra.vector]
G:881 [in mathcomp.character.character]
g:882 [in mathcomp.algebra.matrix]
G:882 [in mathcomp.fingroup.fingroup]
g:883 [in mathcomp.algebra.vector]
G:884 [in mathcomp.character.classfun]
G:885 [in mathcomp.character.character]
g:887 [in mathcomp.algebra.matrix]
G:888 [in mathcomp.fingroup.fingroup]
G:888 [in mathcomp.character.character]
G:89 [in mathcomp.solvable.pgroup]
G:89 [in mathcomp.solvable.abelian]
G:89 [in mathcomp.solvable.gfunctor]
G:89 [in mathcomp.solvable.maximal]
G:890 [in mathcomp.fingroup.fingroup]
G:892 [in mathcomp.fingroup.fingroup]
G:894 [in mathcomp.fingroup.fingroup]
g:894 [in mathcomp.algebra.vector]
G:896 [in mathcomp.fingroup.fingroup]
G:896 [in mathcomp.character.character]
G:898 [in mathcomp.character.classfun]
G:898 [in mathcomp.fingroup.fingroup]
G:9 [in mathcomp.solvable.frobenius]
G:9 [in mathcomp.solvable.gfunctor]
G:9 [in mathcomp.solvable.nilpotent]
G:90 [in mathcomp.fingroup.quotient]
G:90 [in mathcomp.solvable.commutator]
G:90 [in mathcomp.solvable.abelian]
G:900 [in mathcomp.fingroup.fingroup]
G:902 [in mathcomp.fingroup.fingroup]
G:904 [in mathcomp.fingroup.fingroup]
G:906 [in mathcomp.fingroup.fingroup]
G:908 [in mathcomp.fingroup.fingroup]
G:91 [in mathcomp.solvable.sylow]
G:91 [in mathcomp.solvable.frobenius]
G:91 [in mathcomp.solvable.gfunctor]
G:91 [in mathcomp.solvable.maximal]
G:910 [in mathcomp.fingroup.fingroup]
G:910 [in mathcomp.character.character]
G:912 [in mathcomp.fingroup.fingroup]
G:914 [in mathcomp.fingroup.fingroup]
G:914 [in mathcomp.character.character]
G:916 [in mathcomp.ssreflect.finset]
G:916 [in mathcomp.character.character]
g:918 [in mathcomp.algebra.matrix]
G:918 [in mathcomp.character.character]
G:92 [in mathcomp.fingroup.quotient]
G:92 [in mathcomp.solvable.commutator]
g:92 [in mathcomp.field.separable]
G:92 [in mathcomp.solvable.gseries]
g:92 [in mathcomp.ssreflect.ssrbool]
G:92 [in mathcomp.solvable.hall]
G:92 [in mathcomp.fingroup.presentation]
G:92 [in mathcomp.solvable.maximal]
G:920 [in mathcomp.character.character]
G:924 [in mathcomp.character.character]
G:925 [in mathcomp.fingroup.fingroup]
G:926 [in mathcomp.character.character]
G:927 [in mathcomp.fingroup.fingroup]
G:928 [in mathcomp.fingroup.fingroup]
G:929 [in mathcomp.fingroup.fingroup]
G:93 [in mathcomp.fingroup.quotient]
g:93 [in mathcomp.field.separable]
G:93 [in mathcomp.fingroup.gproduct]
G:93 [in mathcomp.solvable.abelian]
G:93 [in mathcomp.solvable.gfunctor]
G:930 [in mathcomp.character.character]
G:94 [in mathcomp.solvable.commutator]
G:94 [in mathcomp.solvable.center]
G:94 [in mathcomp.solvable.maximal]
G:94 [in mathcomp.solvable.nilpotent]
G:95 [in mathcomp.solvable.frobenius]
G:95 [in mathcomp.solvable.abelian]
G:95 [in mathcomp.solvable.hall]
G:95 [in mathcomp.solvable.maximal]
g:959 [in mathcomp.algebra.matrix]
G:96 [in mathcomp.solvable.commutator]
G:96 [in mathcomp.solvable.gfunctor]
G:96 [in mathcomp.fingroup.presentation]
g:965 [in mathcomp.algebra.matrix]
G:965 [in mathcomp.fingroup.fingroup]
G:966 [in mathcomp.character.character]
g:97 [in mathcomp.character.integral_char]
G:97 [in mathcomp.solvable.abelian]
g:972 [in mathcomp.ssreflect.finset]
G:973 [in mathcomp.character.character]
G:977 [in mathcomp.fingroup.fingroup]
G:978 [in mathcomp.fingroup.fingroup]
G:98 [in mathcomp.solvable.pgroup]
G:98 [in mathcomp.solvable.frobenius]
G:98 [in mathcomp.solvable.hall]
G:981 [in mathcomp.fingroup.fingroup]
G:984 [in mathcomp.fingroup.fingroup]
g:989 [in mathcomp.ssreflect.finset]
G:99 [in mathcomp.solvable.commutator]
G:991 [in mathcomp.fingroup.fingroup]
G:992 [in mathcomp.fingroup.fingroup]
g:992 [in mathcomp.character.mxrepresentation]
G:993 [in mathcomp.fingroup.fingroup]
G:995 [in mathcomp.fingroup.fingroup]

Global Index

_

(79846 entries)

Notation Index

H

J

T

W

X

Y

_

(1818 entries)

Binder Index

_

other

(48657 entries)

Module Index

H

J

K

L

W

X

Y

Z

_

other

(383 entries)

Variable Index

J

W

X

Y

_

other

(4212 entries)

Library Index

K

L

U

W

X

Y

_

other

(93 entries)

Lemma Index

Y

_

other

(14712 entries)

Constructor Index

J

K

W

Y

_

other

(223 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

(132 entries)

Projection Index

D

H

J

K

L

W

X

Y

_

other

(452 entries)

Section Index

J

W

X

Y

_

other

(1429 entries)

Abbreviation Index

Y

_

other

(1169 entries)

Definition Index

Y

_

other

(6273 entries)

Record Index

D

H

J

K

L

W

X

Y

_

other

(248 entries)