mathcomp.ssreflect.tuple

Global Index

_

(71649 entries)

Notation Index

H

J

T

W

X

Y

_

(1792 entries)

Binder Index

_

other

(46193 entries)

Module Index

H

J

K

L

W

X

Y

_

other

(266 entries)

Variable Index

J

W

X

Y

_

other

(3623 entries)

Library Index

K

L

U

W

X

Y

_

other

(91 entries)

Lemma Index

Y

_

other

(14204 entries)

Constructor Index

J

K

W

Y

_

other

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

(8 entries)

Inductive Index

J

K

Q

W

Y

Z

_

other

(134 entries)

Projection Index

H

I

J

K

L

N

O

Q

U

W

X

Y

Z

_

other

(44 entries)

Section Index

J

W

X

Y

_

other

(1276 entries)

Abbreviation Index

Y

_

other

(682 entries)

Definition Index

Y

_

other

(3041 entries)

Record Index

F

H

I

J

K

L

O

Q

U

W

X

Y

Z

_

other

(36 entries)

G (binder)

galL:109 [in mathcomp.field.finfield]
gA:556 [in mathcomp.fingroup.fingroup]
ger_total:2376 [in mathcomp.algebra.ssrnum]
ger_leVge:30 [in mathcomp.algebra.ssrnum]
ge0_norm:2470 [in mathcomp.algebra.ssrnum]
ge0_norm:2430 [in mathcomp.algebra.ssrnum]
gf:1994 [in mathcomp.algebra.matrix]
gf:2001 [in mathcomp.algebra.matrix]
GH:149 [in mathcomp.solvable.center]
GK:150 [in mathcomp.solvable.center]
gP:1301 [in mathcomp.fingroup.fingroup]
gP:1304 [in mathcomp.fingroup.fingroup]
gp:297 [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:1012 [in mathcomp.character.character]
gT:102 [in mathcomp.solvable.maximal]
gT:1029 [in mathcomp.character.character]
gT:1033 [in mathcomp.character.character]
gT:106 [in mathcomp.solvable.gfunctor]
gT:107 [in mathcomp.solvable.hall]
gT:11 [in mathcomp.solvable.gfunctor]
gT:110 [in mathcomp.solvable.extremal]
gT:111 [in mathcomp.solvable.gfunctor]
gT:113 [in mathcomp.solvable.extremal]
gT:117 [in mathcomp.solvable.extremal]
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:131 [in mathcomp.solvable.gfunctor]
gT:141 [in mathcomp.solvable.extremal]
gT:143 [in mathcomp.character.integral_char]
gT:143 [in mathcomp.solvable.gfunctor]
gT:1437 [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:1632 [in mathcomp.character.mxrepresentation]
gT:1641 [in mathcomp.character.mxrepresentation]
gT:1649 [in mathcomp.character.mxrepresentation]
gT:173 [in mathcomp.character.classfun]
gT:177 [in mathcomp.character.integral_char]
gT:1792 [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:2 [in mathcomp.solvable.commutator]
gT:20 [in mathcomp.solvable.gfunctor]
gT:22 [in mathcomp.solvable.extremal]
gT:222 [in mathcomp.fingroup.fingroup]
gT:223 [in mathcomp.fingroup.fingroup]
gT:224 [in mathcomp.fingroup.fingroup]
gT:226 [in mathcomp.character.integral_char]
gT:23 [in mathcomp.solvable.hall]
gT:23 [in mathcomp.solvable.gfunctor]
gT:232 [in mathcomp.fingroup.quotient]
gT:239 [in mathcomp.character.character]
gT:24 [in mathcomp.solvable.extraspecial]
gT:24 [in mathcomp.fingroup.presentation]
gT:247 [in mathcomp.character.character]
gT:272 [in mathcomp.solvable.extremal]
gT:29 [in mathcomp.solvable.gfunctor]
gT:293 [in mathcomp.solvable.extremal]
gT:3 [in mathcomp.solvable.gfunctor]
gT:3 [in mathcomp.fingroup.presentation]
gT:306 [in mathcomp.character.vcharacter]
gT:309 [in mathcomp.solvable.extremal]
gT:31 [in mathcomp.solvable.gfunctor]
gT:320 [in mathcomp.solvable.extremal]
gT:328 [in mathcomp.solvable.extremal]
gT:33 [in mathcomp.fingroup.presentation]
gT:331 [in mathcomp.solvable.extremal]
gT:334 [in mathcomp.solvable.extremal]
gT:36 [in mathcomp.solvable.extraspecial]
gT:36 [in mathcomp.fingroup.presentation]
gT:38 [in mathcomp.fingroup.presentation]
gT:4 [in mathcomp.solvable.jordanholder]
gT:4 [in mathcomp.solvable.hall]
gT: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: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:567 [in mathcomp.fingroup.fingroup]
gT:572 [in mathcomp.fingroup.fingroup]
gT:58 [in mathcomp.solvable.extraspecial]
gT:580 [in mathcomp.fingroup.fingroup]
gT:583 [in mathcomp.fingroup.fingroup]
gT:586 [in mathcomp.fingroup.fingroup]
gT:588 [in mathcomp.fingroup.fingroup]
gT:63 [in mathcomp.fingroup.presentation]
gT:64 [in mathcomp.solvable.extraspecial]
gT:642 [in mathcomp.solvable.abelian]
gT:646 [in mathcomp.solvable.abelian]
gT:66 [in mathcomp.solvable.gfunctor]
gT:66 [in mathcomp.solvable.extraspecial]
gT:66 [in mathcomp.fingroup.presentation]
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:72 [in mathcomp.fingroup.presentation]
gT:747 [in mathcomp.character.character]
gT:75 [in mathcomp.solvable.gfunctor]
gT:775 [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:800 [in mathcomp.character.mxrepresentation]
gT:802 [in mathcomp.character.mxrepresentation]
gT:805 [in mathcomp.character.mxrepresentation]
gT:83 [in mathcomp.solvable.gfunctor]
gT:84 [in mathcomp.solvable.gfunctor]
gT:86 [in mathcomp.solvable.gfunctor]
gT:86 [in mathcomp.fingroup.presentation]
gT:874 [in mathcomp.fingroup.action]
gT:88 [in mathcomp.solvable.gfunctor]
gT:90 [in mathcomp.solvable.gfunctor]
gT:91 [in mathcomp.fingroup.presentation]
gT:92 [in mathcomp.solvable.extremal]
gT:92 [in mathcomp.solvable.gfunctor]
gT:95 [in mathcomp.solvable.gfunctor]
gT:96 [in mathcomp.fingroup.presentation]
gT:98 [in mathcomp.solvable.extremal]
gT:98 [in mathcomp.solvable.gfunctor]
gT:984 [in mathcomp.character.character]
gT:99 [in mathcomp.solvable.maximal]
Gx:1001 [in mathcomp.character.mxrepresentation]
Gx:196 [in mathcomp.fingroup.quotient]
Gx:199 [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':2021 [in mathcomp.algebra.matrix]
g':2024 [in mathcomp.algebra.matrix]
g':2027 [in mathcomp.algebra.matrix]
g':360 [in mathcomp.algebra.matrix]
g':374 [in mathcomp.algebra.matrix]
G0:503 [in mathcomp.character.inertia]
G0:504 [in mathcomp.character.inertia]
g1:106 [in mathcomp.ssreflect.finfun]
G1:119 [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:748 [in mathcomp.algebra.vector]
g2:107 [in mathcomp.ssreflect.finfun]
G2:120 [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:749 [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:1003 [in mathcomp.fingroup.fingroup]
G:1005 [in mathcomp.fingroup.fingroup]
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:1013 [in mathcomp.character.character]
G:1019 [in mathcomp.character.character]
G:102 [in mathcomp.fingroup.automorphism]
g:102 [in mathcomp.ssreflect.order]
G:1024 [in mathcomp.character.character]
G:103 [in mathcomp.fingroup.quotient]
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:1034 [in mathcomp.character.character]
g:1036 [in mathcomp.character.character]
g:1037 [in mathcomp.character.character]
g:1038 [in mathcomp.character.character]
g:104 [in mathcomp.character.integral_char]
G:104 [in mathcomp.solvable.pgroup]
G:104 [in mathcomp.solvable.hall]
G:1041 [in mathcomp.fingroup.fingroup]
G:1044 [in mathcomp.fingroup.fingroup]
G:1055 [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.cyclic]
G:109 [in mathcomp.solvable.hall]
G:1099 [in mathcomp.fingroup.fingroup]
G:11 [in mathcomp.solvable.frobenius]
G:11 [in mathcomp.solvable.nilpotent]
G:1101 [in mathcomp.fingroup.fingroup]
G:1104 [in mathcomp.fingroup.fingroup]
G:1106 [in mathcomp.fingroup.fingroup]
G:1108 [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:1110 [in mathcomp.fingroup.fingroup]
G:112 [in mathcomp.fingroup.automorphism]
G:112 [in mathcomp.solvable.frobenius]
G:1120 [in mathcomp.fingroup.fingroup]
G:1122 [in mathcomp.fingroup.fingroup]
G:1123 [in mathcomp.fingroup.fingroup]
G:1127 [in mathcomp.fingroup.fingroup]
G:113 [in mathcomp.solvable.pgroup]
G:113 [in mathcomp.solvable.abelian]
G:113 [in mathcomp.solvable.gfunctor]
G:1130 [in mathcomp.fingroup.fingroup]
G:1139 [in mathcomp.fingroup.fingroup]
G:114 [in mathcomp.solvable.sylow]
G:114 [in mathcomp.solvable.extremal]
G:114 [in mathcomp.solvable.cyclic]
G:1142 [in mathcomp.fingroup.fingroup]
G:115 [in mathcomp.solvable.frobenius]
G:115 [in mathcomp.fingroup.gproduct]
G:1150 [in mathcomp.algebra.ssrnum]
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:1174 [in mathcomp.fingroup.fingroup]
G:1177 [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.solvable.sylow]
G:118 [in mathcomp.solvable.frobenius]
G:118 [in mathcomp.fingroup.gproduct]
G:118 [in mathcomp.solvable.extremal]
G:118 [in mathcomp.solvable.maximal]
G:118 [in mathcomp.solvable.nilpotent]
G:1180 [in mathcomp.fingroup.fingroup]
G:1185 [in mathcomp.fingroup.fingroup]
G:1188 [in mathcomp.fingroup.fingroup]
G:119 [in mathcomp.fingroup.automorphism]
G:119 [in mathcomp.solvable.gfunctor]
G:1191 [in mathcomp.fingroup.fingroup]
G:1193 [in mathcomp.fingroup.fingroup]
G:1195 [in mathcomp.fingroup.fingroup]
G:1198 [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:1200 [in mathcomp.fingroup.fingroup]
G:1203 [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:1210 [in mathcomp.fingroup.fingroup]
G:1212 [in mathcomp.fingroup.fingroup]
G:1215 [in mathcomp.fingroup.fingroup]
G:1218 [in mathcomp.fingroup.fingroup]
G:1219 [in mathcomp.fingroup.fingroup]
g:122 [in mathcomp.field.galois]
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:1222 [in mathcomp.fingroup.fingroup]
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:1247 [in mathcomp.fingroup.fingroup]
G:1249 [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:1257 [in mathcomp.algebra.ssralg]
G:126 [in mathcomp.character.integral_char]
G:126 [in mathcomp.solvable.sylow]
G:126 [in mathcomp.solvable.frobenius]
G:127 [in mathcomp.solvable.sylow]
G:127 [in mathcomp.solvable.abelian]
g:1270 [in mathcomp.algebra.matrix]
g:1277 [in mathcomp.algebra.matrix]
G:1279 [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:1282 [in mathcomp.fingroup.fingroup]
G:129 [in mathcomp.solvable.gfunctor]
G:129 [in mathcomp.solvable.nilpotent]
G:1293 [in mathcomp.fingroup.fingroup]
g:1298 [in mathcomp.algebra.matrix]
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.ssreflect.finfun]
G:130 [in mathcomp.solvable.sylow]
G:130 [in mathcomp.solvable.frobenius]
G:130 [in mathcomp.solvable.cyclic]
G:1307 [in mathcomp.fingroup.fingroup]
G:1308 [in mathcomp.fingroup.fingroup]
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:1310 [in mathcomp.fingroup.fingroup]
G:1311 [in mathcomp.fingroup.fingroup]
G:132 [in mathcomp.fingroup.morphism]
G:132 [in mathcomp.solvable.gfunctor]
G:132 [in mathcomp.solvable.nilpotent]
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.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: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.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:1402 [in mathcomp.ssreflect.seq]
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: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:1438 [in mathcomp.character.mxrepresentation]
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.solvable.extremal]
G:144 [in mathcomp.fingroup.morphism]
G:144 [in mathcomp.solvable.hall]
G:145 [in mathcomp.solvable.sylow]
G:146 [in mathcomp.solvable.commutator]
g:146 [in mathcomp.field.galois]
G:146 [in mathcomp.solvable.gseries]
G:146 [in mathcomp.solvable.nilpotent]
g:147 [in mathcomp.field.galois]
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.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.character.integral_char]
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.ssreflect.ssrbool]
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:1552 [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:1563 [in mathcomp.character.mxrepresentation]
g:1564 [in mathcomp.algebra.ssralg]
G:157 [in mathcomp.solvable.commutator]
g:157 [in mathcomp.character.mxrepresentation]
g:1572 [in mathcomp.algebra.matrix]
g:1573 [in mathcomp.ssreflect.seq]
G:158 [in mathcomp.fingroup.gproduct]
G:158 [in mathcomp.solvable.gseries]
g:1582 [in mathcomp.ssreflect.seq]
g:1586 [in mathcomp.algebra.matrix]
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:1616 [in mathcomp.algebra.ssrnum]
G:1617 [in mathcomp.algebra.ssrnum]
G:1618 [in mathcomp.algebra.ssrnum]
G:162 [in mathcomp.solvable.commutator]
G:162 [in mathcomp.solvable.nilpotent]
G:1620 [in mathcomp.algebra.ssrnum]
G:163 [in mathcomp.solvable.sylow]
G:1633 [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.character.character]
G:164 [in mathcomp.solvable.nilpotent]
G:1647 [in mathcomp.character.mxrepresentation]
G:165 [in mathcomp.solvable.commutator]
G:165 [in mathcomp.solvable.gseries]
G:165 [in mathcomp.fingroup.morphism]
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: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.fingroup.quotient]
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.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:1793 [in mathcomp.algebra.ssrnum]
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: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:1896 [in mathcomp.algebra.mxalgebra]
g:1899 [in mathcomp.algebra.mxalgebra]
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:195 [in mathcomp.fingroup.action]
g:196 [in mathcomp.algebra.matrix]
G:196 [in mathcomp.fingroup.action]
g:196 [in mathcomp.character.classfun]
G:197 [in mathcomp.solvable.pgroup]
G:199 [in mathcomp.character.integral_char]
G:199 [in mathcomp.fingroup.action]
G:199 [in mathcomp.solvable.nilpotent]
g:1991 [in mathcomp.ssreflect.seq]
g:1993 [in mathcomp.algebra.matrix]
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.fingroup.fingroup]
G:20 [in mathcomp.solvable.frobenius]
g:200 [in mathcomp.algebra.matrix]
G:200 [in mathcomp.solvable.pgroup]
g:2000 [in mathcomp.ssreflect.seq]
g:2000 [in mathcomp.algebra.matrix]
g:2006 [in mathcomp.algebra.matrix]
g:2008 [in mathcomp.algebra.matrix]
G:201 [in mathcomp.solvable.pgroup]
G:201 [in mathcomp.fingroup.morphism]
g:2010 [in mathcomp.algebra.matrix]
g:2011 [in mathcomp.ssreflect.seq]
g:2017 [in mathcomp.algebra.matrix]
G:202 [in mathcomp.fingroup.quotient]
G:202 [in mathcomp.solvable.pgroup]
g:2020 [in mathcomp.algebra.matrix]
g:2023 [in mathcomp.algebra.matrix]
g:2026 [in mathcomp.algebra.matrix]
G:203 [in mathcomp.fingroup.morphism]
g:2038 [in mathcomp.algebra.matrix]
g:204 [in mathcomp.fingroup.quotient]
G:204 [in mathcomp.fingroup.gproduct]
g:2041 [in mathcomp.algebra.matrix]
g:2044 [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.solvable.maximal]
G:207 [in mathcomp.fingroup.gproduct]
G:207 [in mathcomp.solvable.maximal]
G:208 [in mathcomp.fingroup.action]
g:2082 [in mathcomp.ssreflect.seq]
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:212 [in mathcomp.fingroup.quotient]
G:212 [in mathcomp.character.mxabelem]
G:212 [in mathcomp.solvable.cyclic]
G:212 [in mathcomp.solvable.maximal]
G:214 [in mathcomp.fingroup.gproduct]
G:214 [in mathcomp.solvable.maximal]
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.solvable.gfunctor]
G:22 [in mathcomp.solvable.nilpotent]
G:220 [in mathcomp.fingroup.gproduct]
G:220 [in mathcomp.solvable.cyclic]
G:224 [in mathcomp.fingroup.action]
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:228 [in mathcomp.fingroup.action]
G:23 [in mathcomp.solvable.jordanholder]
G:23 [in mathcomp.fingroup.fingroup]
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:2326 [in mathcomp.algebra.ssrnum]
G:233 [in mathcomp.fingroup.quotient]
G:234 [in mathcomp.fingroup.action]
g:234 [in mathcomp.character.classfun]
G:234 [in mathcomp.solvable.nilpotent]
G:2359 [in mathcomp.ssreflect.bigop]
g:236 [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.inertia]
g:239 [in mathcomp.character.classfun]
G:24 [in mathcomp.solvable.extremal]
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:242 [in mathcomp.fingroup.gproduct]
G:242 [in mathcomp.solvable.nilpotent]
G:243 [in mathcomp.fingroup.quotient]
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:248 [in mathcomp.fingroup.quotient]
G:248 [in mathcomp.character.inertia]
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:25 [in mathcomp.solvable.extraspecial]
G:250 [in mathcomp.fingroup.quotient]
G:252 [in mathcomp.fingroup.quotient]
G:252 [in mathcomp.solvable.abelian]
G:252 [in mathcomp.solvable.nilpotent]
g:253 [in mathcomp.field.galois]
G:253 [in mathcomp.character.inertia]
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.character.inertia]
G:257 [in mathcomp.fingroup.action]
G:257 [in mathcomp.solvable.nilpotent]
g:258 [in mathcomp.field.galois]
G:259 [in mathcomp.solvable.nilpotent]
G:26 [in mathcomp.fingroup.fingroup]
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.field.closed_field]
G:261 [in mathcomp.solvable.nilpotent]
G:262 [in mathcomp.fingroup.morphism]
G:262 [in mathcomp.solvable.nilpotent]
G:263 [in mathcomp.fingroup.action]
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:269 [in mathcomp.solvable.nilpotent]
G:27 [in mathcomp.solvable.center]
G:271 [in mathcomp.fingroup.action]
G:271 [in mathcomp.solvable.nilpotent]
g:2715 [in mathcomp.algebra.ssralg]
g:272 [in mathcomp.field.galois]
G:273 [in mathcomp.fingroup.action]
G:273 [in mathcomp.solvable.extremal]
G:273 [in mathcomp.solvable.nilpotent]
g:274 [in mathcomp.algebra.mxpoly]
g:2742 [in mathcomp.algebra.ssralg]
G:275 [in mathcomp.fingroup.action]
G:275 [in mathcomp.solvable.nilpotent]
G:276 [in mathcomp.solvable.nilpotent]
g:277 [in mathcomp.field.galois]
G:277 [in mathcomp.fingroup.gproduct]
G:277 [in mathcomp.solvable.abelian]
g:278 [in mathcomp.algebra.mxpoly]
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:281 [in mathcomp.algebra.mxpoly]
G:281 [in mathcomp.solvable.abelian]
G:282 [in mathcomp.solvable.nilpotent]
g:283 [in mathcomp.algebra.mxpoly]
g:283 [in mathcomp.fingroup.morphism]
G:284 [in mathcomp.solvable.nilpotent]
g:285 [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.field.closed_field]
g:289 [in mathcomp.algebra.mxpoly]
G:289 [in mathcomp.fingroup.gproduct]
g:29 [in mathcomp.field.falgebra]
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.solvable.extremal]
g:296 [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: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:302 [in mathcomp.field.galois]
g:302 [in mathcomp.algebra.mxpoly]
G:307 [in mathcomp.solvable.pgroup]
G:308 [in mathcomp.solvable.abelian]
g:3087 [in mathcomp.ssreflect.order]
G:31 [in mathcomp.fingroup.gproduct]
G:311 [in mathcomp.solvable.pgroup]
G:311 [in mathcomp.solvable.extremal]
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:318 [in mathcomp.algebra.mxpoly]
G:319 [in mathcomp.solvable.pgroup]
G:32 [in mathcomp.solvable.cyclic]
g:32 [in mathcomp.field.falgebra]
g:320 [in mathcomp.character.vcharacter]
G:320 [in mathcomp.fingroup.action]
G:320 [in mathcomp.solvable.abelian]
G:321 [in mathcomp.solvable.pgroup]
G:321 [in mathcomp.solvable.abelian]
G:322 [in mathcomp.solvable.extremal]
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.solvable.frobenius]
G:33 [in mathcomp.solvable.maximal]
G:33 [in mathcomp.solvable.nilpotent]
G:330 [in mathcomp.solvable.extremal]
G:330 [in mathcomp.solvable.abelian]
G:333 [in mathcomp.solvable.pgroup]
G:333 [in mathcomp.solvable.extremal]
G:333 [in mathcomp.solvable.abelian]
G:333 [in mathcomp.character.character]
g:333 [in mathcomp.field.falgebra]
g:334 [in mathcomp.algebra.mxpoly]
g:335 [in mathcomp.field.falgebra]
G:336 [in mathcomp.solvable.extremal]
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.fingroup.fingroup]
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.fingroup.gproduct]
G:343 [in mathcomp.solvable.abelian]
g:344 [in mathcomp.algebra.mxpoly]
G:346 [in mathcomp.fingroup.gproduct]
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:351 [in mathcomp.algebra.mxpoly]
g:353 [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:355 [in mathcomp.ssreflect.eqtype]
g:355 [in mathcomp.field.falgebra]
G:356 [in mathcomp.solvable.abelian]
g:356 [in mathcomp.ssreflect.eqtype]
G:357 [in mathcomp.fingroup.action]
G:358 [in mathcomp.fingroup.gproduct]
g:359 [in mathcomp.algebra.matrix]
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.algebra.mxpoly]
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.ssreflect.eqtype]
G:365 [in mathcomp.solvable.pgroup]
g:366 [in mathcomp.ssreflect.eqtype]
G:367 [in mathcomp.solvable.pgroup]
G:368 [in mathcomp.fingroup.action]
G:368 [in mathcomp.fingroup.gproduct]
g:368 [in mathcomp.ssreflect.eqtype]
g:369 [in mathcomp.algebra.mxpoly]
G:37 [in mathcomp.solvable.cyclic]
G:37 [in mathcomp.solvable.extraspecial]
G:37 [in mathcomp.solvable.maximal]
G:370 [in mathcomp.solvable.pgroup]
g:370 [in mathcomp.ssreflect.eqtype]
g:372 [in mathcomp.algebra.mxpoly]
g:373 [in mathcomp.algebra.matrix]
G:373 [in mathcomp.solvable.pgroup]
g:375 [in mathcomp.algebra.mxpoly]
g:375 [in mathcomp.character.inertia]
G:375 [in mathcomp.solvable.pgroup]
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:390 [in mathcomp.fingroup.gproduct]
g:391 [in mathcomp.character.inertia]
g:392 [in mathcomp.character.inertia]
g:393 [in mathcomp.character.inertia]
g:394 [in mathcomp.character.inertia]
G:394 [in mathcomp.solvable.abelian]
g:395 [in mathcomp.character.inertia]
G:396 [in mathcomp.fingroup.action]
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: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.character.inertia]
G:404 [in mathcomp.solvable.pgroup]
g:405 [in mathcomp.character.inertia]
G:405 [in mathcomp.fingroup.action]
G:405 [in mathcomp.solvable.pgroup]
g:406 [in mathcomp.character.inertia]
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: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.field.falgebra]
G:412 [in mathcomp.fingroup.gproduct]
g:414 [in mathcomp.character.inertia]
G:414 [in mathcomp.solvable.abelian]
g:415 [in mathcomp.character.inertia]
g:416 [in mathcomp.character.inertia]
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.fingroup.action]
g:42 [in mathcomp.character.mxrepresentation]
G:42 [in mathcomp.solvable.gseries]
G:42 [in mathcomp.solvable.nilpotent]
G:420 [in mathcomp.fingroup.gproduct]
G:420 [in mathcomp.solvable.abelian]
G:421 [in mathcomp.solvable.abelian]
G:423 [in mathcomp.solvable.pgroup]
G:424 [in mathcomp.solvable.pgroup]
G:424 [in mathcomp.fingroup.gproduct]
G:424 [in mathcomp.character.character]
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: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: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.character.inertia]
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: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: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: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.character.inertia]
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:468 [in mathcomp.solvable.pgroup]
g:469 [in mathcomp.algebra.ssralg]
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:473 [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:480 [in mathcomp.character.inertia]
G:482 [in mathcomp.solvable.abelian]
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:493 [in mathcomp.character.inertia]
G:494 [in mathcomp.solvable.abelian]
G:495 [in mathcomp.solvable.pgroup]
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.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.character.inertia]
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: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:529 [in mathcomp.character.inertia]
g:53 [in mathcomp.ssreflect.ssrfun]
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.solvable.pgroup]
G:535 [in mathcomp.character.inertia]
G:535 [in mathcomp.solvable.abelian]
G:537 [in mathcomp.algebra.ssrnum]
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:548 [in mathcomp.algebra.ssrnum]
G:55 [in mathcomp.solvable.maximal]
G:550 [in mathcomp.solvable.pgroup]
G:553 [in mathcomp.solvable.pgroup]
G:557 [in mathcomp.fingroup.fingroup]
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:560 [in mathcomp.fingroup.fingroup]
G:562 [in mathcomp.solvable.pgroup]
G:564 [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.solvable.gseries]
G:57 [in mathcomp.solvable.center]
G:57 [in mathcomp.solvable.nilpotent]
G:570 [in mathcomp.fingroup.fingroup]
G:570 [in mathcomp.solvable.pgroup]
G:571 [in mathcomp.fingroup.fingroup]
G:573 [in mathcomp.solvable.pgroup]
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:587 [in mathcomp.solvable.pgroup]
G:59 [in mathcomp.ssreflect.finfun]
G:59 [in mathcomp.solvable.extraspecial]
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:623 [in mathcomp.character.classfun]
G:624 [in mathcomp.solvable.pgroup]
g:624 [in mathcomp.algebra.mxalgebra]
g:625 [in mathcomp.algebra.mxpoly]
G:626 [in mathcomp.solvable.abelian]
g:627 [in mathcomp.algebra.mxpoly]
G:63 [in mathcomp.solvable.gseries]
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.fingroup.presentation]
G:64 [in mathcomp.solvable.nilpotent]
G:644 [in mathcomp.fingroup.action]
g:647 [in mathcomp.ssreflect.fintype]
G:649 [in mathcomp.field.galois]
g:649 [in mathcomp.ssreflect.fintype]
G:65 [in mathcomp.solvable.pgroup]
G:65 [in mathcomp.solvable.extraspecial]
G:65 [in mathcomp.solvable.maximal]
g:651 [in mathcomp.ssreflect.fintype]
G:652 [in mathcomp.field.galois]
G:652 [in mathcomp.solvable.abelian]
G:654 [in mathcomp.field.galois]
g:658 [in mathcomp.ssreflect.fintype]
G:659 [in mathcomp.solvable.abelian]
g:659 [in mathcomp.ssreflect.fintype]
G:66 [in mathcomp.solvable.commutator]
G:66 [in mathcomp.solvable.gseries]
g:661 [in mathcomp.ssreflect.fintype]
G:662 [in mathcomp.solvable.abelian]
g:665 [in mathcomp.algebra.vector]
G:666 [in mathcomp.solvable.abelian]
g:666 [in mathcomp.ssreflect.fintype]
G:668 [in mathcomp.solvable.abelian]
g:668 [in mathcomp.ssreflect.fintype]
g:669 [in mathcomp.fingroup.fingroup]
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:67 [in mathcomp.solvable.extraspecial]
G:67 [in mathcomp.fingroup.presentation]
G:68 [in mathcomp.solvable.commutator]
G:68 [in mathcomp.solvable.cyclic]
G:68 [in mathcomp.solvable.nilpotent]
g:688 [in mathcomp.algebra.vector]
G:69 [in mathcomp.solvable.pgroup]
G:69 [in mathcomp.solvable.gfunctor]
g:690 [in mathcomp.algebra.vector]
g:694 [in mathcomp.algebra.vector]
G:7 [in mathcomp.solvable.maximal]
G:70 [in mathcomp.solvable.hall]
g:700 [in mathcomp.ssreflect.finset]
G:702 [in mathcomp.fingroup.action]
g:703 [in mathcomp.ssreflect.finset]
g:706 [in mathcomp.ssreflect.finset]
g:709 [in mathcomp.ssreflect.finset]
G:71 [in mathcomp.solvable.commutator]
G:71 [in mathcomp.solvable.sylow]
G:71 [in mathcomp.solvable.gseries]
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:722 [in mathcomp.character.classfun]
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:728 [in mathcomp.algebra.poly]
g:729 [in mathcomp.algebra.poly]
G:73 [in mathcomp.solvable.maximal]
g:734 [in mathcomp.algebra.poly]
G:735 [in mathcomp.fingroup.gproduct]
g:735 [in mathcomp.algebra.vector]
G:737 [in mathcomp.fingroup.action]
g:737 [in mathcomp.algebra.ssralg]
g:738 [in mathcomp.algebra.vector]
G:739 [in mathcomp.fingroup.action]
G:74 [in mathcomp.solvable.commutator]
G:74 [in mathcomp.solvable.sylow]
G:74 [in mathcomp.fingroup.presentation]
g:740 [in mathcomp.algebra.ssralg]
G:741 [in mathcomp.fingroup.fingroup]
g:742 [in mathcomp.algebra.vector]
G:743 [in mathcomp.fingroup.action]
G:743 [in mathcomp.fingroup.fingroup]
g:744 [in mathcomp.algebra.poly]
G:745 [in mathcomp.fingroup.fingroup]
g:746 [in mathcomp.algebra.vector]
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.maximal]
g:750 [in mathcomp.algebra.poly]
G:751 [in mathcomp.fingroup.fingroup]
g:751 [in mathcomp.algebra.vector]
G:753 [in mathcomp.fingroup.fingroup]
g:753 [in mathcomp.algebra.ssralg]
g:753 [in mathcomp.algebra.vector]
G:755 [in mathcomp.fingroup.fingroup]
G:759 [in mathcomp.fingroup.fingroup]
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.algebra.vector]
G:762 [in mathcomp.fingroup.fingroup]
g:763 [in mathcomp.algebra.vector]
G:764 [in mathcomp.fingroup.fingroup]
G:766 [in mathcomp.fingroup.fingroup]
G:77 [in mathcomp.solvable.frobenius]
G:77 [in mathcomp.solvable.abelian]
G:776 [in mathcomp.character.classfun]
G:776 [in mathcomp.fingroup.fingroup]
G:78 [in mathcomp.solvable.commutator]
G:78 [in mathcomp.solvable.abelian]
G:783 [in mathcomp.fingroup.fingroup]
g:784 [in mathcomp.algebra.vector]
G:786 [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:811 [in mathcomp.fingroup.action]
G:814 [in mathcomp.fingroup.action]
G:817 [in mathcomp.fingroup.action]
G:818 [in mathcomp.ssreflect.finset]
G:818 [in mathcomp.fingroup.action]
g:818 [in mathcomp.algebra.vector]
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:827 [in mathcomp.algebra.vector]
G:827 [in mathcomp.character.character]
G:829 [in mathcomp.fingroup.action]
G:829 [in mathcomp.fingroup.fingroup]
G:83 [in mathcomp.solvable.pgroup]
G:83 [in mathcomp.solvable.gseries]
G:83 [in mathcomp.solvable.maximal]
G:830 [in mathcomp.fingroup.action]
G:830 [in mathcomp.character.character]
G:831 [in mathcomp.fingroup.fingroup]
g:831 [in mathcomp.algebra.vector]
G:832 [in mathcomp.fingroup.action]
G:833 [in mathcomp.fingroup.fingroup]
G:833 [in mathcomp.character.character]
G:834 [in mathcomp.ssreflect.finset]
g:835 [in mathcomp.algebra.matrix]
G:835 [in mathcomp.fingroup.fingroup]
G:836 [in mathcomp.character.character]
G:837 [in mathcomp.fingroup.fingroup]
G:839 [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:842 [in mathcomp.fingroup.fingroup]
G:842 [in mathcomp.character.character]
G:844 [in mathcomp.fingroup.fingroup]
G:845 [in mathcomp.character.character]
G:846 [in mathcomp.fingroup.fingroup]
G:848 [in mathcomp.fingroup.fingroup]
G:848 [in mathcomp.character.character]
G:848 [in mathcomp.ssreflect.bigop]
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.fingroup.fingroup]
G:851 [in mathcomp.character.character]
G:853 [in mathcomp.fingroup.fingroup]
G:854 [in mathcomp.character.character]
G:856 [in mathcomp.fingroup.fingroup]
G:856 [in mathcomp.character.character]
G:859 [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.character.classfun]
G:861 [in mathcomp.fingroup.fingroup]
G:862 [in mathcomp.character.character]
G:864 [in mathcomp.fingroup.fingroup]
g:864 [in mathcomp.algebra.vector]
G:865 [in mathcomp.character.classfun]
G:865 [in mathcomp.character.character]
G:866 [in mathcomp.fingroup.fingroup]
g:866 [in mathcomp.algebra.vector]
g:867 [in mathcomp.algebra.matrix]
G:868 [in mathcomp.character.character]
g:869 [in mathcomp.algebra.matrix]
G:869 [in mathcomp.fingroup.fingroup]
G:87 [in mathcomp.solvable.center]
G:87 [in mathcomp.solvable.gfunctor]
G:870 [in mathcomp.character.classfun]
G:870 [in mathcomp.character.character]
G:872 [in mathcomp.character.classfun]
G:872 [in mathcomp.fingroup.fingroup]
G:873 [in mathcomp.character.character]
g:874 [in mathcomp.algebra.matrix]
G:874 [in mathcomp.fingroup.fingroup]
g:874 [in mathcomp.character.mxrepresentation]
G:875 [in mathcomp.character.classfun]
G:876 [in mathcomp.fingroup.fingroup]
G:876 [in mathcomp.character.character]
g:877 [in mathcomp.algebra.vector]
G:878 [in mathcomp.fingroup.fingroup]
G:878 [in mathcomp.character.character]
G:879 [in mathcomp.character.classfun]
G:879 [in mathcomp.fingroup.fingroup]
G:88 [in mathcomp.solvable.frobenius]
G:88 [in mathcomp.solvable.gseries]
G:88 [in mathcomp.fingroup.presentation]
G:881 [in mathcomp.fingroup.fingroup]
G:881 [in mathcomp.character.character]
g:885 [in mathcomp.ssreflect.finset]
G:885 [in mathcomp.character.character]
G:887 [in mathcomp.fingroup.fingroup]
G:888 [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:891 [in mathcomp.fingroup.fingroup]
G:893 [in mathcomp.character.classfun]
G:893 [in mathcomp.fingroup.fingroup]
G:895 [in mathcomp.fingroup.fingroup]
G:896 [in mathcomp.character.character]
G:897 [in mathcomp.fingroup.fingroup]
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:901 [in mathcomp.fingroup.fingroup]
g:902 [in mathcomp.ssreflect.finset]
G:903 [in mathcomp.fingroup.fingroup]
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:910 [in mathcomp.character.character]
G:911 [in mathcomp.fingroup.fingroup]
G:913 [in mathcomp.fingroup.fingroup]
G:914 [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.ssreflect.ssrbool]
G:92 [in mathcomp.solvable.hall]
G:92 [in mathcomp.solvable.maximal]
G:920 [in mathcomp.character.character]
G:924 [in mathcomp.fingroup.fingroup]
G:924 [in mathcomp.character.character]
G:926 [in mathcomp.fingroup.fingroup]
G:926 [in mathcomp.character.character]
G:927 [in mathcomp.fingroup.fingroup]
G:928 [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:93 [in mathcomp.fingroup.presentation]
G:930 [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:942 [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:96 [in mathcomp.solvable.commutator]
G:96 [in mathcomp.solvable.gfunctor]
G:964 [in mathcomp.fingroup.fingroup]
G:966 [in mathcomp.character.character]
G:97 [in mathcomp.solvable.abelian]
G:97 [in mathcomp.fingroup.presentation]
G:973 [in mathcomp.character.character]
G:976 [in mathcomp.fingroup.fingroup]
G:977 [in mathcomp.fingroup.fingroup]
G:98 [in mathcomp.solvable.pgroup]
G:98 [in mathcomp.solvable.frobenius]
g:98 [in mathcomp.ssreflect.ssrbool]
G:98 [in mathcomp.solvable.hall]
G:980 [in mathcomp.fingroup.fingroup]
G:983 [in mathcomp.fingroup.fingroup]
G:985 [in mathcomp.character.character]
g:99 [in mathcomp.character.integral_char]
G:99 [in mathcomp.ssreflect.finfun]
G:99 [in mathcomp.solvable.commutator]
g:99 [in mathcomp.ssreflect.order]
G:99 [in mathcomp.solvable.extremal]
G:990 [in mathcomp.fingroup.fingroup]
G:991 [in mathcomp.fingroup.fingroup]
G:992 [in mathcomp.fingroup.fingroup]
G:994 [in mathcomp.fingroup.fingroup]
g:996 [in mathcomp.character.mxrepresentation]
G:999 [in mathcomp.fingroup.fingroup]

Global Index

_

(71649 entries)

Notation Index

H

J

T

W

X

Y

_

(1792 entries)

Binder Index

_

other

(46193 entries)

Module Index

H

J

K

L

W

X

Y

_

other

(266 entries)

Variable Index

J

W

X

Y

_

other

(3623 entries)

Library Index

K

L

U

W

X

Y

_

other

(91 entries)

Lemma Index

Y

_

other

(14204 entries)

Constructor Index

J

K

W

Y

_

other

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

(8 entries)

Inductive Index

J

K

Q

W

Y

Z

_

other

(134 entries)

Projection Index

H

I

J

K

L

N

O

Q

U

W

X

Y

Z

_

other

(44 entries)

Section Index

J

W

X

Y

_

other

(1276 entries)

Abbreviation Index

Y

_

other

(682 entries)

Definition Index

Y

_

other

(3041 entries)

Record Index

F

H

I

J

K

L

O

Q

U

W

X

Y

Z

_

other

(36 entries)