| 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 | -(23836 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 | -(1409 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 | -(221 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 | -(3574 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 | -(90 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 | -(12096 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 | -(368 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 | -(107 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 | -(273 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 | -(1140 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 | -(728 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 | -(3596 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 | -(189 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]
-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.comRingType [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 | -(23836 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 | -(1409 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 | -(221 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 | -(3574 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 | -(90 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 | -(12096 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 | -(368 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 | -(107 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 | -(273 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 | -(1140 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 | -(728 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 | -(3596 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 | -(189 entries) | -