mathcomp.ssreflect.tuple

Global Index

_

(76754 entries)

Notation Index

H

J

T

W

X

Y

_

(1892 entries)

Binder Index

_

other

(49588 entries)

Module Index

H

J

K

L

W

X

Y

_

other

(305 entries)

Variable Index

J

W

X

Y

_

other

(4034 entries)

Library Index

K

L

U

W

X

Y

_

other

(94 entries)

Lemma Index

Y

_

other

(14802 entries)

Constructor Index

J

K

W

Y

_

other

(222 entries)

Axiom Index

B

C

D

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

other

(9 entries)

Inductive Index

J

K

Q

W

Y

Z

_

other

(131 entries)

Projection Index

D

H

I

J

K

L

N

O

Q

U

W

X

Y

Z

_

other

(43 entries)

Section Index

J

W

X

Y

_

other

(1392 entries)

Abbreviation Index

Y

_

other

(1140 entries)

Definition Index

Y

_

other

(3066 entries)

Record Index

D

F

H

I

J

K

L

O

Q

U

W

X

Y

Z

_

other

(36 entries)

G (binder)

galL:112 [in mathcomp.field.finfield]
gA:554 [in mathcomp.fingroup.fingroup]
ger_total:2501 [in mathcomp.algebra.ssrnum]
ger_leVge:27 [in mathcomp.algebra.ssrnum]
ge0_norm:2595 [in mathcomp.algebra.ssrnum]
ge0_norm:2555 [in mathcomp.algebra.ssrnum]
gf:2275 [in mathcomp.algebra.matrix]
gf:2282 [in mathcomp.algebra.matrix]
GH:149 [in mathcomp.solvable.center]
GK:150 [in mathcomp.solvable.center]
gP:1297 [in mathcomp.fingroup.fingroup]
gP:1300 [in mathcomp.fingroup.fingroup]
gp:299 [in mathcomp.field.closed_field]
graded:471 [in mathcomp.ssreflect.path]
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:1014 [in mathcomp.character.character]
gT:102 [in mathcomp.solvable.extremal]
gT:102 [in mathcomp.solvable.maximal]
gT:1031 [in mathcomp.character.character]
gT:1035 [in mathcomp.character.character]
gT:106 [in mathcomp.solvable.gfunctor]
gT:107 [in mathcomp.solvable.hall]
gT:108 [in mathcomp.solvable.extremal]
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:122 [in mathcomp.character.integral_char]
gT:122 [in mathcomp.solvable.gfunctor]
gT:123 [in mathcomp.character.mxabelem]
gT:125 [in mathcomp.character.integral_char]
gT:128 [in mathcomp.solvable.gfunctor]
gT:129 [in mathcomp.character.integral_char]
gT:130 [in mathcomp.solvable.extremal]
gT:131 [in mathcomp.solvable.gfunctor]
gT:133 [in mathcomp.solvable.extremal]
gT:137 [in mathcomp.solvable.extremal]
gT:143 [in mathcomp.character.integral_char]
gT:143 [in mathcomp.solvable.gfunctor]
gT:1439 [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:163 [in mathcomp.solvable.frobenius]
gT:163 [in mathcomp.solvable.nilpotent]
gT:1634 [in mathcomp.character.mxrepresentation]
gT:1644 [in mathcomp.character.mxrepresentation]
gT:1652 [in mathcomp.character.mxrepresentation]
gT:174 [in mathcomp.character.classfun]
gT:177 [in mathcomp.character.integral_char]
gT:1829 [in mathcomp.algebra.ssrnum]
gT:186 [in mathcomp.solvable.frobenius]
gT:190 [in mathcomp.character.integral_char]
gT:198 [in mathcomp.character.integral_char]
gT:199 [in mathcomp.solvable.extremal]
gT:2 [in mathcomp.solvable.commutator]
gT:20 [in mathcomp.solvable.gfunctor]
gT:220 [in mathcomp.fingroup.fingroup]
gT:221 [in mathcomp.fingroup.fingroup]
gT:222 [in mathcomp.fingroup.fingroup]
gT:226 [in mathcomp.character.integral_char]
gT:23 [in mathcomp.solvable.hall]
gT:23 [in mathcomp.solvable.gfunctor]
gT:233 [in mathcomp.fingroup.quotient]
gT:24 [in mathcomp.fingroup.presentation]
gT:241 [in mathcomp.character.character]
gT:249 [in mathcomp.character.character]
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:32 [in mathcomp.solvable.extremal]
gT:33 [in mathcomp.fingroup.presentation]
gT:36 [in mathcomp.fingroup.presentation]
gT:372 [in mathcomp.solvable.extremal]
gT:38 [in mathcomp.fingroup.presentation]
gT:393 [in mathcomp.solvable.extremal]
gT:4 [in mathcomp.solvable.jordanholder]
gT:4 [in mathcomp.solvable.hall]
gT:40 [in mathcomp.solvable.extraspecial]
gT:409 [in mathcomp.solvable.extremal]
gT:420 [in mathcomp.solvable.extremal]
gT:428 [in mathcomp.solvable.extremal]
gT:431 [in mathcomp.solvable.extremal]
gT:434 [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:563 [in mathcomp.fingroup.fingroup]
gT:565 [in mathcomp.solvable.pgroup]
gT:568 [in mathcomp.fingroup.fingroup]
gT:576 [in mathcomp.fingroup.fingroup]
gT:579 [in mathcomp.fingroup.fingroup]
gT:582 [in mathcomp.fingroup.fingroup]
gT:584 [in mathcomp.fingroup.fingroup]
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:749 [in mathcomp.character.character]
gT:75 [in mathcomp.solvable.gfunctor]
gT:776 [in mathcomp.character.classfun]
gT:78 [in mathcomp.solvable.gfunctor]
gT:79 [in mathcomp.character.integral_char]
gT:796 [in mathcomp.character.mxrepresentation]
gT:80 [in mathcomp.solvable.gfunctor]
gT:80 [in mathcomp.solvable.extraspecial]
gT:800 [in mathcomp.character.mxrepresentation]
gT:802 [in mathcomp.character.mxrepresentation]
gT:805 [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.gfunctor]
gT:95 [in mathcomp.fingroup.presentation]
gT:98 [in mathcomp.solvable.gfunctor]
gT:986 [in mathcomp.character.character]
gT:99 [in mathcomp.solvable.maximal]
Gx:1002 [in mathcomp.character.mxrepresentation]
Gx:197 [in mathcomp.fingroup.quotient]
Gx:200 [in mathcomp.fingroup.quotient]
gz:140 [in mathcomp.solvable.center]
gz:146 [in mathcomp.solvable.center]
g':170 [in mathcomp.algebra.matrix]
g':176 [in mathcomp.algebra.matrix]
g':1955 [in mathcomp.algebra.matrix]
g':1958 [in mathcomp.algebra.matrix]
g':2291 [in mathcomp.algebra.matrix]
g':360 [in mathcomp.algebra.matrix]
g':374 [in mathcomp.algebra.matrix]
G0:506 [in mathcomp.character.inertia]
G0:507 [in mathcomp.character.inertia]
g1:103 [in mathcomp.ssreflect.finfun]
G1:120 [in mathcomp.fingroup.quotient]
g1:148 [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:51 [in mathcomp.ssreflect.finfun]
g1:743 [in mathcomp.algebra.vector]
g2:104 [in mathcomp.ssreflect.finfun]
G2:121 [in mathcomp.fingroup.quotient]
g2:149 [in mathcomp.character.integral_char]
G2:19 [in mathcomp.solvable.jordanholder]
g2:52 [in mathcomp.ssreflect.finfun]
G2:6 [in mathcomp.solvable.jordanholder]
g2:744 [in mathcomp.algebra.vector]
G:1 [in mathcomp.fingroup.fingroup]
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:1001 [in mathcomp.fingroup.fingroup]
G:101 [in mathcomp.solvable.sylow]
G:101 [in mathcomp.solvable.pgroup]
g:101 [in mathcomp.ssreflect.order]
G:101 [in mathcomp.solvable.frobenius]
G:101 [in mathcomp.solvable.hall]
G:1015 [in mathcomp.character.character]
G:102 [in mathcomp.fingroup.quotient]
G:102 [in mathcomp.fingroup.automorphism]
G:1021 [in mathcomp.character.character]
G:1026 [in mathcomp.character.character]
G:103 [in mathcomp.solvable.commutator]
G:103 [in mathcomp.solvable.abelian]
g:103 [in mathcomp.ssreflect.ssrbool]
G:103 [in mathcomp.solvable.gfunctor]
G:103 [in mathcomp.solvable.maximal]
G:1032 [in mathcomp.character.character]
G:1036 [in mathcomp.character.character]
G:1037 [in mathcomp.fingroup.fingroup]
g:1038 [in mathcomp.character.character]
g:1039 [in mathcomp.character.character]
g:104 [in mathcomp.character.integral_char]
G:104 [in mathcomp.fingroup.quotient]
G:104 [in mathcomp.solvable.pgroup]
G:104 [in mathcomp.solvable.hall]
G:1040 [in mathcomp.fingroup.fingroup]
g:1040 [in mathcomp.character.character]
g:1042 [in mathcomp.algebra.matrix]
G:1051 [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.algebra.matrix]
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.extremal]
G:109 [in mathcomp.solvable.cyclic]
G:109 [in mathcomp.solvable.hall]
G:1095 [in mathcomp.fingroup.fingroup]
G:1097 [in mathcomp.fingroup.fingroup]
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:1104 [in mathcomp.fingroup.fingroup]
G:1106 [in mathcomp.fingroup.fingroup]
G:111 [in mathcomp.solvable.jordanholder]
G:111 [in mathcomp.solvable.cyclic]
g:111 [in mathcomp.character.character]
G:1116 [in mathcomp.fingroup.fingroup]
G:1118 [in mathcomp.fingroup.fingroup]
G:1119 [in mathcomp.fingroup.fingroup]
G:112 [in mathcomp.fingroup.quotient]
G:112 [in mathcomp.fingroup.automorphism]
G:112 [in mathcomp.solvable.frobenius]
G:1123 [in mathcomp.fingroup.fingroup]
G:1126 [in mathcomp.fingroup.fingroup]
G:113 [in mathcomp.solvable.pgroup]
G:113 [in mathcomp.solvable.abelian]
G:113 [in mathcomp.solvable.gfunctor]
G:1135 [in mathcomp.fingroup.fingroup]
G:1138 [in mathcomp.fingroup.fingroup]
G:114 [in mathcomp.solvable.sylow]
G:114 [in mathcomp.solvable.cyclic]
g:115 [in mathcomp.field.galois]
G:115 [in mathcomp.solvable.frobenius]
G:115 [in mathcomp.fingroup.gproduct]
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:1170 [in mathcomp.fingroup.fingroup]
G:1173 [in mathcomp.fingroup.fingroup]
G:1174 [in mathcomp.fingroup.fingroup]
G:1175 [in mathcomp.fingroup.fingroup]
G:1176 [in mathcomp.fingroup.fingroup]
G:118 [in mathcomp.fingroup.quotient]
G:118 [in mathcomp.solvable.commutator]
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:1181 [in mathcomp.fingroup.fingroup]
G:1184 [in mathcomp.fingroup.fingroup]
G:1187 [in mathcomp.fingroup.fingroup]
G:1187 [in mathcomp.algebra.ssrnum]
G:1189 [in mathcomp.fingroup.fingroup]
G:119 [in mathcomp.fingroup.quotient]
G:119 [in mathcomp.fingroup.automorphism]
G:119 [in mathcomp.solvable.gfunctor]
G:1191 [in mathcomp.fingroup.fingroup]
G:1194 [in mathcomp.fingroup.fingroup]
G:1196 [in mathcomp.fingroup.fingroup]
G:1199 [in mathcomp.fingroup.fingroup]
G:12 [in mathcomp.solvable.commutator]
G:12 [in mathcomp.solvable.center]
G:120 [in mathcomp.solvable.jordanholder]
G:120 [in mathcomp.solvable.cyclic]
G:120 [in mathcomp.solvable.maximal]
G:1202 [in mathcomp.fingroup.fingroup]
G:1204 [in mathcomp.fingroup.fingroup]
G:1206 [in mathcomp.fingroup.fingroup]
G:1208 [in mathcomp.fingroup.fingroup]
G:121 [in mathcomp.solvable.pgroup]
G:121 [in mathcomp.fingroup.gproduct]
G:1211 [in mathcomp.fingroup.fingroup]
G:1214 [in mathcomp.fingroup.fingroup]
G:1215 [in mathcomp.fingroup.fingroup]
G:1218 [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.algebra.mxalgebra]
g:1221 [in mathcomp.algebra.mxalgebra]
G:123 [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:1243 [in mathcomp.fingroup.fingroup]
G:1245 [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:126 [in mathcomp.character.integral_char]
G:126 [in mathcomp.solvable.sylow]
G:126 [in mathcomp.solvable.frobenius]
g:127 [in mathcomp.ssreflect.finfun]
G:127 [in mathcomp.solvable.sylow]
G:127 [in mathcomp.solvable.abelian]
G:1275 [in mathcomp.fingroup.fingroup]
G:1278 [in mathcomp.fingroup.fingroup]
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:1289 [in mathcomp.fingroup.fingroup]
g:129 [in mathcomp.field.galois]
G:129 [in mathcomp.solvable.gfunctor]
G:129 [in mathcomp.solvable.nilpotent]
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.character.integral_char]
G:130 [in mathcomp.solvable.sylow]
G:130 [in mathcomp.solvable.frobenius]
G:130 [in mathcomp.solvable.cyclic]
G:1303 [in mathcomp.fingroup.fingroup]
G:1304 [in mathcomp.fingroup.fingroup]
g:1306 [in mathcomp.ssreflect.seq]
G:1306 [in mathcomp.fingroup.fingroup]
G:1307 [in mathcomp.fingroup.fingroup]
g:1308 [in mathcomp.ssreflect.seq]
G:131 [in mathcomp.fingroup.automorphism]
G:131 [in mathcomp.fingroup.gproduct]
G:131 [in mathcomp.solvable.cyclic]
G:131 [in mathcomp.solvable.nilpotent]
g:1311 [in mathcomp.ssreflect.seq]
g:1314 [in mathcomp.ssreflect.seq]
g:1319 [in mathcomp.ssreflect.seq]
G:132 [in mathcomp.fingroup.morphism]
G:132 [in mathcomp.solvable.gfunctor]
G:132 [in mathcomp.solvable.nilpotent]
G:1321 [in mathcomp.fingroup.fingroup]
G:1322 [in mathcomp.fingroup.fingroup]
G:1323 [in mathcomp.fingroup.fingroup]
G:1324 [in mathcomp.fingroup.fingroup]
G:1325 [in mathcomp.fingroup.fingroup]
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.field.galois]
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:134 [in mathcomp.solvable.commutator]
G:134 [in mathcomp.fingroup.automorphism]
G:134 [in mathcomp.fingroup.gproduct]
G:134 [in mathcomp.solvable.extremal]
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:1356 [in mathcomp.algebra.ssralg]
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:138 [in mathcomp.solvable.extremal]
g:139 [in mathcomp.field.galois]
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.fingroup.fingroup]
G:14 [in mathcomp.solvable.center]
G:14 [in mathcomp.solvable.nilpotent]
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.solvable.abelian]
g:1403 [in mathcomp.algebra.matrix]
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.solvable.commutator]
G:142 [in mathcomp.fingroup.automorphism]
G:142 [in mathcomp.solvable.abelian]
G:142 [in mathcomp.solvable.gseries]
G:143 [in mathcomp.solvable.cyclic]
G:144 [in mathcomp.character.integral_char]
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:1440 [in mathcomp.character.mxrepresentation]
G:145 [in mathcomp.solvable.sylow]
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:148 [in mathcomp.solvable.commutator]
G:149 [in mathcomp.fingroup.quotient]
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.character.integral_char]
G:150 [in mathcomp.solvable.commutator]
G:150 [in mathcomp.solvable.pgroup]
G:150 [in mathcomp.solvable.frobenius]
G:151 [in mathcomp.fingroup.quotient]
G:151 [in mathcomp.fingroup.gproduct]
G:151 [in mathcomp.solvable.abelian]
G:151 [in mathcomp.solvable.center]
G:153 [in mathcomp.solvable.frobenius]
G:153 [in mathcomp.solvable.abelian]
G:153 [in mathcomp.solvable.gseries]
g:1533 [in mathcomp.algebra.mxalgebra]
g:1535 [in mathcomp.algebra.mxalgebra]
g:1537 [in mathcomp.algebra.mxalgebra]
G:154 [in mathcomp.fingroup.gproduct]
G:154 [in mathcomp.solvable.abelian]
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:1554 [in mathcomp.character.mxrepresentation]
g:1557 [in mathcomp.character.mxrepresentation]
G:156 [in mathcomp.solvable.pgroup]
G:156 [in mathcomp.solvable.gseries]
G:156 [in mathcomp.fingroup.morphism]
g:1561 [in mathcomp.character.mxrepresentation]
g:1565 [in mathcomp.character.mxrepresentation]
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.solvable.sylow]
G:161 [in mathcomp.solvable.gseries]
G:161 [in mathcomp.fingroup.morphism]
g:1610 [in mathcomp.ssreflect.seq]
g:1611 [in mathcomp.algebra.matrix]
G:162 [in mathcomp.fingroup.quotient]
G:162 [in mathcomp.solvable.commutator]
G:162 [in mathcomp.solvable.nilpotent]
g:1625 [in mathcomp.algebra.matrix]
G:163 [in mathcomp.solvable.sylow]
G:1635 [in mathcomp.character.mxrepresentation]
G:164 [in mathcomp.solvable.sylow]
G:164 [in mathcomp.solvable.pgroup]
G:164 [in mathcomp.solvable.frobenius]
G:164 [in mathcomp.solvable.nilpotent]
G:165 [in mathcomp.solvable.commutator]
G:165 [in mathcomp.solvable.gseries]
G:165 [in mathcomp.fingroup.morphism]
G:1650 [in mathcomp.character.mxrepresentation]
G:1653 [in mathcomp.algebra.ssrnum]
G:1654 [in mathcomp.algebra.ssrnum]
G:1655 [in mathcomp.algebra.ssrnum]
G:1657 [in mathcomp.algebra.ssrnum]
g:1659 [in mathcomp.ssreflect.seq]
G:166 [in mathcomp.fingroup.gproduct]
G:166 [in mathcomp.fingroup.morphism]
g:166 [in mathcomp.character.character]
g:1666 [in mathcomp.algebra.ssralg]
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:169 [in mathcomp.algebra.matrix]
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: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:174 [in mathcomp.solvable.pgroup]
G:174 [in mathcomp.solvable.nilpotent]
g:175 [in mathcomp.algebra.matrix]
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:177 [in mathcomp.fingroup.quotient]
g:177 [in mathcomp.character.mxabelem]
G:177 [in mathcomp.solvable.maximal]
G:177 [in mathcomp.solvable.nilpotent]
G:178 [in mathcomp.character.integral_char]
g:178 [in mathcomp.algebra.matrix]
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.algebra.matrix]
G:181 [in mathcomp.solvable.pgroup]
G:181 [in mathcomp.solvable.nilpotent]
g:182 [in mathcomp.solvable.finmodule]
G:183 [in mathcomp.fingroup.gproduct]
G:183 [in mathcomp.solvable.abelian]
G:183 [in mathcomp.solvable.nilpotent]
G:1830 [in mathcomp.algebra.ssrnum]
g:184 [in mathcomp.algebra.matrix]
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:188 [in mathcomp.algebra.matrix]
G:189 [in mathcomp.fingroup.gproduct]
g:1894 [in mathcomp.algebra.mxalgebra]
g:1897 [in mathcomp.algebra.mxalgebra]
G:19 [in mathcomp.fingroup.fingroup]
G:19 [in mathcomp.solvable.sylow]
G:19 [in mathcomp.solvable.gseries]
G:19 [in mathcomp.solvable.nilpotent]
G:190 [in mathcomp.solvable.pgroup]
G:191 [in mathcomp.fingroup.action]
G:192 [in mathcomp.character.integral_char]
g:192 [in mathcomp.algebra.matrix]
G:193 [in mathcomp.solvable.nilpotent]
G:194 [in mathcomp.fingroup.action]
G:194 [in mathcomp.solvable.pgroup]
G:194 [in mathcomp.fingroup.gproduct]
g:1943 [in mathcomp.algebra.matrix]
g:1945 [in mathcomp.algebra.matrix]
g:1947 [in mathcomp.algebra.matrix]
G:195 [in mathcomp.fingroup.action]
g:1954 [in mathcomp.algebra.matrix]
g:1957 [in mathcomp.algebra.matrix]
g:196 [in mathcomp.algebra.matrix]
G:196 [in mathcomp.fingroup.action]
g:1969 [in mathcomp.algebra.matrix]
g:197 [in mathcomp.character.classfun]
G:197 [in mathcomp.solvable.pgroup]
g:1972 [in mathcomp.algebra.matrix]
g:1975 [in mathcomp.algebra.matrix]
G:199 [in mathcomp.character.integral_char]
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.algebra.matrix]
G:200 [in mathcomp.solvable.pgroup]
G:201 [in mathcomp.solvable.pgroup]
G:201 [in mathcomp.fingroup.morphism]
G:202 [in mathcomp.solvable.pgroup]
G:202 [in mathcomp.solvable.extremal]
G:203 [in mathcomp.fingroup.quotient]
G:203 [in mathcomp.fingroup.morphism]
g:2033 [in mathcomp.algebra.matrix]
G:204 [in mathcomp.fingroup.gproduct]
g:2040 [in mathcomp.algebra.matrix]
g:205 [in mathcomp.fingroup.quotient]
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.fingroup.quotient]
G:206 [in mathcomp.solvable.maximal]
g:2061 [in mathcomp.algebra.matrix]
G:207 [in mathcomp.fingroup.gproduct]
G:207 [in mathcomp.solvable.maximal]
G:208 [in mathcomp.fingroup.action]
G:209 [in mathcomp.solvable.abelian]
G:209 [in mathcomp.solvable.maximal]
G:21 [in mathcomp.solvable.center]
G:211 [in mathcomp.solvable.pgroup]
G:211 [in mathcomp.fingroup.gproduct]
g:2112 [in mathcomp.ssreflect.seq]
g:212 [in mathcomp.fingroup.quotient]
G:212 [in mathcomp.character.mxabelem]
G:212 [in mathcomp.solvable.maximal]
G:2123 [in mathcomp.ssreflect.bigop]
g:2125 [in mathcomp.ssreflect.seq]
g:213 [in mathcomp.fingroup.quotient]
G:213 [in mathcomp.solvable.cyclic]
G:214 [in mathcomp.fingroup.gproduct]
G:214 [in mathcomp.solvable.maximal]
g:2140 [in mathcomp.ssreflect.seq]
G:216 [in mathcomp.solvable.maximal]
G:217 [in mathcomp.fingroup.gproduct]
G:217 [in mathcomp.solvable.nilpotent]
G:218 [in mathcomp.solvable.maximal]
G:22 [in mathcomp.fingroup.fingroup]
G:22 [in mathcomp.solvable.gfunctor]
g:22 [in mathcomp.ssreflect.ssrfun]
G:22 [in mathcomp.solvable.nilpotent]
G:220 [in mathcomp.fingroup.gproduct]
G:224 [in mathcomp.fingroup.action]
g:2247 [in mathcomp.ssreflect.seq]
G:225 [in mathcomp.solvable.nilpotent]
G:226 [in mathcomp.fingroup.action]
G:226 [in mathcomp.fingroup.gproduct]
G:227 [in mathcomp.character.integral_char]
G:227 [in mathcomp.solvable.nilpotent]
g:2274 [in mathcomp.algebra.matrix]
G:228 [in mathcomp.fingroup.action]
g:2281 [in mathcomp.algebra.matrix]
g:2287 [in mathcomp.algebra.matrix]
g:2290 [in mathcomp.algebra.matrix]
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:234 [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:2360 [in mathcomp.algebra.ssrnum]
g:237 [in mathcomp.character.classfun]
g:238 [in mathcomp.character.classfun]
g:239 [in mathcomp.character.classfun]
G:24 [in mathcomp.fingroup.fingroup]
G:24 [in mathcomp.solvable.center]
G:24 [in mathcomp.solvable.hall]
g:240 [in mathcomp.character.classfun]
G:240 [in mathcomp.solvable.abelian]
G:241 [in mathcomp.fingroup.quotient]
G:241 [in mathcomp.character.inertia]
g:241 [in mathcomp.character.classfun]
G:242 [in mathcomp.fingroup.quotient]
G:242 [in mathcomp.fingroup.gproduct]
G:242 [in mathcomp.solvable.nilpotent]
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.fingroup.quotient]
G:245 [in mathcomp.solvable.nilpotent]
G:246 [in mathcomp.solvable.nilpotent]
G:247 [in mathcomp.fingroup.quotient]
G:247 [in mathcomp.solvable.nilpotent]
G:248 [in mathcomp.solvable.nilpotent]
G:249 [in mathcomp.fingroup.quotient]
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.character.inertia]
G:251 [in mathcomp.fingroup.quotient]
G:252 [in mathcomp.solvable.abelian]
G:252 [in mathcomp.solvable.nilpotent]
G:253 [in mathcomp.fingroup.quotient]
g:253 [in mathcomp.fingroup.morphism]
G:253 [in mathcomp.solvable.cyclic]
G:254 [in mathcomp.solvable.nilpotent]
G:255 [in mathcomp.fingroup.quotient]
G:255 [in mathcomp.character.inertia]
G:256 [in mathcomp.fingroup.gproduct]
G:256 [in mathcomp.solvable.abelian]
G:257 [in mathcomp.fingroup.action]
G:257 [in mathcomp.solvable.nilpotent]
G:259 [in mathcomp.character.inertia]
G:259 [in mathcomp.solvable.nilpotent]
G:2597 [in mathcomp.ssreflect.bigop]
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.solvable.nilpotent]
G:262 [in mathcomp.fingroup.quotient]
G:262 [in mathcomp.fingroup.morphism]
G:262 [in mathcomp.solvable.nilpotent]
g:263 [in mathcomp.field.galois]
G:263 [in mathcomp.character.inertia]
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:267 [in mathcomp.solvable.abelian]
G:267 [in mathcomp.solvable.nilpotent]
g:268 [in mathcomp.field.galois]
G:269 [in mathcomp.solvable.nilpotent]
G:27 [in mathcomp.solvable.center]
g:27 [in mathcomp.ssreflect.ssrfun]
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.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:28 [in mathcomp.field.falgebra]
G:280 [in mathcomp.solvable.nilpotent]
g:281 [in mathcomp.algebra.mxpoly]
G:281 [in mathcomp.solvable.abelian]
g:282 [in mathcomp.field.galois]
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.field.galois]
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:2913 [in mathcomp.algebra.ssralg]
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:2944 [in mathcomp.algebra.ssralg]
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:300 [in mathcomp.solvable.nilpotent]
G:301 [in mathcomp.solvable.pgroup]
g:305 [in mathcomp.algebra.mxpoly]
G:307 [in mathcomp.solvable.pgroup]
G:308 [in mathcomp.solvable.abelian]
G:31 [in mathcomp.fingroup.gproduct]
g:31 [in mathcomp.field.falgebra]
G:311 [in mathcomp.solvable.pgroup]
g:312 [in mathcomp.field.galois]
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.fingroup.fingroup]
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:329 [in mathcomp.fingroup.gproduct]
G:33 [in mathcomp.solvable.frobenius]
g:33 [in mathcomp.ssreflect.ssrfun]
G:33 [in mathcomp.solvable.maximal]
G:33 [in mathcomp.solvable.nilpotent]
G:330 [in mathcomp.solvable.abelian]
G:330 [in mathcomp.character.character]
g:332 [in mathcomp.field.falgebra]
G:333 [in mathcomp.solvable.pgroup]
G:333 [in mathcomp.solvable.abelian]
g:334 [in mathcomp.field.falgebra]
G:335 [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.ssreflect.finfun]
G:34 [in mathcomp.solvable.jordanholder]
G:34 [in mathcomp.solvable.extremal]
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:344 [in mathcomp.ssreflect.eqtype]
g:345 [in mathcomp.ssreflect.eqtype]
G:346 [in mathcomp.fingroup.gproduct]
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:350 [in mathcomp.fingroup.action]
G:350 [in mathcomp.fingroup.gproduct]
g:352 [in mathcomp.ssreflect.eqtype]
g:352 [in mathcomp.field.falgebra]
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:354 [in mathcomp.ssreflect.eqtype]
g:354 [in mathcomp.field.falgebra]
G:356 [in mathcomp.solvable.abelian]
g:357 [in mathcomp.algebra.mxpoly]
G:357 [in mathcomp.fingroup.action]
g:357 [in mathcomp.ssreflect.eqtype]
G:358 [in mathcomp.fingroup.gproduct]
g:359 [in mathcomp.algebra.matrix]
g:359 [in mathcomp.ssreflect.eqtype]
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:365 [in mathcomp.solvable.pgroup]
g:366 [in mathcomp.algebra.mxpoly]
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.mxpoly]
g:373 [in mathcomp.algebra.matrix]
G:373 [in mathcomp.solvable.pgroup]
G:373 [in mathcomp.solvable.extremal]
g:375 [in mathcomp.algebra.mxpoly]
G:375 [in mathcomp.solvable.pgroup]
g:378 [in mathcomp.algebra.mxpoly]
g:378 [in mathcomp.character.inertia]
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:381 [in mathcomp.algebra.matrix]
G:381 [in mathcomp.solvable.pgroup]
g:388 [in mathcomp.algebra.matrix]
G:39 [in mathcomp.solvable.jordanholder]
G:39 [in mathcomp.solvable.gseries]
g:39 [in mathcomp.ssreflect.ssrfun]
G:390 [in mathcomp.fingroup.gproduct]
g:394 [in mathcomp.character.inertia]
G:394 [in mathcomp.solvable.abelian]
g:395 [in mathcomp.character.inertia]
G:395 [in mathcomp.solvable.extremal]
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:4 [in mathcomp.solvable.gfunctor]
g:40 [in mathcomp.ssreflect.finfun]
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:40 [in mathcomp.field.falgebra]
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: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.character.inertia]
G:407 [in mathcomp.solvable.pgroup]
g:408 [in mathcomp.character.inertia]
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.solvable.extraspecial]
g:410 [in mathcomp.character.inertia]
g:411 [in mathcomp.character.inertia]
G:411 [in mathcomp.solvable.extremal]
G:412 [in mathcomp.fingroup.gproduct]
G:414 [in mathcomp.solvable.abelian]
G:416 [in mathcomp.fingroup.action]
G:416 [in mathcomp.fingroup.gproduct]
G:416 [in mathcomp.solvable.abelian]
g:417 [in mathcomp.character.inertia]
G:417 [in mathcomp.solvable.pgroup]
g:418 [in mathcomp.algebra.matrix]
g:418 [in mathcomp.character.inertia]
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: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.solvable.extremal]
G:423 [in mathcomp.solvable.pgroup]
G:424 [in mathcomp.solvable.pgroup]
G:424 [in mathcomp.fingroup.gproduct]
g:425 [in mathcomp.algebra.matrix]
G:425 [in mathcomp.fingroup.action]
G:425 [in mathcomp.solvable.pgroup]
G:425 [in mathcomp.solvable.abelian]
G:426 [in mathcomp.solvable.abelian]
G:426 [in mathcomp.character.character]
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: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:430 [in mathcomp.solvable.extremal]
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.algebra.matrix]
G:433 [in mathcomp.solvable.pgroup]
G:433 [in mathcomp.solvable.extremal]
G:433 [in mathcomp.solvable.abelian]
G:435 [in mathcomp.solvable.pgroup]
G:435 [in mathcomp.solvable.abelian]
G:436 [in mathcomp.character.inertia]
G:436 [in mathcomp.solvable.extremal]
g:436 [in mathcomp.algebra.ssralg]
G:437 [in mathcomp.solvable.pgroup]
G:439 [in mathcomp.fingroup.action]
G:44 [in mathcomp.fingroup.gproduct]
g:44 [in mathcomp.ssreflect.ssrbool]
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:445 [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:45 [in mathcomp.ssreflect.ssrfun]
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: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.character.inertia]
G:465 [in mathcomp.fingroup.gproduct]
G:465 [in mathcomp.solvable.abelian]
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.solvable.maximal]
G:476 [in mathcomp.character.inertia]
G:476 [in mathcomp.fingroup.gproduct]
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:483 [in mathcomp.character.inertia]
g:4845 [in mathcomp.ssreflect.order]
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.character.inertia]
G:496 [in mathcomp.solvable.abelian]
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.ssreflect.ssrbool]
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.character.inertia]
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:510 [in mathcomp.solvable.pgroup]
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.solvable.extraspecial]
G:530 [in mathcomp.solvable.pgroup]
G:530 [in mathcomp.solvable.abelian]
G:531 [in mathcomp.solvable.abelian]
G:532 [in mathcomp.character.inertia]
G:533 [in mathcomp.solvable.abelian]
G:534 [in mathcomp.solvable.pgroup]
G:535 [in mathcomp.solvable.abelian]
G:538 [in mathcomp.character.inertia]
G:538 [in mathcomp.solvable.pgroup]
G:538 [in mathcomp.solvable.abelian]
g:54 [in mathcomp.ssreflect.finfun]
G:54 [in mathcomp.solvable.pgroup]
G:54 [in mathcomp.solvable.gseries]
G:54 [in mathcomp.solvable.nilpotent]
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:555 [in mathcomp.fingroup.fingroup]
G:557 [in mathcomp.solvable.abelian]
G:558 [in mathcomp.fingroup.fingroup]
G:558 [in mathcomp.solvable.pgroup]
G:56 [in mathcomp.solvable.pgroup]
G:56 [in mathcomp.solvable.maximal]
G:562 [in mathcomp.fingroup.fingroup]
G:562 [in mathcomp.solvable.pgroup]
G:565 [in mathcomp.fingroup.fingroup]
G:566 [in mathcomp.fingroup.fingroup]
G:566 [in mathcomp.solvable.pgroup]
G:566 [in mathcomp.solvable.abelian]
G:567 [in mathcomp.fingroup.fingroup]
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.solvable.pgroup]
G:574 [in mathcomp.algebra.ssrnum]
G:576 [in mathcomp.solvable.pgroup]
G:579 [in mathcomp.solvable.pgroup]
g:58 [in mathcomp.field.galois]
G:58 [in mathcomp.solvable.hall]
G:581 [in mathcomp.solvable.pgroup]
G:582 [in mathcomp.solvable.abelian]
G:584 [in mathcomp.solvable.pgroup]
G:585 [in mathcomp.algebra.ssrnum]
G:587 [in mathcomp.solvable.pgroup]
G:59 [in mathcomp.ssreflect.finfun]
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:603 [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:61 [in mathcomp.solvable.gseries]
G:610 [in mathcomp.solvable.abelian]
g:611 [in mathcomp.algebra.mxalgebra]
G:613 [in mathcomp.solvable.abelian]
G:615 [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.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.character.classfun]
G:624 [in mathcomp.solvable.pgroup]
g:624 [in mathcomp.algebra.mxalgebra]
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:632 [in mathcomp.algebra.mxalgebra]
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.solvable.abelian]
G:66 [in mathcomp.solvable.commutator]
G:66 [in mathcomp.solvable.gseries]
G:66 [in mathcomp.fingroup.presentation]
g:660 [in mathcomp.algebra.vector]
G:662 [in mathcomp.solvable.abelian]
G:665 [in mathcomp.field.galois]
g:665 [in mathcomp.fingroup.fingroup]
G:666 [in mathcomp.solvable.abelian]
G:668 [in mathcomp.field.galois]
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:670 [in mathcomp.field.galois]
G:68 [in mathcomp.solvable.commutator]
G:68 [in mathcomp.solvable.cyclic]
G:68 [in mathcomp.solvable.nilpotent]
g:683 [in mathcomp.algebra.vector]
g:685 [in mathcomp.algebra.vector]
g:689 [in mathcomp.algebra.vector]
G:69 [in mathcomp.solvable.pgroup]
G:69 [in mathcomp.solvable.gfunctor]
g:694 [in mathcomp.ssreflect.fintype]
g:696 [in mathcomp.ssreflect.fintype]
g:698 [in mathcomp.ssreflect.finset]
g:698 [in mathcomp.ssreflect.fintype]
G:7 [in mathcomp.solvable.maximal]
G:70 [in mathcomp.solvable.hall]
g:701 [in mathcomp.ssreflect.finset]
G:702 [in mathcomp.fingroup.action]
g:704 [in mathcomp.ssreflect.finset]
g:705 [in mathcomp.ssreflect.fintype]
g:706 [in mathcomp.ssreflect.fintype]
g:707 [in mathcomp.ssreflect.finset]
g:708 [in mathcomp.ssreflect.fintype]
G:71 [in mathcomp.solvable.commutator]
G:71 [in mathcomp.solvable.sylow]
G:71 [in mathcomp.solvable.gseries]
g:713 [in mathcomp.ssreflect.fintype]
g:715 [in mathcomp.ssreflect.fintype]
G:717 [in mathcomp.fingroup.gproduct]
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:722 [in mathcomp.fingroup.action]
g:723 [in mathcomp.character.classfun]
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:73 [in mathcomp.fingroup.presentation]
G:73 [in mathcomp.solvable.maximal]
g:730 [in mathcomp.algebra.vector]
g:733 [in mathcomp.algebra.vector]
g:734 [in mathcomp.algebra.poly]
G:735 [in mathcomp.fingroup.gproduct]
g:735 [in mathcomp.algebra.poly]
G:737 [in mathcomp.fingroup.action]
G:737 [in mathcomp.fingroup.fingroup]
g:737 [in mathcomp.algebra.vector]
G:739 [in mathcomp.fingroup.action]
G:739 [in mathcomp.fingroup.fingroup]
G:74 [in mathcomp.solvable.commutator]
G:74 [in mathcomp.solvable.sylow]
g:740 [in mathcomp.algebra.poly]
G:741 [in mathcomp.fingroup.fingroup]
g:741 [in mathcomp.algebra.vector]
G:743 [in mathcomp.fingroup.action]
G:743 [in mathcomp.fingroup.fingroup]
G:745 [in mathcomp.fingroup.fingroup]
g:746 [in mathcomp.algebra.vector]
G:747 [in mathcomp.fingroup.fingroup]
g:748 [in mathcomp.algebra.vector]
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:750 [in mathcomp.character.character]
g:750 [in mathcomp.algebra.poly]
G:751 [in mathcomp.fingroup.fingroup]
G:755 [in mathcomp.fingroup.fingroup]
g:755 [in mathcomp.algebra.vector]
g:756 [in mathcomp.algebra.poly]
G:758 [in mathcomp.fingroup.fingroup]
g:758 [in mathcomp.algebra.vector]
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:760 [in mathcomp.fingroup.fingroup]
G:762 [in mathcomp.fingroup.fingroup]
G:77 [in mathcomp.solvable.frobenius]
G:77 [in mathcomp.solvable.abelian]
G:772 [in mathcomp.fingroup.fingroup]
G:777 [in mathcomp.character.classfun]
G:779 [in mathcomp.fingroup.fingroup]
g:779 [in mathcomp.algebra.vector]
G:78 [in mathcomp.solvable.commutator]
G:78 [in mathcomp.solvable.abelian]
G:782 [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.algebra.matrix]
G:793 [in mathcomp.fingroup.action]
G:794 [in mathcomp.fingroup.action]
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:8 [in mathcomp.ssreflect.finfun]
G:8 [in mathcomp.character.classfun]
G:80 [in mathcomp.character.integral_char]
G:80 [in mathcomp.solvable.gseries]
G:80 [in mathcomp.solvable.maximal]
G:800 [in mathcomp.fingroup.action]
G:801 [in mathcomp.character.mxrepresentation]
G:803 [in mathcomp.character.mxrepresentation]
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:813 [in mathcomp.algebra.vector]
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:820 [in mathcomp.algebra.ssralg]
G:822 [in mathcomp.fingroup.action]
g:822 [in mathcomp.algebra.vector]
G:824 [in mathcomp.fingroup.action]
G:825 [in mathcomp.fingroup.action]
G:825 [in mathcomp.fingroup.fingroup]
g:825 [in mathcomp.algebra.ssralg]
g:826 [in mathcomp.algebra.vector]
G:826 [in mathcomp.character.character]
G:827 [in mathcomp.fingroup.fingroup]
G:829 [in mathcomp.fingroup.action]
G:829 [in mathcomp.fingroup.fingroup]
G:829 [in mathcomp.character.character]
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:831 [in mathcomp.fingroup.fingroup]
G:832 [in mathcomp.fingroup.action]
G:832 [in mathcomp.character.character]
G:833 [in mathcomp.fingroup.fingroup]
g:835 [in mathcomp.algebra.matrix]
G:835 [in mathcomp.fingroup.fingroup]
G:835 [in mathcomp.character.character]
G:838 [in mathcomp.fingroup.fingroup]
g:838 [in mathcomp.algebra.ssralg]
G:838 [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:841 [in mathcomp.character.character]
G:842 [in mathcomp.fingroup.fingroup]
G:844 [in mathcomp.fingroup.fingroup]
G:844 [in mathcomp.character.character]
G:846 [in mathcomp.fingroup.fingroup]
G:847 [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:850 [in mathcomp.character.character]
G:852 [in mathcomp.fingroup.fingroup]
G:853 [in mathcomp.character.character]
G:855 [in mathcomp.fingroup.fingroup]
G:856 [in mathcomp.fingroup.fingroup]
G:856 [in mathcomp.character.character]
G:857 [in mathcomp.fingroup.fingroup]
G:858 [in mathcomp.character.character]
g:859 [in mathcomp.algebra.vector]
G:86 [in mathcomp.solvable.frobenius]
g:86 [in mathcomp.ssreflect.ssrfun]
G:86 [in mathcomp.solvable.maximal]
G:860 [in mathcomp.fingroup.fingroup]
g:861 [in mathcomp.algebra.vector]
G:861 [in mathcomp.character.character]
G:862 [in mathcomp.character.classfun]
G:862 [in mathcomp.fingroup.fingroup]
G:864 [in mathcomp.character.character]
G:865 [in mathcomp.fingroup.fingroup]
G:866 [in mathcomp.character.classfun]
g:867 [in mathcomp.algebra.matrix]
G:867 [in mathcomp.character.character]
G:868 [in mathcomp.fingroup.fingroup]
g:869 [in mathcomp.algebra.matrix]
G:87 [in mathcomp.solvable.center]
G:87 [in mathcomp.solvable.gfunctor]
G:87 [in mathcomp.fingroup.presentation]
G:870 [in mathcomp.fingroup.fingroup]
G:870 [in mathcomp.character.character]
G:871 [in mathcomp.character.classfun]
G:872 [in mathcomp.fingroup.fingroup]
g:872 [in mathcomp.algebra.vector]
G:872 [in mathcomp.character.character]
G:873 [in mathcomp.character.classfun]
G:874 [in mathcomp.ssreflect.finset]
g:874 [in mathcomp.algebra.matrix]
G:874 [in mathcomp.fingroup.fingroup]
g:874 [in mathcomp.character.mxrepresentation]
G:875 [in mathcomp.fingroup.fingroup]
G:875 [in mathcomp.character.character]
G:876 [in mathcomp.character.classfun]
G:877 [in mathcomp.fingroup.fingroup]
G:878 [in mathcomp.character.character]
G:88 [in mathcomp.solvable.frobenius]
G:88 [in mathcomp.solvable.gseries]
G:880 [in mathcomp.character.classfun]
G:880 [in mathcomp.character.character]
G:883 [in mathcomp.fingroup.fingroup]
G:883 [in mathcomp.character.character]
G:884 [in mathcomp.ssreflect.bigop]
G:885 [in mathcomp.fingroup.fingroup]
G:887 [in mathcomp.fingroup.fingroup]
G:887 [in mathcomp.character.character]
G:889 [in mathcomp.fingroup.fingroup]
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.ssreflect.finset]
G:890 [in mathcomp.character.character]
G:891 [in mathcomp.fingroup.fingroup]
G:893 [in mathcomp.fingroup.fingroup]
G:894 [in mathcomp.character.classfun]
G:895 [in mathcomp.fingroup.fingroup]
G:897 [in mathcomp.fingroup.fingroup]
G:898 [in mathcomp.character.character]
G:899 [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:90 [in mathcomp.ssreflect.ssrfun]
G:901 [in mathcomp.fingroup.fingroup]
G:903 [in mathcomp.fingroup.fingroup]
g:905 [in mathcomp.algebra.matrix]
G:905 [in mathcomp.fingroup.fingroup]
G:907 [in mathcomp.fingroup.fingroup]
G:909 [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:912 [in mathcomp.character.character]
G:916 [in mathcomp.character.character]
G:918 [in mathcomp.character.character]
G:92 [in mathcomp.fingroup.quotient]
G:92 [in mathcomp.solvable.commutator]
G:92 [in mathcomp.solvable.gseries]
G:92 [in mathcomp.solvable.hall]
G:92 [in mathcomp.fingroup.presentation]
G:92 [in mathcomp.solvable.maximal]
G:920 [in mathcomp.fingroup.fingroup]
G:920 [in mathcomp.character.character]
G:922 [in mathcomp.fingroup.fingroup]
G:922 [in mathcomp.character.character]
G:923 [in mathcomp.fingroup.fingroup]
G:924 [in mathcomp.fingroup.fingroup]
G:926 [in mathcomp.ssreflect.finset]
G:926 [in mathcomp.character.character]
G:928 [in mathcomp.character.character]
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:932 [in mathcomp.character.character]
G:94 [in mathcomp.solvable.commutator]
g:94 [in mathcomp.field.separable]
G:94 [in mathcomp.solvable.center]
G:94 [in mathcomp.solvable.maximal]
G:94 [in mathcomp.solvable.nilpotent]
g:946 [in mathcomp.algebra.matrix]
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:952 [in mathcomp.algebra.matrix]
G:96 [in mathcomp.ssreflect.finfun]
G:96 [in mathcomp.solvable.commutator]
G:96 [in mathcomp.solvable.gfunctor]
G:96 [in mathcomp.fingroup.presentation]
G:960 [in mathcomp.fingroup.fingroup]
G:968 [in mathcomp.character.character]
G:97 [in mathcomp.solvable.abelian]
G:972 [in mathcomp.fingroup.fingroup]
G:973 [in mathcomp.fingroup.fingroup]
G:975 [in mathcomp.character.character]
G:976 [in mathcomp.fingroup.fingroup]
G:979 [in mathcomp.fingroup.fingroup]
G:98 [in mathcomp.solvable.pgroup]
g:98 [in mathcomp.ssreflect.order]
G:98 [in mathcomp.solvable.frobenius]
G:98 [in mathcomp.solvable.hall]
g:982 [in mathcomp.ssreflect.finset]
G:986 [in mathcomp.fingroup.fingroup]
G:987 [in mathcomp.fingroup.fingroup]
G:987 [in mathcomp.character.character]
G:988 [in mathcomp.fingroup.fingroup]
g:99 [in mathcomp.character.integral_char]
G:99 [in mathcomp.solvable.commutator]
G:990 [in mathcomp.fingroup.fingroup]
G:995 [in mathcomp.fingroup.fingroup]
g:997 [in mathcomp.character.mxrepresentation]
g:999 [in mathcomp.ssreflect.finset]
G:999 [in mathcomp.fingroup.fingroup]

Global Index

_

(76754 entries)

Notation Index

H

J

T

W

X

Y

_

(1892 entries)

Binder Index

_

other

(49588 entries)

Module Index

H

J

K

L

W

X

Y

_

other

(305 entries)

Variable Index

J

W

X

Y

_

other

(4034 entries)

Library Index

K

L

U

W

X

Y

_

other

(94 entries)

Lemma Index

Y

_

other

(14802 entries)

Constructor Index

J

K

W

Y

_

other

(222 entries)

Axiom Index

B

C

D

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

other

(9 entries)

Inductive Index

J

K

Q

W

Y

Z

_

other

(131 entries)

Projection Index

D

H

I

J

K

L

N

O

Q

U

W

X

Y

Z

_

other

(43 entries)

Section Index

J

W

X

Y

_

other

(1392 entries)

Abbreviation Index

Y

_

other

(1140 entries)

Definition Index

Y

_

other

(3066 entries)

Record Index

D

F

H

I

J

K

L

O

Q

U

W

X

Y

Z

_

other

(36 entries)