| 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 | (75862 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 | (2184 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 | (2366 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 | (9859 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 | (106 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 | (15730 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 | (72 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 | (239 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 | (139 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 | (3716 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 | (2702 entries) |
| Instance 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 | (3 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 | (4172 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 | (33700 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 | (874 entries) |
S (abbreviation)
S [in mathcomp.character.mxrepresentation]sdprod [in mathcomp.fingroup.gproduct]
sdprod [in mathcomp.fingroup.gproduct]
sdT [in mathcomp.fingroup.gproduct]
sdval [in mathcomp.fingroup.gproduct]
Semigroup [in mathcomp.boot.monoid]
Semigroup_isMonoid [in mathcomp.boot.monoid]
Semigroup_isMonoid.axioms [in mathcomp.boot.monoid]
Semigroup_isMonoid.Build [in mathcomp.boot.monoid]
SemiGroup.Builders_1.opC [in mathcomp.boot.bigop]
SemiGroup.Builders_1.opA [in mathcomp.boot.bigop]
Semigroup.clone [in mathcomp.boot.monoid]
SemiGroup.ComLaw [in mathcomp.boot.bigop]
SemiGroup.ComLaw.clone [in mathcomp.boot.bigop]
SemiGroup.ComLaw.copy [in mathcomp.boot.bigop]
SemiGroup.ComLaw.on [in mathcomp.boot.bigop]
SemiGroup.ComLaw.on_ [in mathcomp.boot.bigop]
SemiGroup.com_law [in mathcomp.boot.bigop]
Semigroup.copy [in mathcomp.boot.monoid]
Semigroup.Exports.semigroupType [in mathcomp.boot.monoid]
SemiGroup.isComLaw [in mathcomp.boot.bigop]
SemiGroup.isComLaw.axioms [in mathcomp.boot.bigop]
SemiGroup.isComLaw.Build [in mathcomp.boot.bigop]
SemiGroup.isCommutativeLaw [in mathcomp.boot.bigop]
SemiGroup.isCommutativeLaw.axioms [in mathcomp.boot.bigop]
SemiGroup.isCommutativeLaw.Build [in mathcomp.boot.bigop]
SemiGroup.isLaw [in mathcomp.boot.bigop]
SemiGroup.isLaw.axioms [in mathcomp.boot.bigop]
SemiGroup.isLaw.Build [in mathcomp.boot.bigop]
SemiGroup.law [in mathcomp.boot.bigop]
SemiGroup.Law [in mathcomp.boot.bigop]
SemiGroup.Law.clone [in mathcomp.boot.bigop]
SemiGroup.Law.copy [in mathcomp.boot.bigop]
SemiGroup.Law.on [in mathcomp.boot.bigop]
SemiGroup.Law.on_ [in mathcomp.boot.bigop]
Semigroup.on [in mathcomp.boot.monoid]
Semigroup.on_ [in mathcomp.boot.monoid]
semiRingType [in mathcomp.algebra.ssralg]
SemiVector [in mathcomp.algebra.vector]
SemiVector.clone [in mathcomp.algebra.vector]
SemiVector.copy [in mathcomp.algebra.vector]
SemiVector.Exports.semiVectType [in mathcomp.algebra.vector]
SemiVector.on [in mathcomp.algebra.vector]
SemiVector.on_ [in mathcomp.algebra.vector]
separable [in mathcomp.field.separable]
separablePn [in mathcomp.field.separable]
separable_exponent [in mathcomp.field.separable]
separable_poly [in mathcomp.field.separable]
seq [in mathcomp.boot.seq]
setT [in mathcomp.boot.finset]
set1 [in mathcomp.boot.finset]
sG [in mathcomp.character.mxrepresentation]
sgr [in mathcomp.algebra.ssrint]
sgr [in mathcomp.algebra.rat]
similar [in mathcomp.algebra.mxred]
similar_trig [in mathcomp.algebra.mxred]
similar_diag [in mathcomp.algebra.mxred]
similar_in_to [in mathcomp.algebra.mxred]
similar_in [in mathcomp.algebra.mxred]
simmx_in_to [in mathcomp.algebra.mxpoly]
simmx_in [in mathcomp.algebra.mxpoly]
simmx_for [in mathcomp.algebra.mxpoly]
simp [in mathcomp.algebra.polydiv]
simp [in mathcomp.algebra.matrix]
simp [in mathcomp.algebra.poly]
simp [in mathcomp.algebra.mxalgebra]
simplrefl [in mathcomp.boot.ssrAC]
size_opp [in mathcomp.algebra.poly]
size_exp_leq [in mathcomp.algebra.poly]
size_prod_leq [in mathcomp.algebra.poly]
size_mul_leq [in mathcomp.algebra.poly]
size_addl [in mathcomp.algebra.poly]
size_add [in mathcomp.algebra.poly]
skew [in mathcomp.algebra.sesquilinear]
skewmx [in mathcomp.algebra.sesquilinear]
soc [in mathcomp.character.character]
sorted [in mathcomp.boot.path]
sorted [in mathcomp.boot.path]
sp [in mathcomp.algebra.matrix]
sp [in mathcomp.algebra.matrix]
sp [in mathcomp.algebra.matrix]
sp [in mathcomp.algebra.matrix]
sp [in mathcomp.algebra.matrix]
sp [in mathcomp.algebra.matrix]
sp [in mathcomp.algebra.matrix]
sp [in mathcomp.algebra.matrix]
sp [in mathcomp.algebra.matrix]
sp [in mathcomp.algebra.matrix]
sp [in mathcomp.algebra.matrix]
sp [in mathcomp.algebra.matrix]
SplittingField [in mathcomp.field.galois]
SplittingField.clone [in mathcomp.field.galois]
SplittingField.copy [in mathcomp.field.galois]
SplittingField.Exports.splittingFieldType [in mathcomp.field.galois]
SplittingField.on [in mathcomp.field.galois]
SplittingField.on_ [in mathcomp.field.galois]
splitting_cyclic_primitive_root [in mathcomp.character.mxrepresentation]
sq [in mathcomp.algebra.matrix]
sq [in mathcomp.algebra.matrix]
sq [in mathcomp.algebra.matrix]
sq [in mathcomp.algebra.matrix]
sq [in mathcomp.algebra.matrix]
sq [in mathcomp.algebra.matrix]
sq [in mathcomp.algebra.matrix]
sr [in mathcomp.character.mxrepresentation]
ssimS [in mathcomp.character.mxrepresentation]
sT [in mathcomp.boot.finset]
sT [in mathcomp.boot.fintype]
sT [in mathcomp.fingroup.fingroup]
stablemx [in mathcomp.algebra.mxalgebra]
stablemx [in mathcomp.algebra.mxalgebra]
StarMonoid [in mathcomp.boot.monoid]
StarMonoid_isGroup [in mathcomp.boot.monoid]
StarMonoid_isGroup.axioms [in mathcomp.boot.monoid]
StarMonoid_isGroup.Build [in mathcomp.boot.monoid]
StarMonoid.clone [in mathcomp.boot.monoid]
StarMonoid.copy [in mathcomp.boot.monoid]
StarMonoid.Exports.starMonoidType [in mathcomp.boot.monoid]
StarMonoid.on [in mathcomp.boot.monoid]
StarMonoid.on_ [in mathcomp.boot.monoid]
Sub [in mathcomp.boot.eqtype]
SubBaseUMagma [in mathcomp.boot.monoid]
SubBaseUMagma.clone [in mathcomp.boot.monoid]
SubBaseUMagma.copy [in mathcomp.boot.monoid]
SubBaseUMagma.Exports.subBaseUMagmaType [in mathcomp.boot.monoid]
SubBaseUMagma.on [in mathcomp.boot.monoid]
SubBaseUMagma.on_ [in mathcomp.boot.monoid]
SubChoice [in mathcomp.boot.choice]
SubChoice_isSubGroup [in mathcomp.boot.monoid]
SubChoice_isSubGroup.axioms [in mathcomp.boot.monoid]
SubChoice_isSubGroup.Build [in mathcomp.boot.monoid]
SubChoice_isSubMonoid [in mathcomp.boot.monoid]
SubChoice_isSubMonoid.axioms [in mathcomp.boot.monoid]
SubChoice_isSubMonoid.Build [in mathcomp.boot.monoid]
SubChoice_isSubUMagma [in mathcomp.boot.monoid]
SubChoice_isSubUMagma.axioms [in mathcomp.boot.monoid]
SubChoice_isSubUMagma.Build [in mathcomp.boot.monoid]
SubChoice_isSubSemigroup [in mathcomp.boot.monoid]
SubChoice_isSubSemigroup.axioms [in mathcomp.boot.monoid]
SubChoice_isSubSemigroup.Build [in mathcomp.boot.monoid]
SubChoice_isSubMagma [in mathcomp.boot.monoid]
SubChoice_isSubMagma.axioms [in mathcomp.boot.monoid]
SubChoice_isSubMagma.Build [in mathcomp.boot.monoid]
SubChoice.clone [in mathcomp.boot.choice]
SubChoice.copy [in mathcomp.boot.choice]
SubChoice.Exports.subChoiceType [in mathcomp.boot.choice]
SubChoice.on [in mathcomp.boot.choice]
SubChoice.on_ [in mathcomp.boot.choice]
subComNzRingType [in mathcomp.algebra.ssralg]
subComSemiRingType [in mathcomp.algebra.ssralg]
SubCountable [in mathcomp.boot.choice]
SubCountable_isFinite [in mathcomp.boot.fintype]
SubCountable_isFinite.axioms [in mathcomp.boot.fintype]
SubCountable_isFinite.Build [in mathcomp.boot.fintype]
SubCountable.clone [in mathcomp.boot.choice]
SubCountable.copy [in mathcomp.boot.choice]
SubCountable.Exports.subCountType [in mathcomp.boot.choice]
SubCountable.on [in mathcomp.boot.choice]
SubCountable.on_ [in mathcomp.boot.choice]
subdom [in mathcomp.fingroup.action]
SubEquality [in mathcomp.boot.eqtype]
SubEquality.clone [in mathcomp.boot.eqtype]
SubEquality.copy [in mathcomp.boot.eqtype]
SubEquality.Exports.subEqType [in mathcomp.boot.eqtype]
SubEquality.on [in mathcomp.boot.eqtype]
SubEquality.on_ [in mathcomp.boot.eqtype]
SubFinite [in mathcomp.boot.fintype]
SubFinite.clone [in mathcomp.boot.fintype]
SubFinite.copy [in mathcomp.boot.fintype]
SubFinite.Exports.subFinType [in mathcomp.boot.fintype]
SubFinite.on [in mathcomp.boot.fintype]
SubFinite.on_ [in mathcomp.boot.fintype]
SubGroup [in mathcomp.boot.monoid]
SubGroup.clone [in mathcomp.boot.monoid]
SubGroup.copy [in mathcomp.boot.monoid]
SubGroup.Exports.subGroupType [in mathcomp.boot.monoid]
SubGroup.on [in mathcomp.boot.monoid]
SubGroup.on_ [in mathcomp.boot.monoid]
SubMagma [in mathcomp.boot.monoid]
SubMagma.clone [in mathcomp.boot.monoid]
SubMagma.copy [in mathcomp.boot.monoid]
SubMagma.Exports.subMagmaType [in mathcomp.boot.monoid]
SubMagma.on [in mathcomp.boot.monoid]
SubMagma.on_ [in mathcomp.boot.monoid]
SubMonoid [in mathcomp.boot.monoid]
SubMonoid.clone [in mathcomp.boot.monoid]
SubMonoid.copy [in mathcomp.boot.monoid]
SubMonoid.Exports.subMonoidType [in mathcomp.boot.monoid]
SubMonoid.on [in mathcomp.boot.monoid]
SubMonoid.on_ [in mathcomp.boot.monoid]
submx [in mathcomp.algebra.mxalgebra]
subRingType [in mathcomp.algebra.ssralg]
SubSemigroup [in mathcomp.boot.monoid]
SubSemigroup.clone [in mathcomp.boot.monoid]
SubSemigroup.copy [in mathcomp.boot.monoid]
SubSemigroup.Exports.subSemigroupType [in mathcomp.boot.monoid]
SubSemigroup.on [in mathcomp.boot.monoid]
SubSemigroup.on_ [in mathcomp.boot.monoid]
subSemiRingType [in mathcomp.algebra.ssralg]
subset [in mathcomp.boot.fintype]
SubType [in mathcomp.boot.eqtype]
SubType.clone [in mathcomp.boot.eqtype]
SubType.copy [in mathcomp.boot.eqtype]
SubType.Exports.subType [in mathcomp.boot.eqtype]
SubType.on [in mathcomp.boot.eqtype]
SubType.on_ [in mathcomp.boot.eqtype]
SubUMagma [in mathcomp.boot.monoid]
SubUMagma.clone [in mathcomp.boot.monoid]
SubUMagma.copy [in mathcomp.boot.monoid]
SubUMagma.Exports.subUMagmaType [in mathcomp.boot.monoid]
SubUMagma.on [in mathcomp.boot.monoid]
SubUMagma.on_ [in mathcomp.boot.monoid]
subV [in mathcomp.algebra.vector]
succn [in mathcomp.boot.ssrnat]
sumKx [in mathcomp.field.fieldext]
sumV [in mathcomp.algebra.vector]
sumv_pi [in mathcomp.algebra.vector]
sum_irr_degree [in mathcomp.character.mxrepresentation]
support [in mathcomp.boot.nmodule]
support [in mathcomp.algebra.ssralg]
SwizzleAdd [in mathcomp.algebra.matrix]
SwizzleLin [in mathcomp.algebra.matrix]
symmetricmx [in mathcomp.algebra.sesquilinear]
symmetric_form [in mathcomp.algebra.sesquilinear]
| 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 | (75862 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 | (2184 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 | (2366 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 | (9859 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 | (106 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 | (15730 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 | (72 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 | (239 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 | (139 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 | (3716 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 | (2702 entries) |
| Instance 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 | (3 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 | (4172 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 | (33700 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 | (874 entries) |