| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (24263 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1399 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (226 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3670 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (89 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (12297 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (383 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (45 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (114 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (279 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1169 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (742 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3657 entries) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (193 entries) |
S (definition)
scalar_mx [in mathcomp.algebra.matrix]scalemx [in mathcomp.algebra.matrix]
scale_pair [in mathcomp.algebra.ssralg]
scale_lfun [in mathcomp.algebra.vector]
scale_poly [in mathcomp.algebra.poly]
scale_poly_def [in mathcomp.algebra.poly]
scale_act [in mathcomp.character.mxabelem]
scalq [in mathcomp.algebra.rat]
scalq_def [in mathcomp.algebra.rat]
scanl [in mathcomp.ssreflect.seq]
SCN [in mathcomp.solvable.maximal]
SCN_at [in mathcomp.solvable.maximal]
sdpair1 [in mathcomp.fingroup.gproduct]
sdpair2 [in mathcomp.fingroup.gproduct]
sdprodm [in mathcomp.fingroup.gproduct]
sdprod_mul [in mathcomp.fingroup.gproduct]
sdprod_inv [in mathcomp.fingroup.gproduct]
sdprod_one [in mathcomp.fingroup.gproduct]
sdprod_finMixin [in mathcomp.fingroup.gproduct]
sdprod_countMixin [in mathcomp.fingroup.gproduct]
sdprod_choiceMixin [in mathcomp.fingroup.gproduct]
sdprod_eqMixin [in mathcomp.fingroup.gproduct]
sdprod_Iirr [in mathcomp.character.character]
sd1 [in mathcomp.solvable.burnside_app]
Sd1 [in mathcomp.solvable.burnside_app]
sd2 [in mathcomp.solvable.burnside_app]
Sd2 [in mathcomp.solvable.burnside_app]
section_repr [in mathcomp.character.mxrepresentation]
section_repr [in mathcomp.solvable.jordanholder]
section_isog [in mathcomp.solvable.jordanholder]
section_finMixin [in mathcomp.solvable.jordanholder]
section_countMixin [in mathcomp.solvable.jordanholder]
section_choiceMixin [in mathcomp.solvable.jordanholder]
section_eqMixin [in mathcomp.solvable.jordanholder]
semidihedral_gtype [in mathcomp.solvable.extremal]
semidirect_product [in mathcomp.fingroup.gproduct]
semiprime [in mathcomp.solvable.frobenius]
semiregular [in mathcomp.solvable.frobenius]
separable [in mathcomp.field.separable]
separable_generator [in mathcomp.field.separable]
separable_element [in mathcomp.field.separable]
separable_poly [in mathcomp.field.separable]
seqn [in mathcomp.ssreflect.seq]
seqn_rec [in mathcomp.ssreflect.seq]
seqn_type [in mathcomp.ssreflect.seq]
seq_eqclass [in mathcomp.ssreflect.seq]
seq_countMixin [in mathcomp.ssreflect.choice]
seq_of_opt [in mathcomp.ssreflect.choice]
seq_sub_choiceMixin [in mathcomp.ssreflect.fintype]
seq_sub_finMixin [in mathcomp.ssreflect.fintype]
seq_sub_countMixin [in mathcomp.ssreflect.fintype]
seq_sub_unpickle [in mathcomp.ssreflect.fintype]
seq_sub_pickle [in mathcomp.ssreflect.fintype]
seq_sub_enum [in mathcomp.ssreflect.fintype]
seq_sub_eqMixin [in mathcomp.ssreflect.fintype]
seq_iso3_L [in mathcomp.solvable.burnside_app]
seq_iso_L [in mathcomp.solvable.burnside_app]
series_repr [in mathcomp.character.mxrepresentation]
setact [in mathcomp.fingroup.action]
setC [in mathcomp.ssreflect.finset]
setD [in mathcomp.ssreflect.finset]
SetDef.finset [in mathcomp.ssreflect.finset]
SetDef.pred_of_set [in mathcomp.ssreflect.finset]
setI [in mathcomp.ssreflect.finset]
setTfor [in mathcomp.ssreflect.finset]
setU [in mathcomp.ssreflect.finset]
setX [in mathcomp.ssreflect.finset]
set_nth [in mathcomp.ssreflect.seq]
set_invg [in mathcomp.fingroup.fingroup]
set_mulg [in mathcomp.fingroup.fingroup]
set_finMixin [in mathcomp.ssreflect.finset]
set_countMixin [in mathcomp.ssreflect.finset]
set_choiceMixin [in mathcomp.ssreflect.finset]
set_eqMixin [in mathcomp.ssreflect.finset]
set_of [in mathcomp.ssreflect.finset]
set0 [in mathcomp.ssreflect.finset]
set1 [in mathcomp.ssreflect.finset]
sgval [in mathcomp.fingroup.fingroup]
sgz [in mathcomp.algebra.ssrint]
sgzE [in mathcomp.algebra.ssrint]
sh [in mathcomp.solvable.burnside_app]
Sh [in mathcomp.solvable.burnside_app]
shape [in mathcomp.ssreflect.seq]
shorten [in mathcomp.ssreflect.path]
sig_countMixin [in mathcomp.ssreflect.choice]
sig_choiceMixin [in mathcomp.ssreflect.choice]
sig_finMixin [in mathcomp.ssreflect.fintype]
sig_eqMixin [in mathcomp.ssreflect.eqtype]
simple [in mathcomp.solvable.gseries]
SimplRel [in mathcomp.ssreflect.ssrbool]
simpl_rel [in mathcomp.ssreflect.ssrbool]
size [in mathcomp.ssreflect.seq]
sizeY [in mathcomp.algebra.polyXY]
Socle [in mathcomp.character.mxrepresentation]
socle_finMixin [in mathcomp.character.mxrepresentation]
socle_countMixin [in mathcomp.character.mxrepresentation]
socle_choiceMixin [in mathcomp.character.mxrepresentation]
socle_eqMixin [in mathcomp.character.mxrepresentation]
socle_repr [in mathcomp.character.mxrepresentation]
socle_module [in mathcomp.character.mxrepresentation]
socle_mult [in mathcomp.character.mxrepresentation]
socle_base [in mathcomp.character.mxrepresentation]
socle_enum [in mathcomp.character.mxrepresentation]
socle_of_Iirr [in mathcomp.character.character]
solvable [in mathcomp.solvable.nilpotent]
sop [in mathcomp.solvable.burnside_app]
sort [in mathcomp.ssreflect.path]
sorted [in mathcomp.ssreflect.path]
sort_rec1 [in mathcomp.ssreflect.path]
space_choiceMixin [in mathcomp.algebra.vector]
space_eqMixin [in mathcomp.algebra.vector]
span [in mathcomp.algebra.vector]
span_expanded_def [in mathcomp.algebra.vector]
special [in mathcomp.solvable.maximal]
split [in mathcomp.ssreflect.fintype]
splits_over [in mathcomp.fingroup.gproduct]
splittingFieldFor [in mathcomp.field.galois]
SplittingField.algType [in mathcomp.field.galois]
SplittingField.axiom [in mathcomp.field.galois]
SplittingField.choiceType [in mathcomp.field.galois]
SplittingField.class [in mathcomp.field.galois]
SplittingField.clone [in mathcomp.field.galois]
SplittingField.comAlgType [in mathcomp.field.galois]
SplittingField.comRingType [in mathcomp.field.galois]
SplittingField.comUnitAlgType [in mathcomp.field.galois]
SplittingField.comUnitRingType [in mathcomp.field.galois]
SplittingField.eqType [in mathcomp.field.galois]
SplittingField.FalgType [in mathcomp.field.galois]
SplittingField.fieldExtType [in mathcomp.field.galois]
SplittingField.fieldType [in mathcomp.field.galois]
SplittingField.idomainType [in mathcomp.field.galois]
SplittingField.lalgType [in mathcomp.field.galois]
SplittingField.lmodType [in mathcomp.field.galois]
SplittingField.pack [in mathcomp.field.galois]
SplittingField.ringType [in mathcomp.field.galois]
SplittingField.unitAlgType [in mathcomp.field.galois]
SplittingField.unitRingType [in mathcomp.field.galois]
SplittingField.vectType [in mathcomp.field.galois]
SplittingField.zmodType [in mathcomp.field.galois]
square [in mathcomp.solvable.burnside_app]
square_coloring_number8 [in mathcomp.solvable.burnside_app]
square_coloring_number4 [in mathcomp.solvable.burnside_app]
square_coloring_number2 [in mathcomp.solvable.burnside_app]
ssetI [in mathcomp.ssreflect.finset]
stable_factor [in mathcomp.solvable.gseries]
standard_grepr [in mathcomp.character.character]
standard_irr_coef [in mathcomp.character.character]
standard_socle [in mathcomp.character.character]
standard_irr [in mathcomp.character.character]
subact [in mathcomp.fingroup.action]
subact_dom [in mathcomp.fingroup.action]
SubEqMixin [in mathcomp.ssreflect.eqtype]
subFExtend [in mathcomp.field.fieldext]
subfext_idomainMixin [in mathcomp.field.fieldext]
subfext_fieldMixin [in mathcomp.field.fieldext]
subfext_unitRingMixin [in mathcomp.field.fieldext]
subfext_inv [in mathcomp.field.fieldext]
subfext_comRingMixin [in mathcomp.field.fieldext]
subfext_mul [in mathcomp.field.fieldext]
subfext_zmodMixin [in mathcomp.field.fieldext]
subfext_opp [in mathcomp.field.fieldext]
subfext_add [in mathcomp.field.fieldext]
subfext0 [in mathcomp.field.fieldext]
subfext1 [in mathcomp.field.fieldext]
SubFieldExtType [in mathcomp.field.fieldext]
subFinGroupMixin [in mathcomp.fingroup.fingroup]
SubFinMixin [in mathcomp.ssreflect.fintype]
SubFinMixin_for [in mathcomp.ssreflect.fintype]
subFin_mixin [in mathcomp.ssreflect.fintype]
SubfxFalgType [in mathcomp.field.fieldext]
SubfxVectMixin [in mathcomp.field.fieldext]
SubfxVectType [in mathcomp.field.fieldext]
subfx_lmodMixin [in mathcomp.field.fieldext]
subfx_scale [in mathcomp.field.fieldext]
subfx_root [in mathcomp.field.fieldext]
subfx_eval [in mathcomp.field.fieldext]
subfx_inv_rep [in mathcomp.field.fieldext]
subfx_poly_inv [in mathcomp.field.fieldext]
subfx_mul_rep [in mathcomp.field.fieldext]
subfx_inj [in mathcomp.field.fieldext]
subg [in mathcomp.fingroup.fingroup]
subgroups [in mathcomp.fingroup.fingroup]
subg_repr [in mathcomp.character.mxrepresentation]
subg_mul [in mathcomp.fingroup.fingroup]
subg_inv [in mathcomp.fingroup.fingroup]
subg_one [in mathcomp.fingroup.fingroup]
subg_finMixin [in mathcomp.fingroup.fingroup]
subg_countMixin [in mathcomp.fingroup.fingroup]
subg_choiceMixin [in mathcomp.fingroup.fingroup]
subg_eqMixin [in mathcomp.fingroup.fingroup]
subitv [in mathcomp.algebra.interval]
submod_mx [in mathcomp.character.mxrepresentation]
submx [in mathcomp.algebra.mxalgebra]
submx_def [in mathcomp.algebra.mxalgebra]
subn [in mathcomp.ssreflect.ssrnat]
subnormal [in mathcomp.solvable.gseries]
subn_rec [in mathcomp.ssreflect.ssrnat]
subq [in mathcomp.algebra.rat]
subr_lersif0 [in mathcomp.algebra.interval]
subseq [in mathcomp.ssreflect.seq]
subseries_repr [in mathcomp.character.mxrepresentation]
SubsetDef.subset [in mathcomp.ssreflect.fintype]
SubsetDef.subsetEdef [in mathcomp.ssreflect.fintype]
subsetv [in mathcomp.algebra.vector]
subvs_mul_eq0 [in mathcomp.field.fieldext]
subvs_mulC [in mathcomp.field.fieldext]
subvs_vectMixin [in mathcomp.algebra.vector]
subvs_lmodMixin [in mathcomp.algebra.vector]
subvs_zmodMixin [in mathcomp.algebra.vector]
subvs_choiceMixin [in mathcomp.algebra.vector]
subvs_eqMixin [in mathcomp.algebra.vector]
subvs_ringMixin [in mathcomp.field.falgebra]
subvs_mul [in mathcomp.field.falgebra]
subvs_one [in mathcomp.field.falgebra]
sub_annihilant [in mathcomp.algebra.polyXY]
sub_countMixin [in mathcomp.ssreflect.choice]
sub_choiceClass [in mathcomp.ssreflect.choice]
sub_choiceMixin [in mathcomp.ssreflect.choice]
sub_ord [in mathcomp.ssreflect.fintype]
sub_enum [in mathcomp.ssreflect.fintype]
sub_eqMixin [in mathcomp.ssreflect.eqtype]
sumn [in mathcomp.ssreflect.seq]
sumv_pi_for [in mathcomp.algebra.vector]
sum_countMixin [in mathcomp.ssreflect.choice]
sum_choiceMixin [in mathcomp.ssreflect.choice]
sum_of_opair [in mathcomp.ssreflect.choice]
sum_finMixin [in mathcomp.ssreflect.fintype]
sum_enum [in mathcomp.ssreflect.fintype]
sum_eq [in mathcomp.ssreflect.eqtype]
support_for [in mathcomp.ssreflect.finfun]
sv [in mathcomp.solvable.burnside_app]
Sv [in mathcomp.solvable.burnside_app]
swapXY [in mathcomp.algebra.polyXY]
swapXY_def [in mathcomp.algebra.polyXY]
swizzle_mx [in mathcomp.algebra.matrix]
Syl [in mathcomp.solvable.pgroup]
Sylow [in mathcomp.solvable.pgroup]
Sylvester_mx [in mathcomp.algebra.mxpoly]
Sym [in mathcomp.solvable.alt]
s0 [in mathcomp.solvable.burnside_app]
S0 [in mathcomp.solvable.burnside_app]
S0f [in mathcomp.solvable.burnside_app]
s05 [in mathcomp.solvable.burnside_app]
S05 [in mathcomp.solvable.burnside_app]
S05f [in mathcomp.solvable.burnside_app]
s1 [in mathcomp.solvable.burnside_app]
S1 [in mathcomp.solvable.burnside_app]
S1f [in mathcomp.solvable.burnside_app]
s14 [in mathcomp.solvable.burnside_app]
S14 [in mathcomp.solvable.burnside_app]
S14f [in mathcomp.solvable.burnside_app]
s2 [in mathcomp.solvable.burnside_app]
S2 [in mathcomp.solvable.burnside_app]
S2f [in mathcomp.solvable.burnside_app]
s2val [in mathcomp.ssreflect.eqtype]
s23 [in mathcomp.solvable.burnside_app]
S23 [in mathcomp.solvable.burnside_app]
S23f [in mathcomp.solvable.burnside_app]
s3 [in mathcomp.solvable.burnside_app]
S3 [in mathcomp.solvable.burnside_app]
S3f [in mathcomp.solvable.burnside_app]
s4 [in mathcomp.solvable.burnside_app]
S4 [in mathcomp.solvable.burnside_app]
S4f [in mathcomp.solvable.burnside_app]
s5 [in mathcomp.solvable.burnside_app]
S5 [in mathcomp.solvable.burnside_app]
S5f [in mathcomp.solvable.burnside_app]
s6 [in mathcomp.solvable.burnside_app]
S6 [in mathcomp.solvable.burnside_app]
S6f [in mathcomp.solvable.burnside_app]
| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (24263 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1399 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (226 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3670 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (89 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (12297 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (383 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (45 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (114 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (279 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1169 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (742 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3657 entries) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (193 entries) |