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)

S (binder)

sAG:394 [in mathcomp.fingroup.morphism]
sAG:397 [in mathcomp.fingroup.morphism]
satP:1931 [in mathcomp.algebra.ssralg]
sat:1930 [in mathcomp.algebra.ssralg]
scalerAl:749 [in mathcomp.algebra.ssralg]
scalerAr:1319 [in mathcomp.algebra.ssralg]
scalerA:676 [in mathcomp.algebra.ssralg]
scalerDl:684 [in mathcomp.algebra.ssralg]
scalerDr:678 [in mathcomp.algebra.ssralg]
scale1r:677 [in mathcomp.algebra.ssralg]
scale:672 [in mathcomp.algebra.ssralg]
Schur:2593 [in mathcomp.algebra.matrix]
sc:100 [in mathcomp.solvable.burnside_app]
sc:101 [in mathcomp.solvable.burnside_app]
sc:102 [in mathcomp.solvable.burnside_app]
sc:104 [in mathcomp.solvable.burnside_app]
sc:11 [in mathcomp.solvable.burnside_app]
sc:12 [in mathcomp.solvable.burnside_app]
sc:13 [in mathcomp.solvable.burnside_app]
sc:139 [in mathcomp.solvable.burnside_app]
sc:146 [in mathcomp.solvable.burnside_app]
sc:147 [in mathcomp.solvable.burnside_app]
sc:148 [in mathcomp.solvable.burnside_app]
sc:149 [in mathcomp.solvable.burnside_app]
sc:150 [in mathcomp.solvable.burnside_app]
sc:151 [in mathcomp.solvable.burnside_app]
sc:20 [in mathcomp.solvable.burnside_app]
sc:21 [in mathcomp.solvable.burnside_app]
sc:22 [in mathcomp.solvable.burnside_app]
sc:23 [in mathcomp.solvable.burnside_app]
sc:26 [in mathcomp.solvable.burnside_app]
sc:33 [in mathcomp.solvable.burnside_app]
sc:40 [in mathcomp.solvable.burnside_app]
sc:41 [in mathcomp.solvable.burnside_app]
sc:42 [in mathcomp.solvable.burnside_app]
sc:43 [in mathcomp.solvable.burnside_app]
sc:80 [in mathcomp.solvable.burnside_app]
sc:81 [in mathcomp.solvable.burnside_app]
sc:82 [in mathcomp.solvable.burnside_app]
sc:83 [in mathcomp.solvable.burnside_app]
sc:84 [in mathcomp.solvable.burnside_app]
sc:85 [in mathcomp.solvable.burnside_app]
sc:86 [in mathcomp.solvable.burnside_app]
sc:87 [in mathcomp.solvable.burnside_app]
sc:88 [in mathcomp.solvable.burnside_app]
sc:89 [in mathcomp.solvable.burnside_app]
sc:90 [in mathcomp.solvable.burnside_app]
sc:91 [in mathcomp.solvable.burnside_app]
sc:92 [in mathcomp.solvable.burnside_app]
sc:93 [in mathcomp.solvable.burnside_app]
sc:94 [in mathcomp.solvable.burnside_app]
sc:95 [in mathcomp.solvable.burnside_app]
sc:96 [in mathcomp.solvable.burnside_app]
sc:97 [in mathcomp.solvable.burnside_app]
sc:98 [in mathcomp.solvable.burnside_app]
sc:99 [in mathcomp.solvable.burnside_app]
sdivr_closed_subproof:2178 [in mathcomp.algebra.ssralg]
semiring_closed_subproof:2679 [in mathcomp.algebra.ssralg]
semiring_closed_subproof:2666 [in mathcomp.algebra.ssralg]
semiring_closed_subproof:2151 [in mathcomp.algebra.ssralg]
semi_additive_subproof:779 [in mathcomp.algebra.ssralg]
sGD:175 [in mathcomp.solvable.frobenius]
sGD:179 [in mathcomp.solvable.frobenius]
sGD:182 [in mathcomp.solvable.frobenius]
sGD:184 [in mathcomp.solvable.frobenius]
sGD:659 [in mathcomp.character.character]
sG_Vg:245 [in mathcomp.solvable.cyclic]
sG_1g:244 [in mathcomp.solvable.cyclic]
sG_Ag:243 [in mathcomp.solvable.cyclic]
sG_M:242 [in mathcomp.solvable.cyclic]
sG_V:239 [in mathcomp.solvable.cyclic]
sG_MP:237 [in mathcomp.solvable.cyclic]
sG_VP:234 [in mathcomp.solvable.cyclic]
sG_1:232 [in mathcomp.solvable.cyclic]
sG:1308 [in mathcomp.character.mxrepresentation]
sG:1331 [in mathcomp.character.mxrepresentation]
sG:156 [in mathcomp.character.character]
sg:264 [in mathcomp.field.closed_field]
sHG:631 [in mathcomp.character.character]
sh:1665 [in mathcomp.ssreflect.seq]
sh:1669 [in mathcomp.ssreflect.seq]
sh:1672 [in mathcomp.ssreflect.seq]
sh:1674 [in mathcomp.ssreflect.seq]
sh:1679 [in mathcomp.ssreflect.seq]
sh:1681 [in mathcomp.ssreflect.seq]
sh:1685 [in mathcomp.ssreflect.seq]
sh:1687 [in mathcomp.ssreflect.seq]
sh:1708 [in mathcomp.ssreflect.seq]
sh:1711 [in mathcomp.ssreflect.seq]
sh:1714 [in mathcomp.ssreflect.seq]
sh:1718 [in mathcomp.ssreflect.seq]
sh:1720 [in mathcomp.ssreflect.seq]
sh:1722 [in mathcomp.ssreflect.seq]
sh:1724 [in mathcomp.ssreflect.seq]
sh:1727 [in mathcomp.ssreflect.seq]
sh:1734 [in mathcomp.ssreflect.seq]
sh:1758 [in mathcomp.ssreflect.seq]
simU:946 [in mathcomp.character.mxrepresentation]
sk:318 [in mathcomp.ssreflect.eqtype]
smulr_closed_subproof:2142 [in mathcomp.algebra.ssralg]
solve_monicpoly:370 [in mathcomp.field.closed_field]
solve_monicpoly:2005 [in mathcomp.algebra.ssralg]
splittingFieldP_subproof:152 [in mathcomp.field.galois]
sP:126 [in mathcomp.ssreflect.choice]
sP:128 [in mathcomp.ssreflect.choice]
sP:141 [in mathcomp.ssreflect.choice]
sP:147 [in mathcomp.ssreflect.choice]
sP:149 [in mathcomp.ssreflect.choice]
sp:173 [in mathcomp.field.closed_field]
sP:19 [in mathcomp.ssreflect.tuple]
sP:20 [in mathcomp.ssreflect.tuple]
sP:227 [in mathcomp.ssreflect.tuple]
sP:234 [in mathcomp.ssreflect.tuple]
sp:279 [in mathcomp.field.closed_field]
sqrCi:85 [in mathcomp.algebra.ssrnum]
sq:122 [in mathcomp.field.closed_field]
sq:136 [in mathcomp.field.closed_field]
sq:153 [in mathcomp.field.closed_field]
sq:162 [in mathcomp.field.closed_field]
sq:172 [in mathcomp.field.closed_field]
sq:3 [in mathcomp.algebra.polydiv]
sr:129 [in mathcomp.field.closed_field]
ss1:1677 [in mathcomp.ssreflect.seq]
ss1:1706 [in mathcomp.ssreflect.seq]
ss1:1771 [in mathcomp.ssreflect.seq]
ss2:1678 [in mathcomp.ssreflect.seq]
ss2:1707 [in mathcomp.ssreflect.seq]
ss2:1772 [in mathcomp.ssreflect.seq]
ss:1676 [in mathcomp.ssreflect.seq]
ss:1684 [in mathcomp.ssreflect.seq]
ss:1689 [in mathcomp.ssreflect.seq]
ss:1694 [in mathcomp.ssreflect.seq]
ss:1698 [in mathcomp.ssreflect.seq]
ss:1702 [in mathcomp.ssreflect.seq]
ss:1703 [in mathcomp.ssreflect.seq]
ss:1705 [in mathcomp.ssreflect.seq]
ss:1731 [in mathcomp.ssreflect.seq]
ss:1744 [in mathcomp.ssreflect.seq]
ss:1754 [in mathcomp.ssreflect.seq]
sS:233 [in mathcomp.character.mxabelem]
Ss:435 [in mathcomp.algebra.vector]
ss:445 [in mathcomp.ssreflect.path]
ss:449 [in mathcomp.ssreflect.path]
ss:452 [in mathcomp.ssreflect.path]
ss:457 [in mathcomp.ssreflect.path]
ss:469 [in mathcomp.ssreflect.path]
ss:472 [in mathcomp.ssreflect.path]
ss:473 [in mathcomp.ssreflect.path]
ss:566 [in mathcomp.ssreflect.path]
ss:570 [in mathcomp.ssreflect.path]
ss:572 [in mathcomp.ssreflect.path]
strategy:4 [in mathcomp.ssreflect.ssrAC]
sT:10 [in mathcomp.field.algebraics_fundamentals]
sT:156 [in mathcomp.solvable.frobenius]
sT:177 [in mathcomp.ssreflect.choice]
sT:20 [in mathcomp.ssreflect.ssrfun]
sT:200 [in mathcomp.ssreflect.choice]
sT:203 [in mathcomp.ssreflect.choice]
sT:207 [in mathcomp.ssreflect.choice]
sT:211 [in mathcomp.ssreflect.choice]
sT:215 [in mathcomp.ssreflect.choice]
sT:220 [in mathcomp.ssreflect.choice]
st:2242 [in mathcomp.ssreflect.seq]
sT:225 [in mathcomp.ssreflect.choice]
st:2426 [in mathcomp.ssreflect.seq]
sT:25 [in mathcomp.ssreflect.ssrfun]
sT:266 [in mathcomp.ssreflect.eqtype]
sT:31 [in mathcomp.ssreflect.ssrfun]
sT:363 [in mathcomp.ssreflect.eqtype]
sT:366 [in mathcomp.ssreflect.eqtype]
sT:37 [in mathcomp.solvable.frobenius]
sT:37 [in mathcomp.ssreflect.ssrfun]
sT:376 [in mathcomp.ssreflect.eqtype]
sT:3950 [in mathcomp.ssreflect.order]
sT:4 [in mathcomp.solvable.burnside_app]
sT:719 [in mathcomp.ssreflect.fintype]
sT:723 [in mathcomp.ssreflect.fintype]
sT:727 [in mathcomp.ssreflect.fintype]
sT:733 [in mathcomp.ssreflect.fintype]
sT:741 [in mathcomp.ssreflect.fintype]
subalg_closed_subproof:2753 [in mathcomp.algebra.ssralg]
subalg_closed_subproof:2736 [in mathcomp.algebra.ssralg]
subalg_closed_subproof:2201 [in mathcomp.algebra.ssralg]
subfield_subproof:2653 [in mathcomp.algebra.ssralg]
SubK_subproof:256 [in mathcomp.ssreflect.eqtype]
submod_closed_subproof:2719 [in mathcomp.algebra.ssralg]
submod_closed_subproof:2526 [in mathcomp.algebra.ssralg]
submod_closed_subproof:2188 [in mathcomp.algebra.ssralg]
subring_closed_subproof:2705 [in mathcomp.algebra.ssralg]
subring_closed_subproof:2692 [in mathcomp.algebra.ssralg]
subring_closed_subproof:2474 [in mathcomp.algebra.ssralg]
subring_closed_subproof:2160 [in mathcomp.algebra.ssralg]
sub_gt0:2589 [in mathcomp.algebra.ssrnum]
sub_ge0:2549 [in mathcomp.algebra.ssrnum]
Sub_rect:253 [in mathcomp.ssreflect.eqtype]
sub_sort:245 [in mathcomp.ssreflect.eqtype]
Sub:248 [in mathcomp.ssreflect.eqtype]
sub:783 [in mathcomp.algebra.matrix]
sumA:212 [in mathcomp.field.falgebra]
sumX:568 [in mathcomp.algebra.vector]
sum12g:156 [in mathcomp.character.integral_char]
Sv:2375 [in mathcomp.algebra.ssralg]
Sv:2412 [in mathcomp.algebra.ssralg]
Sv:2448 [in mathcomp.algebra.ssralg]
Sv:2485 [in mathcomp.algebra.ssralg]
Sv:2540 [in mathcomp.algebra.ssralg]
Sv:2617 [in mathcomp.algebra.ssralg]
Sv:3617 [in mathcomp.ssreflect.order]
Sv:3712 [in mathcomp.ssreflect.order]
Sv:3799 [in mathcomp.ssreflect.order]
sW:1031 [in mathcomp.character.mxrepresentation]
sz_rs:221 [in mathcomp.solvable.cyclic]
S_:20 [in mathcomp.algebra.mxpoly]
s_a:1116 [in mathcomp.algebra.ssralg]
s_gt0:765 [in mathcomp.ssreflect.fintype]
S_:1344 [in mathcomp.algebra.mxalgebra]
S_:1322 [in mathcomp.algebra.mxalgebra]
S_:1284 [in mathcomp.algebra.mxalgebra]
s':1210 [in mathcomp.ssreflect.seq]
s':1268 [in mathcomp.ssreflect.seq]
s':1889 [in mathcomp.ssreflect.seq]
s':2367 [in mathcomp.ssreflect.bigop]
s':2379 [in mathcomp.ssreflect.bigop]
s':2392 [in mathcomp.ssreflect.bigop]
s':2403 [in mathcomp.ssreflect.bigop]
s':2418 [in mathcomp.ssreflect.bigop]
s':2430 [in mathcomp.ssreflect.bigop]
S':2523 [in mathcomp.ssreflect.seq]
s':257 [in mathcomp.ssreflect.fintype]
s':259 [in mathcomp.ssreflect.fintype]
s':315 [in mathcomp.ssreflect.tuple]
s':317 [in mathcomp.ssreflect.tuple]
s':346 [in mathcomp.ssreflect.tuple]
s':349 [in mathcomp.ssreflect.tuple]
s':50 [in mathcomp.fingroup.presentation]
s':551 [in mathcomp.ssreflect.seq]
s':552 [in mathcomp.ssreflect.seq]
s':553 [in mathcomp.ssreflect.seq]
s':735 [in mathcomp.ssreflect.seq]
s':89 [in mathcomp.ssreflect.path]
s0:236 [in mathcomp.solvable.cyclic]
s0:241 [in mathcomp.solvable.cyclic]
s0:54 [in mathcomp.solvable.extremal]
s0:56 [in mathcomp.solvable.extremal]
s1y:907 [in mathcomp.ssreflect.seq]
s1':1798 [in mathcomp.ssreflect.seq]
s1':2568 [in mathcomp.ssreflect.seq]
s1':2580 [in mathcomp.ssreflect.seq]
s1':536 [in mathcomp.ssreflect.path]
s1:101 [in mathcomp.ssreflect.seq]
s1:1015 [in mathcomp.ssreflect.seq]
s1:1062 [in mathcomp.ssreflect.seq]
s1:1070 [in mathcomp.ssreflect.seq]
s1:1076 [in mathcomp.ssreflect.seq]
s1:1080 [in mathcomp.ssreflect.seq]
s1:1083 [in mathcomp.ssreflect.seq]
s1:1091 [in mathcomp.ssreflect.seq]
s1:1095 [in mathcomp.ssreflect.seq]
s1:1097 [in mathcomp.ssreflect.seq]
s1:11 [in mathcomp.fingroup.presentation]
s1:1101 [in mathcomp.ssreflect.seq]
s1:1106 [in mathcomp.ssreflect.seq]
s1:1113 [in mathcomp.ssreflect.seq]
s1:1116 [in mathcomp.ssreflect.seq]
s1:1119 [in mathcomp.ssreflect.seq]
S1:112 [in mathcomp.character.classfun]
S1:114 [in mathcomp.fingroup.action]
s1:1162 [in mathcomp.ssreflect.seq]
s1:121 [in mathcomp.solvable.jordanholder]
s1:1220 [in mathcomp.ssreflect.seq]
s1:1222 [in mathcomp.ssreflect.seq]
s1:1228 [in mathcomp.ssreflect.seq]
s1:1236 [in mathcomp.ssreflect.seq]
s1:1239 [in mathcomp.ssreflect.seq]
s1:1242 [in mathcomp.ssreflect.seq]
s1:1247 [in mathcomp.ssreflect.seq]
s1:1251 [in mathcomp.ssreflect.seq]
s1:1253 [in mathcomp.ssreflect.seq]
s1:1255 [in mathcomp.ssreflect.order]
s1:1265 [in mathcomp.ssreflect.order]
s1:1267 [in mathcomp.ssreflect.order]
s1:1269 [in mathcomp.ssreflect.order]
s1:1273 [in mathcomp.ssreflect.seq]
s1:1280 [in mathcomp.ssreflect.seq]
s1:1282 [in mathcomp.ssreflect.seq]
s1:13 [in mathcomp.ssreflect.ssrAC]
S1:1311 [in mathcomp.algebra.mxalgebra]
s1:137 [in mathcomp.ssreflect.seq]
s1:1460 [in mathcomp.ssreflect.seq]
s1:1472 [in mathcomp.ssreflect.seq]
s1:1481 [in mathcomp.ssreflect.seq]
s1:1510 [in mathcomp.ssreflect.seq]
s1:152 [in mathcomp.ssreflect.seq]
s1:1534 [in mathcomp.ssreflect.seq]
s1:1547 [in mathcomp.ssreflect.seq]
s1:1550 [in mathcomp.ssreflect.seq]
S1:157 [in mathcomp.character.classfun]
s1:1586 [in mathcomp.ssreflect.seq]
s1:1634 [in mathcomp.ssreflect.seq]
s1:1645 [in mathcomp.ssreflect.seq]
s1:1649 [in mathcomp.ssreflect.seq]
S1:176 [in mathcomp.character.classfun]
s1:1782 [in mathcomp.ssreflect.seq]
s1:1787 [in mathcomp.ssreflect.seq]
s1:1792 [in mathcomp.ssreflect.seq]
s1:1796 [in mathcomp.ssreflect.seq]
s1:1800 [in mathcomp.ssreflect.seq]
s1:1802 [in mathcomp.ssreflect.seq]
s1:1807 [in mathcomp.ssreflect.seq]
s1:1810 [in mathcomp.ssreflect.seq]
s1:1815 [in mathcomp.ssreflect.seq]
s1:1817 [in mathcomp.ssreflect.seq]
s1:1822 [in mathcomp.ssreflect.seq]
s1:1824 [in mathcomp.ssreflect.seq]
s1:1826 [in mathcomp.ssreflect.seq]
s1:1828 [in mathcomp.ssreflect.seq]
s1:1830 [in mathcomp.ssreflect.seq]
s1:1832 [in mathcomp.ssreflect.seq]
s1:1835 [in mathcomp.ssreflect.seq]
s1:1839 [in mathcomp.ssreflect.seq]
s1:1843 [in mathcomp.ssreflect.seq]
s1:1847 [in mathcomp.ssreflect.seq]
s1:1851 [in mathcomp.ssreflect.seq]
s1:1855 [in mathcomp.ssreflect.seq]
s1:1861 [in mathcomp.ssreflect.seq]
s1:1865 [in mathcomp.ssreflect.seq]
s1:1867 [in mathcomp.ssreflect.seq]
s1:1869 [in mathcomp.ssreflect.seq]
s1:1873 [in mathcomp.ssreflect.seq]
s1:1876 [in mathcomp.ssreflect.seq]
s1:1878 [in mathcomp.ssreflect.seq]
s1:1880 [in mathcomp.ssreflect.seq]
s1:1883 [in mathcomp.ssreflect.seq]
s1:1886 [in mathcomp.ssreflect.seq]
s1:1890 [in mathcomp.ssreflect.seq]
s1:1892 [in mathcomp.ssreflect.seq]
s1:1894 [in mathcomp.ssreflect.seq]
s1:1896 [in mathcomp.ssreflect.seq]
s1:1904 [in mathcomp.ssreflect.seq]
s1:1907 [in mathcomp.ssreflect.seq]
s1:1909 [in mathcomp.ssreflect.seq]
s1:1912 [in mathcomp.ssreflect.seq]
s1:1916 [in mathcomp.ssreflect.seq]
s1:1919 [in mathcomp.ssreflect.seq]
s1:1921 [in mathcomp.ssreflect.seq]
s1:1924 [in mathcomp.ssreflect.seq]
s1:1928 [in mathcomp.ssreflect.seq]
s1:1931 [in mathcomp.ssreflect.seq]
s1:1934 [in mathcomp.ssreflect.seq]
s1:1937 [in mathcomp.ssreflect.seq]
s1:194 [in mathcomp.ssreflect.seq]
s1:1940 [in mathcomp.ssreflect.seq]
s1:1943 [in mathcomp.ssreflect.seq]
s1:1945 [in mathcomp.ssreflect.seq]
s1:1947 [in mathcomp.ssreflect.seq]
s1:1957 [in mathcomp.ssreflect.seq]
s1:1959 [in mathcomp.ssreflect.seq]
s1:1961 [in mathcomp.ssreflect.seq]
s1:1973 [in mathcomp.ssreflect.seq]
s1:1976 [in mathcomp.ssreflect.seq]
s1:1979 [in mathcomp.ssreflect.seq]
s1:1981 [in mathcomp.ssreflect.seq]
s1:1983 [in mathcomp.ssreflect.seq]
s1:1985 [in mathcomp.ssreflect.seq]
s1:2082 [in mathcomp.ssreflect.seq]
s1:21 [in mathcomp.solvable.jordanholder]
s1:216 [in mathcomp.ssreflect.seq]
s1:220 [in mathcomp.ssreflect.seq]
s1:2208 [in mathcomp.ssreflect.seq]
s1:222 [in mathcomp.ssreflect.seq]
s1:2222 [in mathcomp.ssreflect.seq]
s1:226 [in mathcomp.ssreflect.seq]
s1:232 [in mathcomp.fingroup.perm]
s1:234 [in mathcomp.fingroup.perm]
s1:237 [in mathcomp.fingroup.perm]
s1:2394 [in mathcomp.ssreflect.seq]
s1:2407 [in mathcomp.ssreflect.seq]
s1:246 [in mathcomp.ssreflect.path]
s1:248 [in mathcomp.ssreflect.path]
s1:250 [in mathcomp.ssreflect.path]
s1:252 [in mathcomp.ssreflect.path]
s1:253 [in mathcomp.ssreflect.fintype]
s1:2552 [in mathcomp.ssreflect.seq]
s1:2557 [in mathcomp.ssreflect.seq]
s1:2562 [in mathcomp.ssreflect.seq]
s1:2567 [in mathcomp.ssreflect.seq]
s1:257 [in mathcomp.ssreflect.path]
s1:2573 [in mathcomp.ssreflect.seq]
s1:2579 [in mathcomp.ssreflect.seq]
s1:259 [in mathcomp.ssreflect.path]
s1:260 [in mathcomp.ssreflect.fintype]
S1:2628 [in mathcomp.algebra.matrix]
s1:267 [in mathcomp.ssreflect.fintype]
s1:2677 [in mathcomp.ssreflect.seq]
s1:269 [in mathcomp.ssreflect.path]
s1:27 [in mathcomp.field.algnum]
s1:271 [in mathcomp.ssreflect.path]
s1:274 [in mathcomp.ssreflect.path]
s1:276 [in mathcomp.ssreflect.path]
s1:28 [in mathcomp.field.algnum]
s1:291 [in mathcomp.ssreflect.path]
s1:293 [in mathcomp.ssreflect.path]
s1:298 [in mathcomp.ssreflect.seq]
s1:301 [in mathcomp.ssreflect.seq]
s1:326 [in mathcomp.ssreflect.seq]
s1:329 [in mathcomp.ssreflect.seq]
s1:331 [in mathcomp.ssreflect.seq]
s1:35 [in mathcomp.ssreflect.seq]
s1:353 [in mathcomp.ssreflect.fintype]
s1:358 [in mathcomp.ssreflect.fintype]
s1:383 [in mathcomp.ssreflect.seq]
s1:387 [in mathcomp.ssreflect.seq]
S1:415 [in mathcomp.algebra.vector]
s1:43 [in mathcomp.ssreflect.seq]
s1:437 [in mathcomp.ssreflect.path]
s1:44 [in mathcomp.solvable.jordanholder]
s1:4433 [in mathcomp.ssreflect.order]
s1:4438 [in mathcomp.ssreflect.order]
s1:444 [in mathcomp.ssreflect.path]
s1:4445 [in mathcomp.ssreflect.order]
s1:4449 [in mathcomp.ssreflect.order]
s1:4454 [in mathcomp.ssreflect.order]
s1:4466 [in mathcomp.ssreflect.order]
s1:447 [in mathcomp.ssreflect.seq]
s1:4471 [in mathcomp.ssreflect.order]
s1:4474 [in mathcomp.ssreflect.order]
s1:4479 [in mathcomp.ssreflect.order]
s1:448 [in mathcomp.ssreflect.path]
s1:4495 [in mathcomp.ssreflect.order]
s1:4500 [in mathcomp.ssreflect.order]
s1:4505 [in mathcomp.ssreflect.order]
s1:4507 [in mathcomp.ssreflect.order]
s1:4511 [in mathcomp.ssreflect.order]
s1:4520 [in mathcomp.ssreflect.order]
s1:4524 [in mathcomp.ssreflect.order]
s1:4528 [in mathcomp.ssreflect.order]
s1:4532 [in mathcomp.ssreflect.order]
s1:4536 [in mathcomp.ssreflect.order]
s1:4539 [in mathcomp.ssreflect.order]
s1:4543 [in mathcomp.ssreflect.order]
s1:4547 [in mathcomp.ssreflect.order]
s1:456 [in mathcomp.ssreflect.seq]
s1:456 [in mathcomp.ssreflect.path]
s1:462 [in mathcomp.ssreflect.path]
s1:463 [in mathcomp.ssreflect.seq]
s1:464 [in mathcomp.ssreflect.path]
s1:465 [in mathcomp.ssreflect.seq]
s1:468 [in mathcomp.ssreflect.path]
s1:469 [in mathcomp.ssreflect.seq]
s1:480 [in mathcomp.ssreflect.path]
s1:482 [in mathcomp.ssreflect.path]
S1:484 [in mathcomp.character.classfun]
s1:488 [in mathcomp.ssreflect.path]
S1:490 [in mathcomp.character.classfun]
s1:490 [in mathcomp.ssreflect.path]
S1:492 [in mathcomp.character.classfun]
s1:506 [in mathcomp.ssreflect.path]
s1:508 [in mathcomp.ssreflect.path]
s1:510 [in mathcomp.ssreflect.path]
s1:511 [in mathcomp.ssreflect.path]
s1:512 [in mathcomp.ssreflect.seq]
s1:513 [in mathcomp.ssreflect.path]
s1:52 [in mathcomp.ssreflect.seq]
S1:52 [in mathcomp.solvable.primitive_action]
S1:521 [in mathcomp.character.classfun]
s1:522 [in mathcomp.ssreflect.path]
s1:524 [in mathcomp.ssreflect.path]
s1:526 [in mathcomp.ssreflect.path]
s1:532 [in mathcomp.ssreflect.path]
s1:533 [in mathcomp.ssreflect.order]
s1:535 [in mathcomp.ssreflect.path]
s1:536 [in mathcomp.ssreflect.order]
S1:538 [in mathcomp.character.classfun]
s1:538 [in mathcomp.ssreflect.order]
s1:540 [in mathcomp.ssreflect.order]
s1:543 [in mathcomp.ssreflect.order]
s1:545 [in mathcomp.ssreflect.order]
s1:548 [in mathcomp.ssreflect.path]
s1:55 [in mathcomp.ssreflect.seq]
S1:556 [in mathcomp.algebra.poly]
s1:569 [in mathcomp.ssreflect.seq]
s1:569 [in mathcomp.ssreflect.path]
s1:57 [in mathcomp.ssreflect.seq]
s1:571 [in mathcomp.ssreflect.seq]
s1:571 [in mathcomp.ssreflect.path]
s1:573 [in mathcomp.ssreflect.seq]
s1:601 [in mathcomp.ssreflect.seq]
s1:603 [in mathcomp.ssreflect.seq]
s1:605 [in mathcomp.ssreflect.seq]
s1:619 [in mathcomp.ssreflect.seq]
s1:621 [in mathcomp.ssreflect.seq]
S1:64 [in mathcomp.fingroup.perm]
s1:655 [in mathcomp.ssreflect.seq]
s1:660 [in mathcomp.ssreflect.path]
s1:664 [in mathcomp.ssreflect.path]
s1:681 [in mathcomp.ssreflect.seq]
s1:686 [in mathcomp.ssreflect.seq]
s1:691 [in mathcomp.ssreflect.seq]
s1:694 [in mathcomp.ssreflect.seq]
s1:697 [in mathcomp.ssreflect.seq]
S1:70 [in mathcomp.character.vcharacter]
s1:702 [in mathcomp.ssreflect.seq]
s1:707 [in mathcomp.ssreflect.seq]
s1:712 [in mathcomp.ssreflect.seq]
s1:717 [in mathcomp.ssreflect.seq]
s1:722 [in mathcomp.ssreflect.seq]
S1:74 [in mathcomp.character.vcharacter]
S1:79 [in mathcomp.character.vcharacter]
s1:791 [in mathcomp.ssreflect.seq]
s1:802 [in mathcomp.ssreflect.seq]
s1:809 [in mathcomp.ssreflect.seq]
S1:82 [in mathcomp.character.vcharacter]
s1:828 [in mathcomp.ssreflect.seq]
s1:831 [in mathcomp.ssreflect.seq]
s1:835 [in mathcomp.ssreflect.seq]
s1:837 [in mathcomp.ssreflect.seq]
s1:839 [in mathcomp.ssreflect.seq]
s1:841 [in mathcomp.ssreflect.seq]
s1:843 [in mathcomp.ssreflect.seq]
s1:850 [in mathcomp.ssreflect.seq]
s1:852 [in mathcomp.ssreflect.seq]
s1:855 [in mathcomp.ssreflect.seq]
s1:858 [in mathcomp.ssreflect.seq]
s1:86 [in mathcomp.ssreflect.seq]
s1:862 [in mathcomp.ssreflect.seq]
s1:865 [in mathcomp.ssreflect.seq]
s1:868 [in mathcomp.ssreflect.seq]
s1:879 [in mathcomp.ssreflect.seq]
s1:884 [in mathcomp.ssreflect.seq]
s1:886 [in mathcomp.ssreflect.seq]
s1:894 [in mathcomp.ssreflect.seq]
s1:897 [in mathcomp.ssreflect.seq]
s1:900 [in mathcomp.ssreflect.seq]
s1:902 [in mathcomp.ssreflect.seq]
s1:904 [in mathcomp.ssreflect.seq]
s1:908 [in mathcomp.ssreflect.seq]
s1:910 [in mathcomp.ssreflect.seq]
s1:912 [in mathcomp.ssreflect.seq]
s1:914 [in mathcomp.ssreflect.seq]
s1:916 [in mathcomp.ssreflect.seq]
s1:918 [in mathcomp.ssreflect.seq]
s1:92 [in mathcomp.ssreflect.seq]
s1:923 [in mathcomp.ssreflect.seq]
s1:926 [in mathcomp.ssreflect.seq]
s1:929 [in mathcomp.ssreflect.seq]
s1:933 [in mathcomp.ssreflect.seq]
s1:936 [in mathcomp.ssreflect.seq]
s1:943 [in mathcomp.ssreflect.seq]
s1:98 [in mathcomp.ssreflect.seq]
s2':1804 [in mathcomp.ssreflect.seq]
s2':1834 [in mathcomp.ssreflect.seq]
s2':2575 [in mathcomp.ssreflect.seq]
s2':2582 [in mathcomp.ssreflect.seq]
s2':538 [in mathcomp.ssreflect.path]
s2:1016 [in mathcomp.ssreflect.seq]
s2:102 [in mathcomp.ssreflect.seq]
s2:1063 [in mathcomp.ssreflect.seq]
s2:1071 [in mathcomp.ssreflect.seq]
s2:1077 [in mathcomp.ssreflect.seq]
s2:1081 [in mathcomp.ssreflect.seq]
s2:1084 [in mathcomp.ssreflect.seq]
s2:1092 [in mathcomp.ssreflect.seq]
s2:1096 [in mathcomp.ssreflect.seq]
s2:1098 [in mathcomp.ssreflect.seq]
s2:1102 [in mathcomp.ssreflect.seq]
s2:1107 [in mathcomp.ssreflect.seq]
s2:1114 [in mathcomp.ssreflect.seq]
s2:1117 [in mathcomp.ssreflect.seq]
s2:1120 [in mathcomp.ssreflect.seq]
S2:113 [in mathcomp.character.classfun]
S2:115 [in mathcomp.fingroup.action]
s2:1163 [in mathcomp.ssreflect.seq]
s2:12 [in mathcomp.fingroup.presentation]
s2:122 [in mathcomp.solvable.jordanholder]
s2:1221 [in mathcomp.ssreflect.seq]
s2:1223 [in mathcomp.ssreflect.seq]
s2:1229 [in mathcomp.ssreflect.seq]
s2:1237 [in mathcomp.ssreflect.seq]
s2:1240 [in mathcomp.ssreflect.seq]
s2:1243 [in mathcomp.ssreflect.seq]
s2:1248 [in mathcomp.ssreflect.seq]
s2:1252 [in mathcomp.ssreflect.seq]
s2:1254 [in mathcomp.ssreflect.seq]
s2:1256 [in mathcomp.ssreflect.order]
s2:1266 [in mathcomp.ssreflect.order]
s2:1268 [in mathcomp.ssreflect.order]
s2:1270 [in mathcomp.ssreflect.order]
s2:1274 [in mathcomp.ssreflect.seq]
s2:1281 [in mathcomp.ssreflect.seq]
s2:1283 [in mathcomp.ssreflect.seq]
S2:1312 [in mathcomp.algebra.mxalgebra]
s2:138 [in mathcomp.ssreflect.seq]
s2:14 [in mathcomp.ssreflect.ssrAC]
s2:1461 [in mathcomp.ssreflect.seq]
s2:1473 [in mathcomp.ssreflect.seq]
s2:1482 [in mathcomp.ssreflect.seq]
s2:1511 [in mathcomp.ssreflect.seq]
s2:153 [in mathcomp.ssreflect.seq]
s2:1535 [in mathcomp.ssreflect.seq]
s2:1548 [in mathcomp.ssreflect.seq]
S2:158 [in mathcomp.character.classfun]
s2:1587 [in mathcomp.ssreflect.seq]
s2:1635 [in mathcomp.ssreflect.seq]
s2:1646 [in mathcomp.ssreflect.seq]
s2:1650 [in mathcomp.ssreflect.seq]
s2:168 [in mathcomp.ssreflect.seq]
S2:177 [in mathcomp.character.classfun]
s2:1783 [in mathcomp.ssreflect.seq]
s2:1788 [in mathcomp.ssreflect.seq]
s2:1793 [in mathcomp.ssreflect.seq]
s2:1797 [in mathcomp.ssreflect.seq]
s2:1801 [in mathcomp.ssreflect.seq]
s2:1803 [in mathcomp.ssreflect.seq]
s2:1808 [in mathcomp.ssreflect.seq]
s2:1811 [in mathcomp.ssreflect.seq]
s2:1816 [in mathcomp.ssreflect.seq]
s2:1818 [in mathcomp.ssreflect.seq]
s2:1823 [in mathcomp.ssreflect.seq]
s2:1825 [in mathcomp.ssreflect.seq]
s2:1827 [in mathcomp.ssreflect.seq]
s2:1829 [in mathcomp.ssreflect.seq]
s2:1831 [in mathcomp.ssreflect.seq]
s2:1833 [in mathcomp.ssreflect.seq]
s2:1836 [in mathcomp.ssreflect.seq]
s2:1840 [in mathcomp.ssreflect.seq]
s2:1844 [in mathcomp.ssreflect.seq]
s2:1848 [in mathcomp.ssreflect.seq]
s2:1852 [in mathcomp.ssreflect.seq]
s2:1856 [in mathcomp.ssreflect.seq]
s2:1863 [in mathcomp.ssreflect.seq]
s2:1866 [in mathcomp.ssreflect.seq]
s2:1868 [in mathcomp.ssreflect.seq]
s2:1870 [in mathcomp.ssreflect.seq]
s2:1874 [in mathcomp.ssreflect.seq]
s2:1877 [in mathcomp.ssreflect.seq]
s2:1879 [in mathcomp.ssreflect.seq]
s2:1881 [in mathcomp.ssreflect.seq]
s2:1884 [in mathcomp.ssreflect.seq]
s2:1887 [in mathcomp.ssreflect.seq]
s2:1891 [in mathcomp.ssreflect.seq]
s2:1893 [in mathcomp.ssreflect.seq]
s2:1895 [in mathcomp.ssreflect.seq]
s2:1897 [in mathcomp.ssreflect.seq]
s2:1905 [in mathcomp.ssreflect.seq]
s2:1908 [in mathcomp.ssreflect.seq]
s2:1910 [in mathcomp.ssreflect.seq]
s2:1913 [in mathcomp.ssreflect.seq]
s2:1917 [in mathcomp.ssreflect.seq]
s2:1920 [in mathcomp.ssreflect.seq]
s2:1922 [in mathcomp.ssreflect.seq]
s2:1925 [in mathcomp.ssreflect.seq]
s2:1927 [in mathcomp.ssreflect.seq]
s2:1930 [in mathcomp.ssreflect.seq]
s2:1933 [in mathcomp.ssreflect.seq]
s2:1936 [in mathcomp.ssreflect.seq]
s2:1939 [in mathcomp.ssreflect.seq]
s2:1942 [in mathcomp.ssreflect.seq]
s2:1946 [in mathcomp.ssreflect.seq]
s2:1948 [in mathcomp.ssreflect.seq]
s2:195 [in mathcomp.ssreflect.seq]
s2:1958 [in mathcomp.ssreflect.seq]
s2:1960 [in mathcomp.ssreflect.seq]
s2:1962 [in mathcomp.ssreflect.seq]
s2:1974 [in mathcomp.ssreflect.seq]
s2:1977 [in mathcomp.ssreflect.seq]
s2:1980 [in mathcomp.ssreflect.seq]
s2:1982 [in mathcomp.ssreflect.seq]
s2:1984 [in mathcomp.ssreflect.seq]
s2:1986 [in mathcomp.ssreflect.seq]
s2:2083 [in mathcomp.ssreflect.seq]
s2:217 [in mathcomp.ssreflect.seq]
s2:22 [in mathcomp.solvable.jordanholder]
s2:221 [in mathcomp.ssreflect.seq]
s2:2210 [in mathcomp.ssreflect.seq]
s2:2224 [in mathcomp.ssreflect.seq]
s2:223 [in mathcomp.ssreflect.seq]
s2:227 [in mathcomp.ssreflect.seq]
s2:233 [in mathcomp.fingroup.perm]
s2:235 [in mathcomp.fingroup.perm]
s2:238 [in mathcomp.fingroup.perm]
s2:2396 [in mathcomp.ssreflect.seq]
s2:2409 [in mathcomp.ssreflect.seq]
s2:247 [in mathcomp.ssreflect.path]
s2:249 [in mathcomp.ssreflect.path]
s2:251 [in mathcomp.ssreflect.path]
s2:253 [in mathcomp.ssreflect.path]
s2:254 [in mathcomp.ssreflect.fintype]
s2:2553 [in mathcomp.ssreflect.seq]
s2:2558 [in mathcomp.ssreflect.seq]
s2:2563 [in mathcomp.ssreflect.seq]
s2:2569 [in mathcomp.ssreflect.seq]
s2:2574 [in mathcomp.ssreflect.seq]
s2:258 [in mathcomp.ssreflect.path]
s2:2581 [in mathcomp.ssreflect.seq]
s2:260 [in mathcomp.ssreflect.path]
s2:261 [in mathcomp.ssreflect.fintype]
S2:2629 [in mathcomp.algebra.matrix]
s2:2678 [in mathcomp.ssreflect.seq]
s2:268 [in mathcomp.ssreflect.fintype]
s2:270 [in mathcomp.ssreflect.path]
s2:272 [in mathcomp.ssreflect.path]
s2:275 [in mathcomp.ssreflect.path]
s2:277 [in mathcomp.ssreflect.path]
s2:292 [in mathcomp.ssreflect.path]
s2:294 [in mathcomp.ssreflect.path]
s2:299 [in mathcomp.ssreflect.seq]
s2:302 [in mathcomp.ssreflect.seq]
s2:327 [in mathcomp.ssreflect.seq]
s2:330 [in mathcomp.ssreflect.seq]
s2:332 [in mathcomp.ssreflect.seq]
s2:354 [in mathcomp.ssreflect.fintype]
s2:359 [in mathcomp.ssreflect.fintype]
s2:36 [in mathcomp.ssreflect.seq]
s2:384 [in mathcomp.ssreflect.seq]
s2:388 [in mathcomp.ssreflect.seq]
S2:416 [in mathcomp.algebra.vector]
s2:44 [in mathcomp.ssreflect.seq]
s2:440 [in mathcomp.ssreflect.path]
s2:4434 [in mathcomp.ssreflect.order]
s2:4439 [in mathcomp.ssreflect.order]
s2:4447 [in mathcomp.ssreflect.order]
s2:4450 [in mathcomp.ssreflect.order]
s2:4455 [in mathcomp.ssreflect.order]
s2:4467 [in mathcomp.ssreflect.order]
s2:4473 [in mathcomp.ssreflect.order]
s2:4475 [in mathcomp.ssreflect.order]
s2:448 [in mathcomp.ssreflect.seq]
s2:4481 [in mathcomp.ssreflect.order]
s2:4496 [in mathcomp.ssreflect.order]
s2:45 [in mathcomp.solvable.jordanholder]
s2:4501 [in mathcomp.ssreflect.order]
s2:4506 [in mathcomp.ssreflect.order]
s2:4508 [in mathcomp.ssreflect.order]
s2:4512 [in mathcomp.ssreflect.order]
s2:4522 [in mathcomp.ssreflect.order]
s2:4526 [in mathcomp.ssreflect.order]
s2:4530 [in mathcomp.ssreflect.order]
s2:4534 [in mathcomp.ssreflect.order]
s2:4537 [in mathcomp.ssreflect.order]
s2:4540 [in mathcomp.ssreflect.order]
s2:4544 [in mathcomp.ssreflect.order]
s2:4548 [in mathcomp.ssreflect.order]
s2:457 [in mathcomp.ssreflect.seq]
s2:463 [in mathcomp.ssreflect.path]
s2:464 [in mathcomp.ssreflect.seq]
s2:465 [in mathcomp.ssreflect.path]
s2:466 [in mathcomp.ssreflect.seq]
s2:470 [in mathcomp.ssreflect.seq]
s2:481 [in mathcomp.ssreflect.path]
s2:483 [in mathcomp.ssreflect.path]
S2:485 [in mathcomp.character.classfun]
s2:489 [in mathcomp.ssreflect.path]
S2:491 [in mathcomp.character.classfun]
s2:491 [in mathcomp.ssreflect.path]
S2:493 [in mathcomp.character.classfun]
s2:507 [in mathcomp.ssreflect.path]
s2:509 [in mathcomp.ssreflect.path]
s2:513 [in mathcomp.ssreflect.seq]
s2:514 [in mathcomp.ssreflect.path]
S2:522 [in mathcomp.character.classfun]
s2:523 [in mathcomp.ssreflect.path]
s2:525 [in mathcomp.ssreflect.path]
s2:527 [in mathcomp.ssreflect.path]
s2:53 [in mathcomp.ssreflect.seq]
S2:53 [in mathcomp.solvable.primitive_action]
s2:533 [in mathcomp.ssreflect.path]
s2:534 [in mathcomp.ssreflect.order]
s2:537 [in mathcomp.ssreflect.path]
s2:537 [in mathcomp.ssreflect.order]
S2:539 [in mathcomp.character.classfun]
s2:539 [in mathcomp.ssreflect.order]
s2:541 [in mathcomp.ssreflect.order]
s2:544 [in mathcomp.ssreflect.order]
s2:546 [in mathcomp.ssreflect.order]
s2:549 [in mathcomp.ssreflect.path]
S2:557 [in mathcomp.algebra.poly]
s2:56 [in mathcomp.ssreflect.seq]
s2:570 [in mathcomp.ssreflect.seq]
s2:572 [in mathcomp.ssreflect.seq]
s2:574 [in mathcomp.ssreflect.seq]
s2:58 [in mathcomp.ssreflect.seq]
s2:602 [in mathcomp.ssreflect.seq]
s2:604 [in mathcomp.ssreflect.seq]
s2:606 [in mathcomp.ssreflect.seq]
s2:620 [in mathcomp.ssreflect.seq]
s2:622 [in mathcomp.ssreflect.seq]
S2:65 [in mathcomp.fingroup.perm]
s2:656 [in mathcomp.ssreflect.seq]
s2:661 [in mathcomp.ssreflect.path]
s2:665 [in mathcomp.ssreflect.path]
s2:682 [in mathcomp.ssreflect.seq]
s2:687 [in mathcomp.ssreflect.seq]
s2:690 [in mathcomp.ssreflect.seq]
s2:695 [in mathcomp.ssreflect.seq]
s2:698 [in mathcomp.ssreflect.seq]
s2:703 [in mathcomp.ssreflect.seq]
s2:708 [in mathcomp.ssreflect.seq]
S2:71 [in mathcomp.character.vcharacter]
s2:713 [in mathcomp.ssreflect.seq]
s2:718 [in mathcomp.ssreflect.seq]
s2:723 [in mathcomp.ssreflect.seq]
S2:75 [in mathcomp.character.vcharacter]
s2:792 [in mathcomp.ssreflect.seq]
S2:80 [in mathcomp.character.vcharacter]
s2:803 [in mathcomp.ssreflect.seq]
s2:810 [in mathcomp.ssreflect.seq]
s2:829 [in mathcomp.ssreflect.seq]
S2:83 [in mathcomp.character.vcharacter]
s2:832 [in mathcomp.ssreflect.seq]
s2:836 [in mathcomp.ssreflect.seq]
s2:838 [in mathcomp.ssreflect.seq]
s2:840 [in mathcomp.ssreflect.seq]
s2:842 [in mathcomp.ssreflect.seq]
s2:844 [in mathcomp.ssreflect.seq]
s2:851 [in mathcomp.ssreflect.seq]
s2:853 [in mathcomp.ssreflect.seq]
s2:856 [in mathcomp.ssreflect.seq]
s2:859 [in mathcomp.ssreflect.seq]
s2:863 [in mathcomp.ssreflect.seq]
s2:866 [in mathcomp.ssreflect.seq]
s2:869 [in mathcomp.ssreflect.seq]
s2:87 [in mathcomp.ssreflect.seq]
s2:880 [in mathcomp.ssreflect.seq]
s2:885 [in mathcomp.ssreflect.seq]
s2:887 [in mathcomp.ssreflect.seq]
s2:895 [in mathcomp.ssreflect.seq]
s2:898 [in mathcomp.ssreflect.seq]
s2:901 [in mathcomp.ssreflect.seq]
s2:903 [in mathcomp.ssreflect.seq]
s2:905 [in mathcomp.ssreflect.seq]
s2:909 [in mathcomp.ssreflect.seq]
s2:911 [in mathcomp.ssreflect.seq]
s2:913 [in mathcomp.ssreflect.seq]
s2:915 [in mathcomp.ssreflect.seq]
s2:917 [in mathcomp.ssreflect.seq]
s2:919 [in mathcomp.ssreflect.seq]
s2:924 [in mathcomp.ssreflect.seq]
s2:927 [in mathcomp.ssreflect.seq]
s2:93 [in mathcomp.ssreflect.seq]
s2:930 [in mathcomp.ssreflect.seq]
s2:934 [in mathcomp.ssreflect.seq]
s2:937 [in mathcomp.ssreflect.seq]
s2:944 [in mathcomp.ssreflect.seq]
s2:99 [in mathcomp.ssreflect.seq]
s3':1842 [in mathcomp.ssreflect.seq]
s3:1078 [in mathcomp.ssreflect.seq]
s3:1244 [in mathcomp.ssreflect.seq]
s3:1249 [in mathcomp.ssreflect.seq]
s3:1799 [in mathcomp.ssreflect.seq]
s3:1809 [in mathcomp.ssreflect.seq]
s3:1812 [in mathcomp.ssreflect.seq]
s3:1841 [in mathcomp.ssreflect.seq]
s3:1845 [in mathcomp.ssreflect.seq]
s3:1882 [in mathcomp.ssreflect.seq]
s3:1923 [in mathcomp.ssreflect.seq]
s3:1926 [in mathcomp.ssreflect.seq]
s3:1929 [in mathcomp.ssreflect.seq]
s3:1932 [in mathcomp.ssreflect.seq]
s3:1935 [in mathcomp.ssreflect.seq]
s3:1938 [in mathcomp.ssreflect.seq]
s3:1941 [in mathcomp.ssreflect.seq]
s3:1944 [in mathcomp.ssreflect.seq]
s3:262 [in mathcomp.ssreflect.fintype]
s3:467 [in mathcomp.ssreflect.seq]
s3:54 [in mathcomp.ssreflect.seq]
s3:607 [in mathcomp.ssreflect.seq]
s3:699 [in mathcomp.ssreflect.seq]
s3:704 [in mathcomp.ssreflect.seq]
s3:709 [in mathcomp.ssreflect.seq]
s3:714 [in mathcomp.ssreflect.seq]
s3:719 [in mathcomp.ssreflect.seq]
s3:724 [in mathcomp.ssreflect.seq]
s3:845 [in mathcomp.ssreflect.seq]
s3:854 [in mathcomp.ssreflect.seq]
s3:864 [in mathcomp.ssreflect.seq]
s3:867 [in mathcomp.ssreflect.seq]
s3:870 [in mathcomp.ssreflect.seq]
s3:928 [in mathcomp.ssreflect.seq]
s3:935 [in mathcomp.ssreflect.seq]
s4:1079 [in mathcomp.ssreflect.seq]
s4:1245 [in mathcomp.ssreflect.seq]
s4:468 [in mathcomp.ssreflect.seq]
s4:700 [in mathcomp.ssreflect.seq]
s4:705 [in mathcomp.ssreflect.seq]
s4:710 [in mathcomp.ssreflect.seq]
s4:715 [in mathcomp.ssreflect.seq]
s4:720 [in mathcomp.ssreflect.seq]
s4:725 [in mathcomp.ssreflect.seq]
s4:871 [in mathcomp.ssreflect.seq]
s:1 [in mathcomp.field.algnum]
s:10 [in mathcomp.ssreflect.seq]
s:10 [in mathcomp.ssreflect.ssrAC]
s:10 [in mathcomp.fingroup.presentation]
s:1001 [in mathcomp.ssreflect.seq]
s:1004 [in mathcomp.ssreflect.seq]
s:101 [in mathcomp.solvable.jordanholder]
s:101 [in mathcomp.ssreflect.path]
s:1010 [in mathcomp.ssreflect.seq]
S:1011 [in mathcomp.character.classfun]
s:1012 [in mathcomp.ssreflect.seq]
s:1020 [in mathcomp.ssreflect.seq]
s:1023 [in mathcomp.ssreflect.seq]
s:1028 [in mathcomp.ssreflect.seq]
s:103 [in mathcomp.solvable.jordanholder]
s:1031 [in mathcomp.ssreflect.seq]
s:1033 [in mathcomp.ssreflect.seq]
s:1035 [in mathcomp.ssreflect.seq]
s:1035 [in mathcomp.algebra.ssralg]
s:1037 [in mathcomp.ssreflect.seq]
s:1041 [in mathcomp.ssreflect.seq]
s:1041 [in mathcomp.algebra.ssralg]
s:1043 [in mathcomp.ssreflect.seq]
s:1045 [in mathcomp.algebra.matrix]
s:1046 [in mathcomp.algebra.ssralg]
s:1048 [in mathcomp.algebra.matrix]
s:105 [in mathcomp.ssreflect.seq]
s:1050 [in mathcomp.ssreflect.seq]
s:1053 [in mathcomp.ssreflect.seq]
s:1054 [in mathcomp.algebra.ssralg]
s:1056 [in mathcomp.ssreflect.seq]
s:1057 [in mathcomp.ssreflect.seq]
s:1060 [in mathcomp.ssreflect.seq]
s:1065 [in mathcomp.algebra.ssralg]
s:1067 [in mathcomp.ssreflect.seq]
s:1068 [in mathcomp.ssreflect.seq]
s:1069 [in mathcomp.ssreflect.seq]
s:107 [in mathcomp.ssreflect.seq]
s:1071 [in mathcomp.algebra.ssralg]
s:1075 [in mathcomp.ssreflect.seq]
s:108 [in mathcomp.fingroup.perm]
s:108 [in mathcomp.ssreflect.finset]
S:108 [in mathcomp.fingroup.morphism]
s:1081 [in mathcomp.algebra.ssralg]
s:1085 [in mathcomp.ssreflect.seq]
s:1086 [in mathcomp.algebra.ssralg]
s:1088 [in mathcomp.ssreflect.seq]
s:109 [in mathcomp.fingroup.perm]
s:109 [in mathcomp.ssreflect.seq]
S:109 [in mathcomp.fingroup.action]
S:109 [in mathcomp.character.classfun]
s:109 [in mathcomp.ssreflect.path]
s:1091 [in mathcomp.algebra.ssralg]
s:1094 [in mathcomp.ssreflect.seq]
s:1099 [in mathcomp.ssreflect.seq]
s:11 [in mathcomp.solvable.jordanholder]
S:110 [in mathcomp.fingroup.action]
S:110 [in mathcomp.fingroup.morphism]
s:1102 [in mathcomp.algebra.ssralg]
s:1104 [in mathcomp.ssreflect.seq]
s:1108 [in mathcomp.ssreflect.seq]
s:111 [in mathcomp.ssreflect.seq]
S:111 [in mathcomp.fingroup.action]
s:1110 [in mathcomp.ssreflect.seq]
s:1112 [in mathcomp.ssreflect.seq]
s:1115 [in mathcomp.ssreflect.seq]
s:1118 [in mathcomp.ssreflect.seq]
s:112 [in mathcomp.ssreflect.seq]
S:112 [in mathcomp.fingroup.morphism]
s:1122 [in mathcomp.ssreflect.seq]
s:1128 [in mathcomp.ssreflect.seq]
s:1132 [in mathcomp.ssreflect.seq]
s:1133 [in mathcomp.ssreflect.seq]
s:1134 [in mathcomp.ssreflect.seq]
s:1135 [in mathcomp.ssreflect.seq]
s:1137 [in mathcomp.ssreflect.seq]
s:1138 [in mathcomp.ssreflect.seq]
s:1139 [in mathcomp.ssreflect.seq]
s:1140 [in mathcomp.ssreflect.seq]
s:1142 [in mathcomp.ssreflect.seq]
s:1143 [in mathcomp.ssreflect.seq]
s:1144 [in mathcomp.ssreflect.seq]
s:1145 [in mathcomp.ssreflect.seq]
s:1147 [in mathcomp.ssreflect.seq]
s:1149 [in mathcomp.ssreflect.seq]
s:1156 [in mathcomp.ssreflect.seq]
s:116 [in mathcomp.algebra.matrix]
S:116 [in mathcomp.fingroup.action]
s:1160 [in mathcomp.ssreflect.seq]
s:1160 [in mathcomp.algebra.poly]
s:1164 [in mathcomp.ssreflect.seq]
s:1165 [in mathcomp.ssreflect.seq]
s:1165 [in mathcomp.ssreflect.ssrnat]
s:1167 [in mathcomp.ssreflect.seq]
s:1168 [in mathcomp.ssreflect.seq]
s:117 [in mathcomp.ssreflect.seq]
S:117 [in mathcomp.fingroup.action]
s:117 [in mathcomp.ssreflect.path]
s:1170 [in mathcomp.ssreflect.seq]
s:1172 [in mathcomp.ssreflect.seq]
s:1172 [in mathcomp.algebra.poly]
s:1175 [in mathcomp.ssreflect.seq]
s:1177 [in mathcomp.ssreflect.seq]
s:1179 [in mathcomp.ssreflect.seq]
s:118 [in mathcomp.algebra.matrix]
S:118 [in mathcomp.fingroup.action]
s:1181 [in mathcomp.ssreflect.seq]
s:1183 [in mathcomp.ssreflect.seq]
s:1186 [in mathcomp.ssreflect.seq]
s:1186 [in mathcomp.ssreflect.ssrnat]
s:1187 [in mathcomp.ssreflect.seq]
s:1188 [in mathcomp.ssreflect.seq]
s:1189 [in mathcomp.ssreflect.seq]
s:119 [in mathcomp.algebra.interval]
s:1190 [in mathcomp.ssreflect.seq]
s:1191 [in mathcomp.ssreflect.seq]
s:1193 [in mathcomp.ssreflect.seq]
s:1194 [in mathcomp.algebra.ssralg]
s:1195 [in mathcomp.ssreflect.seq]
S:12 [in mathcomp.character.vcharacter]
s:12 [in mathcomp.ssreflect.seq]
s:120 [in mathcomp.fingroup.perm]
s:1200 [in mathcomp.algebra.ssralg]
s:1206 [in mathcomp.ssreflect.seq]
s:1209 [in mathcomp.ssreflect.seq]
S:121 [in mathcomp.fingroup.action]
s:121 [in mathcomp.ssreflect.path]
s:1214 [in mathcomp.ssreflect.seq]
s:1216 [in mathcomp.ssreflect.seq]
S:122 [in mathcomp.fingroup.action]
s:123 [in mathcomp.fingroup.perm]
s:123 [in mathcomp.ssreflect.seq]
S:123 [in mathcomp.fingroup.action]
s:123 [in mathcomp.ssreflect.path]
s:123 [in mathcomp.field.algnum]
s:1231 [in mathcomp.ssreflect.seq]
s:1232 [in mathcomp.ssreflect.seq]
s:1235 [in mathcomp.ssreflect.seq]
s:124 [in mathcomp.ssreflect.seq]
s:124 [in mathcomp.ssreflect.path]
s:1246 [in mathcomp.ssreflect.seq]
S:125 [in mathcomp.fingroup.action]
s:1253 [in mathcomp.ssreflect.order]
s:1254 [in mathcomp.ssreflect.order]
s:1258 [in mathcomp.ssreflect.order]
s:1259 [in mathcomp.ssreflect.order]
s:126 [in mathcomp.ssreflect.seq]
s:126 [in mathcomp.ssreflect.path]
s:1261 [in mathcomp.ssreflect.seq]
s:1262 [in mathcomp.ssreflect.order]
s:1263 [in mathcomp.ssreflect.seq]
s:1267 [in mathcomp.ssreflect.seq]
S:127 [in mathcomp.fingroup.action]
s:1271 [in mathcomp.ssreflect.seq]
s:1271 [in mathcomp.ssreflect.order]
S:1271 [in mathcomp.algebra.mxalgebra]
s:1272 [in mathcomp.ssreflect.seq]
S:1274 [in mathcomp.algebra.mxalgebra]
s:1275 [in mathcomp.ssreflect.seq]
s:1278 [in mathcomp.ssreflect.seq]
s:128 [in mathcomp.ssreflect.path]
s:128 [in mathcomp.solvable.burnside_app]
s:1283 [in mathcomp.algebra.poly]
s:1285 [in mathcomp.ssreflect.seq]
s:1286 [in mathcomp.algebra.ssrnum]
s:1287 [in mathcomp.ssreflect.seq]
s:1287 [in mathcomp.algebra.ssrnum]
s:1289 [in mathcomp.ssreflect.seq]
s:1290 [in mathcomp.ssreflect.seq]
s:1291 [in mathcomp.ssreflect.seq]
s:1295 [in mathcomp.ssreflect.seq]
S:1295 [in mathcomp.algebra.mxalgebra]
s:13 [in mathcomp.ssreflect.choice]
s:13 [in mathcomp.ssreflect.finfun]
s:13 [in mathcomp.solvable.jordanholder]
S:130 [in mathcomp.fingroup.action]
s:130 [in mathcomp.ssreflect.path]
S:1301 [in mathcomp.algebra.mxalgebra]
s:1304 [in mathcomp.ssreflect.seq]
S:1304 [in mathcomp.algebra.mxalgebra]
S:1306 [in mathcomp.algebra.ssralg]
S:1307 [in mathcomp.algebra.mxalgebra]
s:1309 [in mathcomp.ssreflect.seq]
s:131 [in mathcomp.fingroup.perm]
s:1315 [in mathcomp.ssreflect.seq]
S:1316 [in mathcomp.ssreflect.seq]
s:1316 [in mathcomp.algebra.poly]
S:132 [in mathcomp.fingroup.action]
s:132 [in mathcomp.solvable.burnside_app]
s:1320 [in mathcomp.ssreflect.seq]
s:1323 [in mathcomp.ssreflect.seq]
s:1328 [in mathcomp.ssreflect.seq]
s:1328 [in mathcomp.ssreflect.bigop]
s:1329 [in mathcomp.ssreflect.bigop]
s:133 [in mathcomp.fingroup.perm]
s:133 [in mathcomp.ssreflect.seq]
s:133 [in mathcomp.field.algebraics_fundamentals]
s:133 [in mathcomp.ssreflect.path]
s:1330 [in mathcomp.ssreflect.bigop]
s:1331 [in mathcomp.ssreflect.bigop]
s:1332 [in mathcomp.ssreflect.seq]
s:1332 [in mathcomp.ssreflect.bigop]
s:1333 [in mathcomp.ssreflect.seq]
s:1335 [in mathcomp.ssreflect.seq]
s:1336 [in mathcomp.ssreflect.seq]
s:1339 [in mathcomp.ssreflect.seq]
s:134 [in mathcomp.ssreflect.seq]
S:134 [in mathcomp.algebra.ring_quotient]
S:134 [in mathcomp.fingroup.action]
s:134 [in mathcomp.solvable.burnside_app]
s:1345 [in mathcomp.ssreflect.seq]
s:135 [in mathcomp.ssreflect.seq]
s:1354 [in mathcomp.ssreflect.seq]
s:1357 [in mathcomp.ssreflect.seq]
s:1359 [in mathcomp.ssreflect.seq]
s:136 [in mathcomp.fingroup.perm]
s:136 [in mathcomp.ssreflect.path]
s:1360 [in mathcomp.ssreflect.seq]
s:1365 [in mathcomp.ssreflect.seq]
S:1367 [in mathcomp.algebra.ssralg]
s:1369 [in mathcomp.ssreflect.seq]
S:137 [in mathcomp.character.character]
s:1371 [in mathcomp.ssreflect.seq]
s:138 [in mathcomp.fingroup.perm]
S:138 [in mathcomp.algebra.ring_quotient]
s:138 [in mathcomp.ssreflect.path]
S:1381 [in mathcomp.algebra.ssralg]
S:139 [in mathcomp.algebra.archimedean]
s:14 [in mathcomp.fingroup.perm]
s:14 [in mathcomp.ssreflect.seq]
s:140 [in mathcomp.fingroup.perm]
s:140 [in mathcomp.ssreflect.seq]
s:1406 [in mathcomp.algebra.matrix]
s:1409 [in mathcomp.algebra.matrix]
s:141 [in mathcomp.fingroup.perm]
S:141 [in mathcomp.fingroup.action]
s:1414 [in mathcomp.ssreflect.order]
s:1416 [in mathcomp.ssreflect.order]
s:142 [in mathcomp.field.algebraics_fundamentals]
S:142 [in mathcomp.algebra.ring_quotient]
S:142 [in mathcomp.fingroup.morphism]
s:1420 [in mathcomp.ssreflect.seq]
s:1421 [in mathcomp.ssreflect.seq]
s:1426 [in mathcomp.ssreflect.seq]
s:1427 [in mathcomp.ssreflect.seq]
s:143 [in mathcomp.ssreflect.seq]
s:1431 [in mathcomp.ssreflect.seq]
s:144 [in mathcomp.fingroup.perm]
s:1441 [in mathcomp.ssreflect.seq]
s:1451 [in mathcomp.ssreflect.seq]
s:146 [in mathcomp.fingroup.perm]
s:146 [in mathcomp.algebra.matrix]
S:146 [in mathcomp.fingroup.action]
s:146 [in mathcomp.ssreflect.path]
s:1462 [in mathcomp.ssreflect.seq]
s:1464 [in mathcomp.ssreflect.seq]
s:1469 [in mathcomp.ssreflect.seq]
s:147 [in mathcomp.ssreflect.seq]
s:147 [in mathcomp.field.algebraics_fundamentals]
S:147 [in mathcomp.algebra.ring_quotient]
s:1476 [in mathcomp.ssreflect.seq]
s:1479 [in mathcomp.ssreflect.seq]
s:148 [in mathcomp.fingroup.perm]
s:1483 [in mathcomp.ssreflect.seq]
s:1485 [in mathcomp.ssreflect.seq]
s:1486 [in mathcomp.ssreflect.seq]
s:1487 [in mathcomp.ssreflect.seq]
S:149 [in mathcomp.algebra.ring_quotient]
s:149 [in mathcomp.algebra.matrix]
s:1491 [in mathcomp.ssreflect.seq]
s:1495 [in mathcomp.ssreflect.seq]
s:15 [in mathcomp.solvable.finmodule]
s:15 [in mathcomp.solvable.extremal]
s:150 [in mathcomp.fingroup.perm]
S:150 [in mathcomp.fingroup.morphism]
s:1502 [in mathcomp.ssreflect.seq]
s:1506 [in mathcomp.ssreflect.seq]
S:151 [in mathcomp.algebra.ring_quotient]
s:1513 [in mathcomp.ssreflect.seq]
s:152 [in mathcomp.fingroup.perm]
s:152 [in mathcomp.algebra.matrix]
s:1528 [in mathcomp.ssreflect.seq]
s:153 [in mathcomp.ssreflect.path]
s:1530 [in mathcomp.algebra.ssrnum]
s:1532 [in mathcomp.ssreflect.seq]
s:1533 [in mathcomp.algebra.ssrnum]
s:1534 [in mathcomp.ssreflect.bigop]
s:1536 [in mathcomp.ssreflect.seq]
s:1538 [in mathcomp.algebra.ssralg]
s:154 [in mathcomp.fingroup.perm]
S:154 [in mathcomp.fingroup.morphism]
s:154 [in mathcomp.solvable.burnside_app]
s:1540 [in mathcomp.ssreflect.seq]
s:1542 [in mathcomp.algebra.ssralg]
s:1545 [in mathcomp.ssreflect.seq]
s:155 [in mathcomp.ssreflect.seq]
s:155 [in mathcomp.field.separable]
s:1552 [in mathcomp.ssreflect.seq]
s:1555 [in mathcomp.ssreflect.seq]
s:1557 [in mathcomp.algebra.ssralg]
S:156 [in mathcomp.algebra.ring_quotient]
s:156 [in mathcomp.ssreflect.path]
s:1565 [in mathcomp.ssreflect.seq]
s:157 [in mathcomp.fingroup.perm]
S:157 [in mathcomp.solvable.frobenius]
s:1570 [in mathcomp.ssreflect.seq]
s:1575 [in mathcomp.ssreflect.seq]
s:1576 [in mathcomp.ssreflect.seq]
s:1578 [in mathcomp.ssreflect.seq]
s:1580 [in mathcomp.ssreflect.seq]
s:1582 [in mathcomp.ssreflect.seq]
s:1584 [in mathcomp.ssreflect.seq]
S:159 [in mathcomp.algebra.archimedean]
S:159 [in mathcomp.algebra.ring_quotient]
s:159 [in mathcomp.algebra.matrix]
s:1592 [in mathcomp.ssreflect.seq]
s:1596 [in mathcomp.ssreflect.seq]
s:1599 [in mathcomp.ssreflect.seq]
S:16 [in mathcomp.character.vcharacter]
s:16 [in mathcomp.fingroup.perm]
s:16 [in mathcomp.ssreflect.seq]
s:160 [in mathcomp.fingroup.perm]
s:160 [in mathcomp.ssreflect.seq]
s:160 [in mathcomp.algebra.matrix]
s:1603 [in mathcomp.ssreflect.seq]
s:1605 [in mathcomp.ssreflect.seq]
S:161 [in mathcomp.character.classfun]
s:1611 [in mathcomp.ssreflect.seq]
s:1616 [in mathcomp.ssreflect.seq]
S:162 [in mathcomp.algebra.ring_quotient]
s:1625 [in mathcomp.ssreflect.seq]
s:163 [in mathcomp.fingroup.perm]
s:163 [in mathcomp.ssreflect.seq]
S:1632 [in mathcomp.ssreflect.seq]
S:164 [in mathcomp.algebra.archimedean]
S:164 [in mathcomp.character.classfun]
S:1641 [in mathcomp.ssreflect.seq]
S:1647 [in mathcomp.ssreflect.seq]
S:165 [in mathcomp.character.classfun]
s:165 [in mathcomp.ssreflect.path]
s:1654 [in mathcomp.ssreflect.seq]
s:166 [in mathcomp.ssreflect.path]
s:166 [in mathcomp.solvable.gseries]
s:1660 [in mathcomp.ssreflect.seq]
s:1666 [in mathcomp.ssreflect.seq]
S:167 [in mathcomp.algebra.ring_quotient]
s:167 [in mathcomp.ssreflect.path]
s:167 [in mathcomp.solvable.gseries]
s:168 [in mathcomp.fingroup.perm]
s:1680 [in mathcomp.ssreflect.seq]
s:1681 [in mathcomp.algebra.matrix]
s:1686 [in mathcomp.ssreflect.seq]
s:1687 [in mathcomp.algebra.matrix]
s:1688 [in mathcomp.ssreflect.seq]
s:169 [in mathcomp.ssreflect.path]
s:1690 [in mathcomp.ssreflect.seq]
s:1691 [in mathcomp.ssreflect.seq]
s:1698 [in mathcomp.algebra.matrix]
s:17 [in mathcomp.solvable.jordanholder]
s:17 [in mathcomp.ssreflect.ssrAC]
s:17 [in mathcomp.solvable.burnside_app]
s:170 [in mathcomp.ssreflect.seq]
S:170 [in mathcomp.algebra.ring_quotient]
s:1704 [in mathcomp.algebra.matrix]
s:1708 [in mathcomp.algebra.matrix]
s:1709 [in mathcomp.ssreflect.seq]
s:1710 [in mathcomp.ssreflect.seq]
s:172 [in mathcomp.fingroup.perm]
s:1721 [in mathcomp.algebra.matrix]
s:1726 [in mathcomp.algebra.matrix]
s:173 [in mathcomp.fingroup.perm]
s:173 [in mathcomp.ssreflect.seq]
s:173 [in mathcomp.field.algnum]
s:1732 [in mathcomp.algebra.matrix]
s:1736 [in mathcomp.algebra.matrix]
s:1737 [in mathcomp.algebra.matrix]
s:1738 [in mathcomp.algebra.matrix]
s:174 [in mathcomp.fingroup.perm]
s:174 [in mathcomp.ssreflect.path]
S:1741 [in mathcomp.ssreflect.seq]
s:1741 [in mathcomp.algebra.matrix]
s:1743 [in mathcomp.algebra.matrix]
S:1745 [in mathcomp.ssreflect.seq]
s:1748 [in mathcomp.ssreflect.seq]
S:175 [in mathcomp.character.vcharacter]
S:175 [in mathcomp.algebra.ring_quotient]
s:1753 [in mathcomp.ssreflect.seq]
S:1756 [in mathcomp.ssreflect.seq]
s:1759 [in mathcomp.ssreflect.seq]
s:176 [in mathcomp.ssreflect.seq]
s:1764 [in mathcomp.ssreflect.seq]
s:1765 [in mathcomp.ssreflect.seq]
s:1767 [in mathcomp.ssreflect.seq]
s:177 [in mathcomp.fingroup.perm]
s:1789 [in mathcomp.ssreflect.seq]
s:179 [in mathcomp.ssreflect.seq]
s:179 [in mathcomp.ssreflect.path]
s:1790 [in mathcomp.ssreflect.seq]
s:1791 [in mathcomp.ssreflect.seq]
S:18 [in mathcomp.character.vcharacter]
s:180 [in mathcomp.field.algnum]
s:1805 [in mathcomp.ssreflect.seq]
s:181 [in mathcomp.ssreflect.tuple]
S:181 [in mathcomp.fingroup.action]
s:1813 [in mathcomp.ssreflect.seq]
s:1819 [in mathcomp.ssreflect.seq]
s:182 [in mathcomp.ssreflect.seq]
s:182 [in mathcomp.field.algnum]
s:1820 [in mathcomp.ssreflect.seq]
s:1821 [in mathcomp.ssreflect.seq]
s:1846 [in mathcomp.ssreflect.seq]
s:1849 [in mathcomp.ssreflect.seq]
s:185 [in mathcomp.ssreflect.seq]
s:185 [in mathcomp.ssreflect.path]
s:185 [in mathcomp.field.algnum]
s:1859 [in mathcomp.ssreflect.seq]
s:186 [in mathcomp.ssreflect.seq]
s:186 [in mathcomp.field.algnum]
s:1860 [in mathcomp.ssreflect.seq]
s:1864 [in mathcomp.ssreflect.seq]
s:187 [in mathcomp.ssreflect.seq]
s:1871 [in mathcomp.ssreflect.seq]
s:1872 [in mathcomp.ssreflect.seq]
s:1875 [in mathcomp.ssreflect.seq]
s:188 [in mathcomp.ssreflect.seq]
s:1886 [in mathcomp.algebra.matrix]
s:1887 [in mathcomp.algebra.matrix]
s:1888 [in mathcomp.ssreflect.seq]
s:1888 [in mathcomp.algebra.matrix]
s:189 [in mathcomp.ssreflect.seq]
s:1890 [in mathcomp.algebra.matrix]
s:1891 [in mathcomp.algebra.matrix]
s:1894 [in mathcomp.algebra.matrix]
s:1895 [in mathcomp.algebra.matrix]
s:1899 [in mathcomp.ssreflect.seq]
s:19 [in mathcomp.fingroup.perm]
s:19 [in mathcomp.ssreflect.ssrAC]
s:190 [in mathcomp.ssreflect.seq]
s:190 [in mathcomp.ssreflect.path]
s:1901 [in mathcomp.ssreflect.seq]
s:1903 [in mathcomp.ssreflect.seq]
s:1906 [in mathcomp.ssreflect.seq]
s:191 [in mathcomp.ssreflect.seq]
s:1915 [in mathcomp.ssreflect.seq]
s:1918 [in mathcomp.ssreflect.seq]
s:192 [in mathcomp.ssreflect.seq]
s:1926 [in mathcomp.algebra.ssralg]
s:193 [in mathcomp.ssreflect.seq]
s:1932 [in mathcomp.algebra.matrix]
s:1939 [in mathcomp.algebra.ssralg]
s:1946 [in mathcomp.algebra.ssralg]
s:1947 [in mathcomp.algebra.ssralg]
s:1949 [in mathcomp.ssreflect.seq]
s:195 [in mathcomp.ssreflect.path]
s:1951 [in mathcomp.ssreflect.seq]
s:1953 [in mathcomp.ssreflect.seq]
s:1955 [in mathcomp.ssreflect.seq]
S:196 [in mathcomp.fingroup.morphism]
s:1960 [in mathcomp.algebra.matrix]
s:1963 [in mathcomp.ssreflect.seq]
s:1965 [in mathcomp.ssreflect.seq]
s:1967 [in mathcomp.ssreflect.seq]
s:1969 [in mathcomp.ssreflect.seq]
s:197 [in mathcomp.ssreflect.fintype]
s:1971 [in mathcomp.ssreflect.seq]
S:198 [in mathcomp.fingroup.morphism]
s:198 [in mathcomp.ssreflect.fintype]
s:199 [in mathcomp.algebra.ssrnum]
s:1994 [in mathcomp.ssreflect.seq]
s:2 [in mathcomp.solvable.burnside_app]
S:20 [in mathcomp.character.vcharacter]
s:20 [in mathcomp.fingroup.perm]
s:20 [in mathcomp.solvable.jordanholder]
S:200 [in mathcomp.fingroup.morphism]
s:2001 [in mathcomp.ssreflect.seq]
s:201 [in mathcomp.character.integral_char]
s:201 [in mathcomp.ssreflect.path]
s:2016 [in mathcomp.ssreflect.seq]
S:202 [in mathcomp.character.integral_char]
s:203 [in mathcomp.character.integral_char]
s:2031 [in mathcomp.ssreflect.seq]
s:204 [in mathcomp.character.integral_char]
s:2041 [in mathcomp.ssreflect.seq]
S:2043 [in mathcomp.algebra.ssralg]
S:2048 [in mathcomp.algebra.ssralg]
s:205 [in mathcomp.character.integral_char]
S:2053 [in mathcomp.algebra.ssralg]
s:2056 [in mathcomp.ssreflect.seq]
S:2058 [in mathcomp.algebra.ssralg]
s:206 [in mathcomp.character.integral_char]
s:206 [in mathcomp.field.galois]
S:2063 [in mathcomp.algebra.ssralg]
s:2064 [in mathcomp.algebra.matrix]
s:2067 [in mathcomp.algebra.matrix]
s:2069 [in mathcomp.ssreflect.seq]
S:2069 [in mathcomp.algebra.ssralg]
s:207 [in mathcomp.character.integral_char]
S:2075 [in mathcomp.algebra.ssralg]
S:2078 [in mathcomp.algebra.ssralg]
s:208 [in mathcomp.character.integral_char]
S:2081 [in mathcomp.algebra.ssralg]
S:2084 [in mathcomp.algebra.ssralg]
S:2087 [in mathcomp.algebra.ssralg]
s:209 [in mathcomp.algebra.ssrnum]
S:2090 [in mathcomp.algebra.ssralg]
S:2093 [in mathcomp.algebra.ssralg]
S:2096 [in mathcomp.algebra.ssralg]
s:2099 [in mathcomp.ssreflect.seq]
S:2099 [in mathcomp.algebra.ssralg]
s:21 [in mathcomp.fingroup.perm]
s:210 [in mathcomp.ssreflect.path]
S:2102 [in mathcomp.algebra.ssralg]
S:2105 [in mathcomp.algebra.ssralg]
S:2109 [in mathcomp.algebra.ssralg]
s:211 [in mathcomp.ssreflect.path]
s:2113 [in mathcomp.ssreflect.seq]
S:2113 [in mathcomp.algebra.ssralg]
S:2116 [in mathcomp.algebra.ssralg]
s:212 [in mathcomp.ssreflect.seq]
S:2120 [in mathcomp.algebra.ssralg]
S:2123 [in mathcomp.algebra.ssralg]
s:2126 [in mathcomp.ssreflect.seq]
S:2128 [in mathcomp.algebra.ssralg]
s:213 [in mathcomp.fingroup.perm]
s:213 [in mathcomp.ssreflect.seq]
S:2132 [in mathcomp.algebra.ssralg]
S:2136 [in mathcomp.ssreflect.seq]
S:2137 [in mathcomp.algebra.ssralg]
S:2141 [in mathcomp.algebra.ssralg]
s:2142 [in mathcomp.ssreflect.seq]
S:2146 [in mathcomp.algebra.ssralg]
s:215 [in mathcomp.character.integral_char]
s:215 [in mathcomp.ssreflect.seq]
S:2150 [in mathcomp.algebra.ssralg]
s:2153 [in mathcomp.ssreflect.bigop]
S:2155 [in mathcomp.algebra.ssralg]
s:2156 [in mathcomp.ssreflect.seq]
S:2159 [in mathcomp.algebra.ssralg]
s:216 [in mathcomp.character.integral_char]
s:216 [in mathcomp.field.galois]
s:216 [in mathcomp.ssreflect.path]
s:2162 [in mathcomp.ssreflect.seq]
S:2164 [in mathcomp.algebra.ssralg]
S:2168 [in mathcomp.algebra.ssralg]
s:217 [in mathcomp.character.integral_char]
s:217 [in mathcomp.ssreflect.path]
s:217 [in mathcomp.algebra.ssrnum]
S:2173 [in mathcomp.algebra.ssralg]
s:2174 [in mathcomp.ssreflect.seq]
S:2177 [in mathcomp.algebra.ssralg]
s:218 [in mathcomp.character.integral_char]
s:218 [in mathcomp.fingroup.perm]
s:218 [in mathcomp.ssreflect.seq]
S:2182 [in mathcomp.algebra.ssralg]
s:2186 [in mathcomp.ssreflect.seq]
S:2187 [in mathcomp.algebra.ssralg]
s:219 [in mathcomp.character.integral_char]
s:219 [in mathcomp.ssreflect.path]
S:2194 [in mathcomp.algebra.ssralg]
s:2196 [in mathcomp.ssreflect.seq]
s:2198 [in mathcomp.ssreflect.bigop]
s:2199 [in mathcomp.ssreflect.bigop]
S:22 [in mathcomp.character.vcharacter]
s:22 [in mathcomp.ssreflect.choice]
s:220 [in mathcomp.character.integral_char]
S:2200 [in mathcomp.algebra.ssralg]
s:2200 [in mathcomp.ssreflect.bigop]
s:2201 [in mathcomp.ssreflect.bigop]
s:2202 [in mathcomp.ssreflect.bigop]
S:2207 [in mathcomp.algebra.ssralg]
s:221 [in mathcomp.character.integral_char]
s:221 [in mathcomp.ssreflect.choice]
S:2212 [in mathcomp.algebra.ssralg]
S:2217 [in mathcomp.algebra.ssralg]
s:222 [in mathcomp.character.integral_char]
s:222 [in mathcomp.solvable.cyclic]
S:2222 [in mathcomp.algebra.ssralg]
s:2228 [in mathcomp.algebra.matrix]
s:2229 [in mathcomp.algebra.matrix]
S:2229 [in mathcomp.algebra.ssralg]
s:223 [in mathcomp.character.integral_char]
s:2230 [in mathcomp.algebra.matrix]
s:2236 [in mathcomp.ssreflect.seq]
s:224 [in mathcomp.character.integral_char]
s:224 [in mathcomp.ssreflect.seq]
S:225 [in mathcomp.field.algC]
s:2258 [in mathcomp.ssreflect.seq]
s:2274 [in mathcomp.ssreflect.seq]
S:2278 [in mathcomp.algebra.ssralg]
S:228 [in mathcomp.character.vcharacter]
s:228 [in mathcomp.ssreflect.seq]
s:228 [in mathcomp.ssreflect.path]
s:228 [in mathcomp.solvable.cyclic]
S:2282 [in mathcomp.algebra.ssralg]
S:2285 [in mathcomp.algebra.ssralg]
S:2286 [in mathcomp.algebra.ssralg]
S:229 [in mathcomp.fingroup.action]
s:229 [in mathcomp.ssreflect.path]
s:2290 [in mathcomp.ssreflect.seq]
S:2291 [in mathcomp.algebra.ssralg]
S:2294 [in mathcomp.algebra.ssralg]
s:23 [in mathcomp.fingroup.perm]
s:23 [in mathcomp.ssreflect.seq]
s:230 [in mathcomp.ssreflect.seq]
s:230 [in mathcomp.solvable.cyclic]
s:2304 [in mathcomp.ssreflect.seq]
s:231 [in mathcomp.character.integral_char]
s:231 [in mathcomp.ssreflect.seq]
s:231 [in mathcomp.ssreflect.choice]
s:2318 [in mathcomp.ssreflect.seq]
s:232 [in mathcomp.character.integral_char]
s:233 [in mathcomp.character.integral_char]
S:233 [in mathcomp.fingroup.action]
s:233 [in mathcomp.solvable.cyclic]
S:2331 [in mathcomp.algebra.ssralg]
s:2332 [in mathcomp.ssreflect.seq]
S:2334 [in mathcomp.algebra.ssralg]
s:234 [in mathcomp.character.integral_char]
s:234 [in mathcomp.ssreflect.path]
S:2344 [in mathcomp.algebra.ssralg]
S:2345 [in mathcomp.ssreflect.seq]
s:2345 [in mathcomp.algebra.matrix]
s:235 [in mathcomp.character.integral_char]
S:235 [in mathcomp.character.vcharacter]
S:235 [in mathcomp.fingroup.action]
s:235 [in mathcomp.ssreflect.path]
s:235 [in mathcomp.solvable.cyclic]
s:2351 [in mathcomp.ssreflect.seq]
S:2351 [in mathcomp.algebra.ssralg]
s:2351 [in mathcomp.ssreflect.bigop]
S:2355 [in mathcomp.algebra.ssralg]
s:236 [in mathcomp.character.integral_char]
s:236 [in mathcomp.fingroup.perm]
S:2362 [in mathcomp.algebra.ssralg]
s:2363 [in mathcomp.algebra.matrix]
s:2364 [in mathcomp.ssreflect.seq]
s:2366 [in mathcomp.ssreflect.bigop]
s:2369 [in mathcomp.algebra.matrix]
S:2369 [in mathcomp.algebra.ssralg]
s:237 [in mathcomp.character.integral_char]
s:2370 [in mathcomp.algebra.matrix]
s:2371 [in mathcomp.algebra.matrix]
s:2373 [in mathcomp.ssreflect.seq]
s:2378 [in mathcomp.algebra.matrix]
s:2378 [in mathcomp.ssreflect.bigop]
s:2379 [in mathcomp.algebra.matrix]
S:2379 [in mathcomp.algebra.ssralg]
s:238 [in mathcomp.character.integral_char]
s:238 [in mathcomp.ssreflect.path]
s:238 [in mathcomp.solvable.cyclic]
s:2380 [in mathcomp.algebra.matrix]
s:2383 [in mathcomp.ssreflect.seq]
S:2386 [in mathcomp.algebra.ssralg]
s:239 [in mathcomp.character.integral_char]
S:2390 [in mathcomp.algebra.ssralg]
s:2391 [in mathcomp.ssreflect.bigop]
S:2399 [in mathcomp.algebra.ssralg]
s:24 [in mathcomp.fingroup.perm]
s:24 [in mathcomp.solvable.jordanholder]
s:24 [in mathcomp.field.algnum]
s:240 [in mathcomp.character.integral_char]
s:240 [in mathcomp.ssreflect.tuple]
s:240 [in mathcomp.solvable.cyclic]
s:2402 [in mathcomp.ssreflect.bigop]
s:2404 [in mathcomp.algebra.matrix]
s:2405 [in mathcomp.algebra.matrix]
s:2406 [in mathcomp.algebra.matrix]
S:2406 [in mathcomp.algebra.ssralg]
s:241 [in mathcomp.character.integral_char]
s:241 [in mathcomp.fingroup.perm]
S:241 [in mathcomp.solvable.maximal]
s:2411 [in mathcomp.algebra.matrix]
s:2414 [in mathcomp.algebra.matrix]
s:2416 [in mathcomp.algebra.matrix]
s:2417 [in mathcomp.algebra.matrix]
S:2417 [in mathcomp.algebra.ssralg]
s:2417 [in mathcomp.ssreflect.bigop]
s:242 [in mathcomp.character.integral_char]
s:242 [in mathcomp.ssreflect.path]
s:2420 [in mathcomp.ssreflect.seq]
S:2424 [in mathcomp.algebra.ssralg]
s:2426 [in mathcomp.algebra.matrix]
s:2427 [in mathcomp.algebra.matrix]
s:2428 [in mathcomp.algebra.matrix]
S:2428 [in mathcomp.algebra.ssralg]
s:2429 [in mathcomp.ssreflect.bigop]
s:243 [in mathcomp.ssreflect.tuple]
S:243 [in mathcomp.fingroup.action]
S:2435 [in mathcomp.algebra.ssralg]
S:244 [in mathcomp.fingroup.action]
S:244 [in mathcomp.solvable.maximal]
S:2442 [in mathcomp.algebra.ssralg]
s:2443 [in mathcomp.ssreflect.bigop]
s:245 [in mathcomp.fingroup.perm]
s:245 [in mathcomp.ssreflect.tuple]
S:2452 [in mathcomp.algebra.ssralg]
S:2456 [in mathcomp.algebra.ssralg]
S:2462 [in mathcomp.algebra.ssralg]
S:2468 [in mathcomp.algebra.ssralg]
S:247 [in mathcomp.character.vcharacter]
S:2472 [in mathcomp.algebra.ssralg]
S:2478 [in mathcomp.ssreflect.seq]
S:2479 [in mathcomp.algebra.ssralg]
S:2488 [in mathcomp.ssreflect.seq]
S:2489 [in mathcomp.algebra.ssralg]
s:249 [in mathcomp.fingroup.perm]
s:249 [in mathcomp.ssreflect.seq]
s:249 [in mathcomp.ssreflect.fintype]
s:2490 [in mathcomp.algebra.matrix]
S:2493 [in mathcomp.algebra.ssralg]
S:2496 [in mathcomp.ssreflect.seq]
S:2499 [in mathcomp.algebra.ssralg]
s:25 [in mathcomp.solvable.nilpotent]
s:250 [in mathcomp.ssreflect.seq]
S:2504 [in mathcomp.ssreflect.seq]
S:2506 [in mathcomp.algebra.ssralg]
S:2508 [in mathcomp.ssreflect.seq]
s:251 [in mathcomp.ssreflect.seq]
s:251 [in mathcomp.ssreflect.fintype]
s:2514 [in mathcomp.algebra.matrix]
S:2515 [in mathcomp.ssreflect.seq]
S:2515 [in mathcomp.algebra.ssralg]
s:252 [in mathcomp.fingroup.perm]
s:252 [in mathcomp.ssreflect.seq]
S:2520 [in mathcomp.algebra.ssralg]
S:2522 [in mathcomp.ssreflect.seq]
S:2524 [in mathcomp.algebra.ssralg]
s:253 [in mathcomp.ssreflect.seq]
S:253 [in mathcomp.fingroup.action]
S:253 [in mathcomp.algebra.rat]
S:2531 [in mathcomp.ssreflect.seq]
S:2533 [in mathcomp.algebra.ssralg]
s:2535 [in mathcomp.ssreflect.bigop]
S:2538 [in mathcomp.ssreflect.seq]
s:254 [in mathcomp.ssreflect.seq]
S:254 [in mathcomp.fingroup.action]
S:2542 [in mathcomp.ssreflect.seq]
s:255 [in mathcomp.fingroup.perm]
S:255 [in mathcomp.fingroup.action]
S:2550 [in mathcomp.ssreflect.seq]
s:2552 [in mathcomp.ssreflect.bigop]
S:2553 [in mathcomp.algebra.ssralg]
S:2555 [in mathcomp.ssreflect.seq]
S:2558 [in mathcomp.algebra.ssralg]
S:256 [in mathcomp.fingroup.action]
s:256 [in mathcomp.ssreflect.fintype]
S:2560 [in mathcomp.ssreflect.seq]
S:2565 [in mathcomp.ssreflect.seq]
S:2566 [in mathcomp.algebra.ssralg]
s:257 [in mathcomp.ssreflect.seq]
S:2571 [in mathcomp.ssreflect.seq]
S:2577 [in mathcomp.ssreflect.seq]
S:2577 [in mathcomp.algebra.ssralg]
s:258 [in mathcomp.fingroup.perm]
s:258 [in mathcomp.ssreflect.seq]
S:258 [in mathcomp.fingroup.action]
s:258 [in mathcomp.ssreflect.fintype]
S:2582 [in mathcomp.algebra.ssralg]
s:259 [in mathcomp.ssreflect.seq]
S:2590 [in mathcomp.algebra.ssralg]
S:26 [in mathcomp.character.vcharacter]
S:2600 [in mathcomp.algebra.ssralg]
S:2604 [in mathcomp.algebra.ssralg]
s:261 [in mathcomp.ssreflect.path]
S:2611 [in mathcomp.algebra.ssralg]
S:2614 [in mathcomp.algebra.matrix]
s:262 [in mathcomp.ssreflect.seq]
S:262 [in mathcomp.ssreflect.eqtype]
S:2622 [in mathcomp.algebra.matrix]
S:2624 [in mathcomp.algebra.matrix]
S:2625 [in mathcomp.algebra.ssralg]
S:2629 [in mathcomp.algebra.ssralg]
s:263 [in mathcomp.fingroup.perm]
S:2631 [in mathcomp.algebra.matrix]
S:2633 [in mathcomp.algebra.matrix]
S:2633 [in mathcomp.algebra.ssralg]
S:2637 [in mathcomp.algebra.matrix]
S:2639 [in mathcomp.algebra.ssralg]
s:264 [in mathcomp.ssreflect.seq]
s:264 [in mathcomp.ssreflect.path]
s:264 [in mathcomp.ssreflect.fintype]
s:2640 [in mathcomp.ssreflect.seq]
S:2641 [in mathcomp.algebra.matrix]
S:2645 [in mathcomp.algebra.matrix]
S:2645 [in mathcomp.algebra.ssralg]
S:2649 [in mathcomp.algebra.ssralg]
S:2652 [in mathcomp.algebra.matrix]
s:2653 [in mathcomp.ssreflect.seq]
S:2654 [in mathcomp.algebra.matrix]
S:2656 [in mathcomp.algebra.matrix]
S:2658 [in mathcomp.algebra.ssralg]
s:2659 [in mathcomp.ssreflect.seq]
S:2659 [in mathcomp.algebra.matrix]
S:2662 [in mathcomp.algebra.matrix]
S:2664 [in mathcomp.algebra.ssralg]
S:2665 [in mathcomp.algebra.matrix]
s:2668 [in mathcomp.ssreflect.seq]
s:2669 [in mathcomp.ssreflect.seq]
s:267 [in mathcomp.ssreflect.seq]
s:2671 [in mathcomp.ssreflect.seq]
S:2671 [in mathcomp.algebra.ssralg]
s:2672 [in mathcomp.ssreflect.seq]
S:2674 [in mathcomp.algebra.matrix]
s:2675 [in mathcomp.ssreflect.seq]
S:2677 [in mathcomp.algebra.ssralg]
s:268 [in mathcomp.fingroup.perm]
s:268 [in mathcomp.ssreflect.seq]
S:2684 [in mathcomp.algebra.ssralg]
s:2685 [in mathcomp.ssreflect.seq]
s:2689 [in mathcomp.ssreflect.seq]
s:269 [in mathcomp.ssreflect.seq]
S:2690 [in mathcomp.algebra.ssralg]
S:2697 [in mathcomp.algebra.ssralg]
s:2698 [in mathcomp.ssreflect.seq]
S:27 [in mathcomp.character.vcharacter]
s:27 [in mathcomp.fingroup.perm]
s:27 [in mathcomp.ssreflect.tuple]
S:270 [in mathcomp.field.algnum]
s:2703 [in mathcomp.ssreflect.seq]
S:2703 [in mathcomp.algebra.ssralg]
s:2704 [in mathcomp.ssreflect.seq]
s:271 [in mathcomp.fingroup.perm]
s:271 [in mathcomp.ssreflect.seq]
S:271 [in mathcomp.field.algnum]
S:2710 [in mathcomp.algebra.ssralg]
s:2713 [in mathcomp.ssreflect.seq]
S:2717 [in mathcomp.algebra.ssralg]
s:2720 [in mathcomp.ssreflect.seq]
s:2723 [in mathcomp.ssreflect.seq]
S:2726 [in mathcomp.algebra.ssralg]
s:2728 [in mathcomp.ssreflect.seq]
s:2729 [in mathcomp.ssreflect.seq]
s:273 [in mathcomp.ssreflect.path]
s:2732 [in mathcomp.ssreflect.seq]
s:2733 [in mathcomp.ssreflect.seq]
S:2734 [in mathcomp.algebra.ssralg]
s:2739 [in mathcomp.ssreflect.seq]
s:274 [in mathcomp.ssreflect.seq]
S:274 [in mathcomp.field.algC]
S:2743 [in mathcomp.algebra.ssralg]
s:275 [in mathcomp.ssreflect.seq]
S:2751 [in mathcomp.algebra.ssralg]
s:2754 [in mathcomp.ssreflect.seq]
s:2755 [in mathcomp.ssreflect.seq]
s:2756 [in mathcomp.ssreflect.seq]
S:276 [in mathcomp.character.vcharacter]
s:276 [in mathcomp.ssreflect.seq]
S:276 [in mathcomp.fingroup.action]
S:2760 [in mathcomp.algebra.ssralg]
S:2767 [in mathcomp.algebra.ssralg]
s:277 [in mathcomp.fingroup.perm]
S:2774 [in mathcomp.algebra.ssralg]
s:278 [in mathcomp.ssreflect.seq]
s:278 [in mathcomp.ssreflect.path]
S:2780 [in mathcomp.algebra.ssralg]
S:2787 [in mathcomp.algebra.ssralg]
S:2793 [in mathcomp.algebra.ssralg]
S:2800 [in mathcomp.algebra.ssralg]
S:281 [in mathcomp.character.vcharacter]
s:281 [in mathcomp.ssreflect.seq]
s:282 [in mathcomp.fingroup.perm]
S:282 [in mathcomp.fingroup.action]
s:282 [in mathcomp.ssreflect.path]
s:283 [in mathcomp.ssreflect.path]
s:284 [in mathcomp.ssreflect.seq]
s:285 [in mathcomp.ssreflect.path]
s:286 [in mathcomp.fingroup.perm]
s:286 [in mathcomp.ssreflect.seq]
S:287 [in mathcomp.fingroup.action]
s:288 [in mathcomp.algebra.matrix]
S:29 [in mathcomp.character.vcharacter]
s:29 [in mathcomp.solvable.jordanholder]
s:29 [in mathcomp.ssreflect.path]
s:29 [in mathcomp.algebra.poly]
s:290 [in mathcomp.ssreflect.seq]
s:290 [in mathcomp.ssreflect.path]
s:291 [in mathcomp.fingroup.perm]
S:291 [in mathcomp.field.algnum]
s:292 [in mathcomp.ssreflect.seq]
s:292 [in mathcomp.algebra.matrix]
s:293 [in mathcomp.ssreflect.seq]
s:295 [in mathcomp.ssreflect.seq]
s:296 [in mathcomp.ssreflect.tuple]
s:297 [in mathcomp.ssreflect.seq]
s:298 [in mathcomp.fingroup.perm]
S:298 [in mathcomp.field.algC]
S:30 [in mathcomp.algebra.archimedean]
s:30 [in mathcomp.fingroup.perm]
s:300 [in mathcomp.ssreflect.fintype]
s:304 [in mathcomp.ssreflect.tuple]
s:305 [in mathcomp.ssreflect.seq]
s:306 [in mathcomp.ssreflect.tuple]
s:308 [in mathcomp.fingroup.perm]
s:308 [in mathcomp.ssreflect.tuple]
s:309 [in mathcomp.ssreflect.tuple]
s:309 [in mathcomp.ssreflect.seq]
s:31 [in mathcomp.fingroup.perm]
s:31 [in mathcomp.solvable.jordanholder]
s:31 [in mathcomp.algebra.mxpoly]
s:31 [in mathcomp.ssreflect.path]
s:31 [in mathcomp.algebra.poly]
s:311 [in mathcomp.ssreflect.tuple]
s:313 [in mathcomp.ssreflect.tuple]
s:313 [in mathcomp.ssreflect.seq]
s:314 [in mathcomp.ssreflect.tuple]
S:314 [in mathcomp.fingroup.action]
s:315 [in mathcomp.ssreflect.seq]
s:316 [in mathcomp.ssreflect.tuple]
s:316 [in mathcomp.ssreflect.seq]
S:316 [in mathcomp.fingroup.action]
s:318 [in mathcomp.ssreflect.tuple]
s:318 [in mathcomp.ssreflect.seq]
S:318 [in mathcomp.fingroup.action]
s:319 [in mathcomp.ssreflect.tuple]
S:32 [in mathcomp.character.vcharacter]
s:32 [in mathcomp.fingroup.perm]
s:32 [in mathcomp.algebra.poly]
s:320 [in mathcomp.ssreflect.tuple]
s:320 [in mathcomp.ssreflect.seq]
s:321 [in mathcomp.ssreflect.tuple]
S:321 [in mathcomp.fingroup.action]
s:322 [in mathcomp.ssreflect.tuple]
s:322 [in mathcomp.ssreflect.seq]
s:323 [in mathcomp.ssreflect.tuple]
s:323 [in mathcomp.ssreflect.seq]
s:323 [in mathcomp.algebra.ssralg]
s:324 [in mathcomp.ssreflect.tuple]
s:324 [in mathcomp.ssreflect.seq]
s:325 [in mathcomp.ssreflect.tuple]
s:325 [in mathcomp.ssreflect.seq]
s:326 [in mathcomp.ssreflect.tuple]
s:327 [in mathcomp.ssreflect.tuple]
S:327 [in mathcomp.fingroup.action]
S:3283 [in mathcomp.ssreflect.order]
s:329 [in mathcomp.ssreflect.tuple]
S:3290 [in mathcomp.ssreflect.order]
S:3297 [in mathcomp.ssreflect.order]
S:330 [in mathcomp.fingroup.action]
S:3304 [in mathcomp.ssreflect.order]
s:331 [in mathcomp.ssreflect.tuple]
S:3311 [in mathcomp.ssreflect.order]
S:3315 [in mathcomp.ssreflect.order]
S:3319 [in mathcomp.ssreflect.order]
S:3323 [in mathcomp.ssreflect.order]
S:3327 [in mathcomp.ssreflect.order]
s:333 [in mathcomp.ssreflect.seq]
S:3331 [in mathcomp.ssreflect.order]
S:3335 [in mathcomp.ssreflect.order]
S:3339 [in mathcomp.ssreflect.order]
s:334 [in mathcomp.ssreflect.tuple]
S:3343 [in mathcomp.ssreflect.order]
s:335 [in mathcomp.character.inertia]
S:3351 [in mathcomp.ssreflect.order]
S:3357 [in mathcomp.ssreflect.order]
s:336 [in mathcomp.ssreflect.seq]
s:336 [in mathcomp.character.inertia]
S:3367 [in mathcomp.ssreflect.order]
s:337 [in mathcomp.ssreflect.tuple]
S:3373 [in mathcomp.ssreflect.order]
S:3376 [in mathcomp.ssreflect.order]
S:3381 [in mathcomp.ssreflect.order]
S:3382 [in mathcomp.ssreflect.order]
s:339 [in mathcomp.ssreflect.seq]
s:339 [in mathcomp.character.inertia]
S:3393 [in mathcomp.ssreflect.order]
S:3394 [in mathcomp.ssreflect.order]
s:34 [in mathcomp.ssreflect.seq]
s:340 [in mathcomp.ssreflect.tuple]
S:3405 [in mathcomp.ssreflect.order]
s:341 [in mathcomp.algebra.ssralg]
s:342 [in mathcomp.ssreflect.seq]
S:3420 [in mathcomp.ssreflect.order]
S:3426 [in mathcomp.ssreflect.order]
s:343 [in mathcomp.ssreflect.tuple]
S:3435 [in mathcomp.ssreflect.order]
S:3445 [in mathcomp.ssreflect.order]
s:345 [in mathcomp.ssreflect.tuple]
s:345 [in mathcomp.ssreflect.seq]
S:3455 [in mathcomp.ssreflect.order]
S:3460 [in mathcomp.ssreflect.order]
S:347 [in mathcomp.field.algC]
S:3475 [in mathcomp.ssreflect.order]
s:348 [in mathcomp.ssreflect.tuple]
s:348 [in mathcomp.ssreflect.seq]
s:348 [in mathcomp.character.inertia]
s:349 [in mathcomp.ssreflect.fintype]
S:3490 [in mathcomp.ssreflect.order]
S:3496 [in mathcomp.ssreflect.order]
s:35 [in mathcomp.fingroup.perm]
s:35 [in mathcomp.solvable.jordanholder]
s:35 [in mathcomp.ssreflect.path]
S:350 [in mathcomp.field.algC]
s:350 [in mathcomp.character.inertia]
S:3502 [in mathcomp.ssreflect.order]
S:3508 [in mathcomp.ssreflect.order]
s:351 [in mathcomp.ssreflect.tuple]
s:351 [in mathcomp.ssreflect.seq]
s:351 [in mathcomp.character.inertia]
s:351 [in mathcomp.ssreflect.fintype]
S:3514 [in mathcomp.ssreflect.order]
s:352 [in mathcomp.character.inertia]
S:3520 [in mathcomp.ssreflect.order]
S:3526 [in mathcomp.ssreflect.order]
s:353 [in mathcomp.ssreflect.tuple]
s:353 [in mathcomp.character.inertia]
S:3532 [in mathcomp.ssreflect.order]
S:3538 [in mathcomp.ssreflect.order]
s:354 [in mathcomp.ssreflect.seq]
s:354 [in mathcomp.character.inertia]
S:3544 [in mathcomp.ssreflect.order]
S:3550 [in mathcomp.ssreflect.order]
S:3556 [in mathcomp.ssreflect.order]
s:356 [in mathcomp.algebra.ssralg]
S:3562 [in mathcomp.ssreflect.order]
S:3568 [in mathcomp.ssreflect.order]
s:357 [in mathcomp.ssreflect.seq]
S:3574 [in mathcomp.ssreflect.order]
S:3580 [in mathcomp.ssreflect.order]
S:3586 [in mathcomp.ssreflect.order]
S:3591 [in mathcomp.ssreflect.order]
S:3596 [in mathcomp.ssreflect.order]
s:360 [in mathcomp.ssreflect.seq]
S:3608 [in mathcomp.ssreflect.order]
s:363 [in mathcomp.ssreflect.seq]
S:3630 [in mathcomp.ssreflect.order]
S:3642 [in mathcomp.ssreflect.order]
S:3652 [in mathcomp.ssreflect.order]
S:3663 [in mathcomp.ssreflect.order]
S:3669 [in mathcomp.ssreflect.order]
S:3675 [in mathcomp.ssreflect.order]
s:368 [in mathcomp.ssreflect.tuple]
S:3681 [in mathcomp.ssreflect.order]
S:3687 [in mathcomp.ssreflect.order]
S:3692 [in mathcomp.ssreflect.order]
S:37 [in mathcomp.character.vcharacter]
s:37 [in mathcomp.ssreflect.path]
S:3703 [in mathcomp.ssreflect.order]
s:371 [in mathcomp.ssreflect.seq]
S:3716 [in mathcomp.ssreflect.order]
S:3729 [in mathcomp.ssreflect.order]
s:373 [in mathcomp.ssreflect.seq]
S:3739 [in mathcomp.ssreflect.order]
s:375 [in mathcomp.ssreflect.div]
s:375 [in mathcomp.ssreflect.seq]
S:3750 [in mathcomp.ssreflect.order]
S:3756 [in mathcomp.ssreflect.order]
s:376 [in mathcomp.ssreflect.seq]
S:3762 [in mathcomp.ssreflect.order]
S:3768 [in mathcomp.ssreflect.order]
s:377 [in mathcomp.ssreflect.seq]
S:3774 [in mathcomp.ssreflect.order]
S:3779 [in mathcomp.ssreflect.order]
s:379 [in mathcomp.ssreflect.seq]
S:3790 [in mathcomp.ssreflect.order]
s:38 [in mathcomp.fingroup.perm]
s:38 [in mathcomp.solvable.jordanholder]
s:38 [in mathcomp.ssreflect.path]
S:38 [in mathcomp.solvable.frobenius]
S:38 [in mathcomp.algebra.polyXY]
s:380 [in mathcomp.ssreflect.seq]
S:3803 [in mathcomp.ssreflect.order]
s:381 [in mathcomp.ssreflect.seq]
S:3816 [in mathcomp.ssreflect.order]
S:3826 [in mathcomp.ssreflect.order]
S:3832 [in mathcomp.ssreflect.order]
S:3837 [in mathcomp.ssreflect.order]
S:3849 [in mathcomp.ssreflect.order]
S:385 [in mathcomp.fingroup.action]
S:3859 [in mathcomp.ssreflect.order]
s:386 [in mathcomp.ssreflect.seq]
S:3873 [in mathcomp.ssreflect.order]
S:388 [in mathcomp.algebra.vector]
s:388 [in mathcomp.algebra.poly]
S:3883 [in mathcomp.ssreflect.order]
S:3889 [in mathcomp.ssreflect.order]
s:389 [in mathcomp.algebra.ssralg]
S:389 [in mathcomp.algebra.vector]
S:3899 [in mathcomp.ssreflect.order]
S:39 [in mathcomp.character.vcharacter]
s:39 [in mathcomp.ssreflect.seq]
s:39 [in mathcomp.field.algnum]
S:3909 [in mathcomp.ssreflect.order]
s:391 [in mathcomp.ssreflect.seq]
S:3919 [in mathcomp.ssreflect.order]
s:392 [in mathcomp.ssreflect.seq]
S:3929 [in mathcomp.ssreflect.order]
S:393 [in mathcomp.fingroup.action]
S:3939 [in mathcomp.ssreflect.order]
S:394 [in mathcomp.algebra.vector]
s:395 [in mathcomp.ssreflect.seq]
S:396 [in mathcomp.algebra.vector]
s:398 [in mathcomp.ssreflect.seq]
S:398 [in mathcomp.fingroup.action]
s:4 [in mathcomp.ssreflect.seq]
s:4 [in mathcomp.solvable.extremal]
s:40 [in mathcomp.solvable.jordanholder]
S:40 [in mathcomp.fingroup.action]
s:40 [in mathcomp.solvable.gseries]
s:401 [in mathcomp.ssreflect.seq]
s:401 [in mathcomp.ssreflect.finset]
s:402 [in mathcomp.ssreflect.seq]
s:403 [in mathcomp.ssreflect.seq]
s:404 [in mathcomp.ssreflect.seq]
s:406 [in mathcomp.ssreflect.seq]
s:406 [in mathcomp.algebra.poly]
S:408 [in mathcomp.fingroup.action]
s:409 [in mathcomp.ssreflect.seq]
S:409 [in mathcomp.algebra.vector]
s:41 [in mathcomp.fingroup.perm]
s:41 [in mathcomp.ssreflect.seq]
S:410 [in mathcomp.algebra.vector]
s:411 [in mathcomp.ssreflect.seq]
s:411 [in mathcomp.ssreflect.path]
S:411 [in mathcomp.algebra.vector]
S:412 [in mathcomp.fingroup.action]
s:413 [in mathcomp.ssreflect.seq]
S:413 [in mathcomp.algebra.vector]
S:414 [in mathcomp.algebra.vector]
s:415 [in mathcomp.ssreflect.seq]
s:417 [in mathcomp.ssreflect.seq]
S:417 [in mathcomp.fingroup.action]
S:42 [in mathcomp.fingroup.perm]
s:42 [in mathcomp.solvable.jordanholder]
s:42 [in mathcomp.fingroup.presentation]
S:420 [in mathcomp.fingroup.action]
S:423 [in mathcomp.algebra.mxpoly]
s:423 [in mathcomp.character.inertia]
S:426 [in mathcomp.ssreflect.seq]
S:426 [in mathcomp.fingroup.action]
S:429 [in mathcomp.fingroup.action]
s:43 [in mathcomp.fingroup.perm]
s:43 [in mathcomp.solvable.gseries]
s:431 [in mathcomp.ssreflect.seq]
S:431 [in mathcomp.fingroup.action]
s:433 [in mathcomp.ssreflect.seq]
S:433 [in mathcomp.fingroup.action]
s:433 [in mathcomp.algebra.ssralg]
S:437 [in mathcomp.fingroup.action]
s:439 [in mathcomp.character.inertia]
S:44 [in mathcomp.fingroup.perm]
s:44 [in mathcomp.solvable.gseries]
S:440 [in mathcomp.fingroup.action]
S:444 [in mathcomp.fingroup.action]
s:4442 [in mathcomp.ssreflect.order]
s:4443 [in mathcomp.ssreflect.order]
s:4459 [in mathcomp.ssreflect.order]
s:446 [in mathcomp.ssreflect.seq]
S:449 [in mathcomp.fingroup.action]
S:45 [in mathcomp.fingroup.perm]
s:45 [in mathcomp.field.algnum]
s:4515 [in mathcomp.ssreflect.order]
s:4516 [in mathcomp.ssreflect.order]
s:4517 [in mathcomp.ssreflect.order]
s:4518 [in mathcomp.ssreflect.order]
s:452 [in mathcomp.ssreflect.seq]
s:453 [in mathcomp.ssreflect.path]
s:458 [in mathcomp.ssreflect.path]
s:46 [in mathcomp.fingroup.perm]
s:46 [in mathcomp.solvable.burnside_app]
s:461 [in mathcomp.ssreflect.path]
s:466 [in mathcomp.ssreflect.path]
s:467 [in mathcomp.character.inertia]
S:469 [in mathcomp.character.classfun]
s:47 [in mathcomp.ssreflect.seq]
s:470 [in mathcomp.algebra.mxpoly]
s:470 [in mathcomp.ssreflect.order]
S:472 [in mathcomp.character.classfun]
s:472 [in mathcomp.ssreflect.order]
s:473 [in mathcomp.algebra.intdiv]
s:473 [in mathcomp.ssreflect.seq]
s:474 [in mathcomp.ssreflect.seq]
s:474 [in mathcomp.ssreflect.order]
s:476 [in mathcomp.ssreflect.seq]
S:476 [in mathcomp.fingroup.action]
s:476 [in mathcomp.ssreflect.order]
s:4762 [in mathcomp.ssreflect.order]
s:4765 [in mathcomp.ssreflect.order]
s:4769 [in mathcomp.ssreflect.order]
s:477 [in mathcomp.ssreflect.seq]
S:477 [in mathcomp.fingroup.action]
S:477 [in mathcomp.character.classfun]
s:477 [in mathcomp.ssreflect.order]
S:477 [in mathcomp.character.mxrepresentation]
s:4773 [in mathcomp.ssreflect.order]
s:4777 [in mathcomp.ssreflect.order]
s:478 [in mathcomp.character.inertia]
s:478 [in mathcomp.ssreflect.order]
S:479 [in mathcomp.fingroup.action]
S:479 [in mathcomp.character.classfun]
S:48 [in mathcomp.fingroup.perm]
s:480 [in mathcomp.ssreflect.seq]
s:480 [in mathcomp.ssreflect.order]
s:481 [in mathcomp.algebra.intdiv]
s:482 [in mathcomp.ssreflect.seq]
s:482 [in mathcomp.ssreflect.order]
s:483 [in mathcomp.ssreflect.order]
s:485 [in mathcomp.character.inertia]
s:485 [in mathcomp.ssreflect.order]
s:487 [in mathcomp.ssreflect.order]
S:488 [in mathcomp.character.classfun]
s:489 [in mathcomp.ssreflect.seq]
s:489 [in mathcomp.ssreflect.order]
S:49 [in mathcomp.character.vcharacter]
s:49 [in mathcomp.fingroup.perm]
s:49 [in mathcomp.ssreflect.path]
s:491 [in mathcomp.ssreflect.order]
s:4925 [in mathcomp.ssreflect.order]
s:4926 [in mathcomp.ssreflect.order]
s:4929 [in mathcomp.ssreflect.order]
s:493 [in mathcomp.ssreflect.path]
s:4931 [in mathcomp.ssreflect.order]
s:494 [in mathcomp.ssreflect.seq]
S:494 [in mathcomp.fingroup.action]
s:494 [in mathcomp.ssreflect.order]
S:495 [in mathcomp.fingroup.action]
s:495 [in mathcomp.ssreflect.path]
S:496 [in mathcomp.character.classfun]
s:497 [in mathcomp.ssreflect.order]
s:498 [in mathcomp.character.inertia]
S:499 [in mathcomp.character.mxrepresentation]
s:5 [in mathcomp.solvable.extremal]
s:500 [in mathcomp.ssreflect.order]
s:5006 [in mathcomp.ssreflect.order]
s:503 [in mathcomp.ssreflect.order]
s:505 [in mathcomp.ssreflect.order]
S:507 [in mathcomp.character.classfun]
s:51 [in mathcomp.ssreflect.seq]
S:510 [in mathcomp.character.classfun]
S:512 [in mathcomp.character.classfun]
s:512 [in mathcomp.ssreflect.order]
s:514 [in mathcomp.ssreflect.seq]
S:514 [in mathcomp.character.classfun]
s:515 [in mathcomp.ssreflect.path]
s:517 [in mathcomp.ssreflect.seq]
S:518 [in mathcomp.character.classfun]
s:519 [in mathcomp.ssreflect.seq]
s:519 [in mathcomp.ssreflect.path]
s:519 [in mathcomp.ssreflect.order]
s:52 [in mathcomp.ssreflect.path]
s:520 [in mathcomp.ssreflect.seq]
S:520 [in mathcomp.character.classfun]
s:521 [in mathcomp.ssreflect.seq]
s:523 [in mathcomp.ssreflect.seq]
S:523 [in mathcomp.fingroup.action]
S:523 [in mathcomp.character.classfun]
S:524 [in mathcomp.character.classfun]
s:525 [in mathcomp.ssreflect.seq]
S:526 [in mathcomp.fingroup.action]
S:526 [in mathcomp.character.classfun]
s:526 [in mathcomp.ssreflect.order]
s:527 [in mathcomp.ssreflect.seq]
S:527 [in mathcomp.character.classfun]
s:528 [in mathcomp.ssreflect.path]
s:529 [in mathcomp.ssreflect.seq]
S:529 [in mathcomp.character.classfun]
s:529 [in mathcomp.ssreflect.path]
s:53 [in mathcomp.fingroup.perm]
s:53 [in mathcomp.solvable.extremal]
s:530 [in mathcomp.ssreflect.path]
S:531 [in mathcomp.character.classfun]
S:533 [in mathcomp.character.classfun]
s:534 [in mathcomp.ssreflect.seq]
S:534 [in mathcomp.character.classfun]
S:535 [in mathcomp.character.classfun]
S:537 [in mathcomp.ssreflect.ssrnat]
s:538 [in mathcomp.ssreflect.seq]
s:54 [in mathcomp.field.algnum]
s:541 [in mathcomp.ssreflect.seq]
s:541 [in mathcomp.character.character]
S:542 [in mathcomp.character.classfun]
s:542 [in mathcomp.ssreflect.path]
s:542 [in mathcomp.ssreflect.order]
s:544 [in mathcomp.ssreflect.seq]
S:545 [in mathcomp.fingroup.action]
S:546 [in mathcomp.character.classfun]
s:547 [in mathcomp.ssreflect.seq]
s:548 [in mathcomp.ssreflect.order]
s:55 [in mathcomp.ssreflect.path]
s:55 [in mathcomp.field.algnum]
s:55 [in mathcomp.solvable.extremal]
s:550 [in mathcomp.ssreflect.seq]
S:550 [in mathcomp.fingroup.action]
S:551 [in mathcomp.fingroup.action]
S:552 [in mathcomp.algebra.poly]
S:553 [in mathcomp.fingroup.action]
s:553 [in mathcomp.ssreflect.path]
s:553 [in mathcomp.ssreflect.order]
S:554 [in mathcomp.algebra.poly]
s:556 [in mathcomp.ssreflect.path]
s:556 [in mathcomp.ssreflect.order]
s:557 [in mathcomp.ssreflect.path]
S:558 [in mathcomp.algebra.poly]
S:559 [in mathcomp.algebra.poly]
s:56 [in mathcomp.fingroup.perm]
S:56 [in mathcomp.solvable.jordanholder]
s:561 [in mathcomp.ssreflect.order]
s:564 [in mathcomp.ssreflect.seq]
s:564 [in mathcomp.ssreflect.order]
s:565 [in mathcomp.ssreflect.seq]
s:566 [in mathcomp.ssreflect.seq]
s:566 [in mathcomp.ssreflect.order]
s:567 [in mathcomp.ssreflect.seq]
s:568 [in mathcomp.ssreflect.seq]
s:569 [in mathcomp.ssreflect.order]
S:57 [in mathcomp.fingroup.perm]
S:57 [in mathcomp.fingroup.action]
s:57 [in mathcomp.field.algnum]
S:570 [in mathcomp.character.classfun]
s:573 [in mathcomp.ssreflect.order]
S:574 [in mathcomp.character.classfun]
S:575 [in mathcomp.fingroup.action]
s:576 [in mathcomp.ssreflect.seq]
S:576 [in mathcomp.fingroup.action]
s:577 [in mathcomp.ssreflect.seq]
s:577 [in mathcomp.ssreflect.path]
s:577 [in mathcomp.ssreflect.order]
s:578 [in mathcomp.ssreflect.seq]
s:579 [in mathcomp.ssreflect.order]
S:58 [in mathcomp.character.vcharacter]
s:580 [in mathcomp.ssreflect.order]
s:581 [in mathcomp.ssreflect.seq]
s:583 [in mathcomp.ssreflect.seq]
s:583 [in mathcomp.ssreflect.path]
s:59 [in mathcomp.ssreflect.seq]
s:59 [in mathcomp.ssreflect.ssrAC]
s:59 [in mathcomp.solvable.gseries]
s:590 [in mathcomp.ssreflect.path]
s:594 [in mathcomp.ssreflect.seq]
s:595 [in mathcomp.fingroup.action]
s:596 [in mathcomp.ssreflect.seq]
s:596 [in mathcomp.ssreflect.path]
s:6 [in mathcomp.ssreflect.finfun]
s:6 [in mathcomp.solvable.extremal]
s:60 [in mathcomp.ssreflect.tuple]
s:60 [in mathcomp.field.algnum]
s:60 [in mathcomp.solvable.gseries]
s:600 [in mathcomp.ssreflect.seq]
s:603 [in mathcomp.ssreflect.path]
s:608 [in mathcomp.ssreflect.seq]
s:608 [in mathcomp.ssreflect.path]
S:61 [in mathcomp.fingroup.perm]
S:61 [in mathcomp.fingroup.action]
s:61 [in mathcomp.field.algnum]
s:610 [in mathcomp.ssreflect.seq]
s:612 [in mathcomp.ssreflect.seq]
s:613 [in mathcomp.ssreflect.seq]
s:615 [in mathcomp.ssreflect.seq]
s:615 [in mathcomp.ssreflect.path]
s:616 [in mathcomp.ssreflect.seq]
s:616 [in mathcomp.algebra.mxalgebra]
s:623 [in mathcomp.ssreflect.path]
s:624 [in mathcomp.ssreflect.seq]
s:626 [in mathcomp.ssreflect.seq]
s:626 [in mathcomp.ssreflect.path]
s:629 [in mathcomp.ssreflect.seq]
S:63 [in mathcomp.fingroup.perm]
s:63 [in mathcomp.ssreflect.ssrAC]
s:63 [in mathcomp.ssreflect.path]
s:630 [in mathcomp.ssreflect.seq]
s:631 [in mathcomp.ssreflect.seq]
s:632 [in mathcomp.ssreflect.seq]
s:633 [in mathcomp.ssreflect.seq]
s:634 [in mathcomp.ssreflect.path]
s:635 [in mathcomp.ssreflect.seq]
s:636 [in mathcomp.ssreflect.seq]
S:636 [in mathcomp.fingroup.action]
s:636 [in mathcomp.ssreflect.path]
s:637 [in mathcomp.ssreflect.seq]
s:638 [in mathcomp.ssreflect.path]
S:639 [in mathcomp.fingroup.action]
s:639 [in mathcomp.ssreflect.path]
s:64 [in mathcomp.ssreflect.seq]
s:64 [in mathcomp.ssreflect.path]
s:640 [in mathcomp.ssreflect.seq]
S:642 [in mathcomp.fingroup.action]
s:643 [in mathcomp.ssreflect.seq]
s:645 [in mathcomp.ssreflect.path]
s:645 [in mathcomp.character.mxrepresentation]
s:646 [in mathcomp.ssreflect.fintype]
s:647 [in mathcomp.ssreflect.seq]
s:647 [in mathcomp.ssreflect.path]
s:648 [in mathcomp.ssreflect.path]
s:649 [in mathcomp.ssreflect.seq]
s:649 [in mathcomp.ssreflect.fintype]
S:65 [in mathcomp.fingroup.action]
s:65 [in mathcomp.ssreflect.path]
s:651 [in mathcomp.ssreflect.seq]
s:653 [in mathcomp.ssreflect.seq]
s:653 [in mathcomp.ssreflect.path]
s:657 [in mathcomp.ssreflect.path]
s:658 [in mathcomp.ssreflect.seq]
s:66 [in mathcomp.ssreflect.seq]
s:661 [in mathcomp.ssreflect.seq]
s:664 [in mathcomp.ssreflect.seq]
S:664 [in mathcomp.fingroup.action]
s:666 [in mathcomp.ssreflect.seq]
s:668 [in mathcomp.ssreflect.seq]
s:670 [in mathcomp.ssreflect.seq]
s:672 [in mathcomp.ssreflect.seq]
s:673 [in mathcomp.ssreflect.seq]
s:675 [in mathcomp.ssreflect.path]
s:676 [in mathcomp.ssreflect.seq]
s:679 [in mathcomp.ssreflect.seq]
S:68 [in mathcomp.character.vcharacter]
S:68 [in mathcomp.fingroup.perm]
s:680 [in mathcomp.ssreflect.seq]
s:683 [in mathcomp.ssreflect.seq]
s:686 [in mathcomp.ssreflect.path]
s:688 [in mathcomp.ssreflect.seq]
s:69 [in mathcomp.ssreflect.seq]
s:692 [in mathcomp.ssreflect.seq]
s:7 [in mathcomp.ssreflect.seq]
S:7 [in mathcomp.solvable.sylow]
S:70 [in mathcomp.fingroup.action]
S:705 [in mathcomp.fingroup.action]
S:706 [in mathcomp.fingroup.action]
S:709 [in mathcomp.fingroup.action]
s:71 [in mathcomp.ssreflect.path]
S:714 [in mathcomp.fingroup.action]
S:716 [in mathcomp.fingroup.action]
s:72 [in mathcomp.ssreflect.path]
S:720 [in mathcomp.algebra.mxpoly]
s:727 [in mathcomp.ssreflect.seq]
s:73 [in mathcomp.ssreflect.seq]
S:73 [in mathcomp.fingroup.action]
s:73 [in mathcomp.ssreflect.path]
s:730 [in mathcomp.ssreflect.seq]
s:736 [in mathcomp.ssreflect.seq]
s:739 [in mathcomp.ssreflect.seq]
s:739 [in mathcomp.algebra.poly]
s:741 [in mathcomp.ssreflect.seq]
s:748 [in mathcomp.ssreflect.seq]
s:753 [in mathcomp.ssreflect.seq]
s:755 [in mathcomp.algebra.poly]
s:756 [in mathcomp.algebra.ssrint]
s:759 [in mathcomp.ssreflect.seq]
s:763 [in mathcomp.ssreflect.fintype]
s:764 [in mathcomp.ssreflect.seq]
s:764 [in mathcomp.ssreflect.fintype]
s:769 [in mathcomp.ssreflect.seq]
S:77 [in mathcomp.character.vcharacter]
s:77 [in mathcomp.ssreflect.seq]
s:773 [in mathcomp.algebra.ssrint]
s:774 [in mathcomp.ssreflect.seq]
s:774 [in mathcomp.algebra.ssrint]
s:779 [in mathcomp.ssreflect.seq]
s:78 [in mathcomp.algebra.matrix]
S:783 [in mathcomp.fingroup.action]
s:784 [in mathcomp.ssreflect.seq]
S:784 [in mathcomp.fingroup.action]
s:795 [in mathcomp.ssreflect.seq]
s:8 [in mathcomp.ssreflect.seq]
s:8 [in mathcomp.solvable.jordanholder]
s:80 [in mathcomp.ssreflect.seq]
s:805 [in mathcomp.ssreflect.seq]
s:81 [in mathcomp.ssreflect.seq]
s:81 [in mathcomp.ssreflect.path]
S:81 [in mathcomp.fingroup.morphism]
s:812 [in mathcomp.ssreflect.seq]
s:82 [in mathcomp.algebra.matrix]
S:82 [in mathcomp.fingroup.action]
s:826 [in mathcomp.ssreflect.order]
s:834 [in mathcomp.ssreflect.seq]
s:837 [in mathcomp.algebra.matrix]
s:838 [in mathcomp.algebra.matrix]
s:839 [in mathcomp.ssreflect.order]
s:84 [in mathcomp.ssreflect.seq]
s:84 [in mathcomp.ssreflect.path]
s:846 [in mathcomp.ssreflect.seq]
S:846 [in mathcomp.algebra.ssrint]
S:85 [in mathcomp.character.vcharacter]
S:85 [in mathcomp.fingroup.action]
s:85 [in mathcomp.ssreflect.path]
S:850 [in mathcomp.algebra.ssrint]
s:852 [in mathcomp.algebra.poly]
S:854 [in mathcomp.algebra.ssrint]
S:858 [in mathcomp.algebra.ssrint]
S:862 [in mathcomp.algebra.matrix]
S:862 [in mathcomp.algebra.ssrint]
s:866 [in mathcomp.algebra.poly]
s:87 [in mathcomp.ssreflect.ssrAC]
s:87 [in mathcomp.ssreflect.path]
s:873 [in mathcomp.ssreflect.seq]
s:875 [in mathcomp.ssreflect.seq]
s:877 [in mathcomp.ssreflect.seq]
s:878 [in mathcomp.ssreflect.seq]
s:88 [in mathcomp.solvable.jordanholder]
s:88 [in mathcomp.algebra.mxpoly]
S:88 [in mathcomp.fingroup.action]
s:88 [in mathcomp.ssreflect.path]
s:88 [in mathcomp.solvable.extremal]
s:883 [in mathcomp.ssreflect.seq]
S:884 [in mathcomp.algebra.matrix]
s:888 [in mathcomp.ssreflect.seq]
s:89 [in mathcomp.ssreflect.seq]
s:89 [in mathcomp.algebra.mxpoly]
S:89 [in mathcomp.character.mxabelem]
s:89 [in mathcomp.solvable.extremal]
s:890 [in mathcomp.ssreflect.seq]
s:9 [in mathcomp.ssreflect.seq]
s:9 [in mathcomp.ssreflect.finfun]
s:90 [in mathcomp.algebra.mxpoly]
s:907 [in mathcomp.algebra.matrix]
s:908 [in mathcomp.algebra.matrix]
s:91 [in mathcomp.algebra.mxpoly]
s:91 [in mathcomp.ssreflect.path]
s:92 [in mathcomp.solvable.jordanholder]
s:92 [in mathcomp.algebra.mxpoly]
s:920 [in mathcomp.ssreflect.seq]
S:925 [in mathcomp.algebra.ssralg]
s:93 [in mathcomp.algebra.mxpoly]
s:93 [in mathcomp.ssreflect.path]
S:932 [in mathcomp.algebra.ssralg]
S:937 [in mathcomp.character.mxrepresentation]
S:939 [in mathcomp.algebra.ssralg]
s:94 [in mathcomp.field.algebraics_fundamentals]
s:94 [in mathcomp.algebra.mxpoly]
S:94 [in mathcomp.fingroup.morphism]
s:941 [in mathcomp.ssreflect.seq]
S:941 [in mathcomp.algebra.matrix]
s:942 [in mathcomp.ssreflect.seq]
s:946 [in mathcomp.ssreflect.seq]
s:948 [in mathcomp.ssreflect.seq]
s:949 [in mathcomp.ssreflect.seq]
s:95 [in mathcomp.ssreflect.seq]
s:95 [in mathcomp.algebra.mxpoly]
s:95 [in mathcomp.ssreflect.ssrAC]
s:950 [in mathcomp.ssreflect.seq]
s:951 [in mathcomp.ssreflect.seq]
s:953 [in mathcomp.ssreflect.seq]
s:954 [in mathcomp.ssreflect.seq]
s:956 [in mathcomp.ssreflect.seq]
s:957 [in mathcomp.ssreflect.seq]
s:96 [in mathcomp.solvable.jordanholder]
s:96 [in mathcomp.algebra.mxpoly]
s:96 [in mathcomp.ssreflect.path]
s:961 [in mathcomp.ssreflect.seq]
s:963 [in mathcomp.ssreflect.seq]
s:966 [in mathcomp.ssreflect.seq]
s:968 [in mathcomp.ssreflect.seq]
s:969 [in mathcomp.ssreflect.seq]
s:976 [in mathcomp.ssreflect.seq]
s:979 [in mathcomp.ssreflect.seq]
s:982 [in mathcomp.ssreflect.seq]
s:985 [in mathcomp.ssreflect.seq]
s:988 [in mathcomp.ssreflect.seq]
s:99 [in mathcomp.solvable.jordanholder]
s:99 [in mathcomp.ssreflect.path]
s:991 [in mathcomp.ssreflect.seq]
s:995 [in mathcomp.ssreflect.seq]
S:996 [in mathcomp.character.mxrepresentation]
s:999 [in mathcomp.ssreflect.seq]

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)