From ed05182cece6bb3706e09b2ce14af4a41a2e8141 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 20 Apr 2018 10:54:22 +0200 Subject: generate the documentation for 1.7 --- docs/htmldoc/index_section_*.html | 478 +++++++++++++++++ docs/htmldoc/index_section_A.html | 966 +++++++++++++++++++++++++++++++++ docs/htmldoc/index_section_B.html | 497 +++++++++++++++++ docs/htmldoc/index_section_C.html | 1031 +++++++++++++++++++++++++++++++++++ docs/htmldoc/index_section_D.html | 502 +++++++++++++++++ docs/htmldoc/index_section_E.html | 997 ++++++++++++++++++++++++++++++++++ docs/htmldoc/index_section_F.html | 1064 ++++++++++++++++++++++++++++++++++++ docs/htmldoc/index_section_G.html | 1057 ++++++++++++++++++++++++++++++++++++ docs/htmldoc/index_section_H.html | 483 +++++++++++++++++ docs/htmldoc/index_section_I.html | 1004 ++++++++++++++++++++++++++++++++++ docs/htmldoc/index_section_J.html | 478 +++++++++++++++++ docs/htmldoc/index_section_K.html | 483 +++++++++++++++++ docs/htmldoc/index_section_L.html | 495 +++++++++++++++++ docs/htmldoc/index_section_M.html | 1069 +++++++++++++++++++++++++++++++++++++ docs/htmldoc/index_section_N.html | 980 ++++++++++++++++++++++++++++++++++ docs/htmldoc/index_section_O.html | 494 +++++++++++++++++ docs/htmldoc/index_section_P.html | 1029 +++++++++++++++++++++++++++++++++++ docs/htmldoc/index_section_Q.html | 499 +++++++++++++++++ docs/htmldoc/index_section_R.html | 989 ++++++++++++++++++++++++++++++++++ docs/htmldoc/index_section_S.html | 999 ++++++++++++++++++++++++++++++++++ docs/htmldoc/index_section_T.html | 495 +++++++++++++++++ docs/htmldoc/index_section_U.html | 488 +++++++++++++++++ docs/htmldoc/index_section_V.html | 497 +++++++++++++++++ docs/htmldoc/index_section_W.html | 478 +++++++++++++++++ docs/htmldoc/index_section_X.html | 478 +++++++++++++++++ docs/htmldoc/index_section_Y.html | 478 +++++++++++++++++ docs/htmldoc/index_section_Z.html | 488 +++++++++++++++++ docs/htmldoc/index_section__.html | 478 +++++++++++++++++ 28 files changed, 19474 insertions(+) create mode 100644 docs/htmldoc/index_section_*.html create mode 100644 docs/htmldoc/index_section_A.html create mode 100644 docs/htmldoc/index_section_B.html create mode 100644 docs/htmldoc/index_section_C.html create mode 100644 docs/htmldoc/index_section_D.html create mode 100644 docs/htmldoc/index_section_E.html create mode 100644 docs/htmldoc/index_section_F.html create mode 100644 docs/htmldoc/index_section_G.html create mode 100644 docs/htmldoc/index_section_H.html create mode 100644 docs/htmldoc/index_section_I.html create mode 100644 docs/htmldoc/index_section_J.html create mode 100644 docs/htmldoc/index_section_K.html create mode 100644 docs/htmldoc/index_section_L.html create mode 100644 docs/htmldoc/index_section_M.html create mode 100644 docs/htmldoc/index_section_N.html create mode 100644 docs/htmldoc/index_section_O.html create mode 100644 docs/htmldoc/index_section_P.html create mode 100644 docs/htmldoc/index_section_Q.html create mode 100644 docs/htmldoc/index_section_R.html create mode 100644 docs/htmldoc/index_section_S.html create mode 100644 docs/htmldoc/index_section_T.html create mode 100644 docs/htmldoc/index_section_U.html create mode 100644 docs/htmldoc/index_section_V.html create mode 100644 docs/htmldoc/index_section_W.html create mode 100644 docs/htmldoc/index_section_X.html create mode 100644 docs/htmldoc/index_section_Y.html create mode 100644 docs/htmldoc/index_section_Z.html create mode 100644 docs/htmldoc/index_section__.html (limited to 'docs/htmldoc/index_section_*.html') diff --git a/docs/htmldoc/index_section_*.html b/docs/htmldoc/index_section_*.html new file mode 100644 index 0000000..c9bd28e --- /dev/null +++ b/docs/htmldoc/index_section_*.html @@ -0,0 +1,478 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_A.html b/docs/htmldoc/index_section_A.html new file mode 100644 index 0000000..d03f837 --- /dev/null +++ b/docs/htmldoc/index_section_A.html @@ -0,0 +1,966 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

A (section)

+AbelemRepr [in mathcomp.character.mxabelem]
+AbelemRepr.FpMatrix [in mathcomp.character.mxabelem]
+AbelemRepr.FpRow [in mathcomp.character.mxabelem]
+AbelemRepr.OneGroup [in mathcomp.character.mxabelem]
+AbelemRepr.SubGroup [in mathcomp.character.mxabelem]
+AbelianDefs [in mathcomp.solvable.abelian]
+AbelianStructure [in mathcomp.solvable.abelian]
+Absz [in mathcomp.algebra.ssrint]
+ActBy [in mathcomp.fingroup.action]
+ActionDef [in mathcomp.fingroup.action]
+ActionDefs [in mathcomp.fingroup.action]
+ActPerm [in mathcomp.fingroup.action]
+ActpermOrbits [in mathcomp.fingroup.action]
+AEnd_FinGroup.AEnd_FinGroup [in mathcomp.field.galois]
+AHom [in mathcomp.field.falgebra]
+AHom.Class_Def [in mathcomp.field.falgebra]
+AHom.LRMorphism [in mathcomp.field.falgebra]
+AlgC [in mathcomp.character.character]
+AlgC [in mathcomp.character.classfun]
+AlgebraicsTheory [in mathcomp.field.algC]
+AlgebraicsTheory.AutC [in mathcomp.field.algC]
+AlgebraicsTheory.AutLmodC [in mathcomp.field.algC]
+AlgebraicsTheory.PredCmod [in mathcomp.field.algC]
+AlgIntSubring [in mathcomp.field.algnum]
+AllPairs [in mathcomp.ssreflect.seq]
+AspaceTheory [in mathcomp.field.falgebra]
+AspaceTheory.SkewField [in mathcomp.field.falgebra]
+Aut [in mathcomp.character.character]
+AutAct [in mathcomp.fingroup.action]
+AutChar [in mathcomp.character.character]
+AutIn [in mathcomp.fingroup.action]
+AutIsom [in mathcomp.fingroup.automorphism]
+Automorphism [in mathcomp.fingroup.automorphism]
+Automorphism.AutGroup [in mathcomp.fingroup.automorphism]
+AutPolyRoot [in mathcomp.algebra.poly]
+AutPrime [in mathcomp.solvable.cyclic]
+AutVchar [in mathcomp.character.vcharacter]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_B.html b/docs/htmldoc/index_section_B.html new file mode 100644 index 0000000..57a649a --- /dev/null +++ b/docs/htmldoc/index_section_B.html @@ -0,0 +1,497 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

B (section)

+BaseField [in mathcomp.field.fieldext]
+BaseSetMulDef [in mathcomp.fingroup.fingroup]
+BaseSetMulProp [in mathcomp.fingroup.fingroup]
+Basics [in mathcomp.character.vcharacter]
+BasicSetTheory [in mathcomp.ssreflect.finset]
+Basic_commutator_properties.LeftRightComm [in mathcomp.solvable.commutator]
+Basic_commutator_properties.RightComm [in mathcomp.solvable.commutator]
+Basic_commutator_properties.LeftComm [in mathcomp.solvable.commutator]
+Basic_commutator_properties [in mathcomp.solvable.commutator]
+BigBool [in mathcomp.ssreflect.bigop]
+BigBool.FinType [in mathcomp.ssreflect.bigop]
+BigBool.Seq [in mathcomp.ssreflect.bigop]
+BigDprod [in mathcomp.character.character]
+Bigdproduct [in mathcomp.character.classfun]
+BigOps [in mathcomp.ssreflect.finset]
+BigSetOps [in mathcomp.ssreflect.finset]
+BuildIsometries [in mathcomp.character.classfun]
+BuildSplittingField [in mathcomp.character.mxrepresentation]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_C.html b/docs/htmldoc/index_section_C.html new file mode 100644 index 0000000..b630707 --- /dev/null +++ b/docs/htmldoc/index_section_C.html @@ -0,0 +1,1031 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

C (section)

+Canonicals [in mathcomp.algebra.fraction]
+CardCosetpre [in mathcomp.fingroup.quotient]
+CardFunImage [in mathcomp.ssreflect.fintype]
+CardFunImage [in mathcomp.ssreflect.finset]
+CardGL [in mathcomp.algebra.mxalgebra]
+CardMorphism [in mathcomp.fingroup.quotient]
+CardSig [in mathcomp.ssreflect.fintype]
+CardVspace [in mathcomp.field.finfield]
+CardVspace.Vector [in mathcomp.field.finfield]
+CartesianProd [in mathcomp.ssreflect.finset]
+CastTuple [in mathcomp.ssreflect.tuple]
+Center [in mathcomp.character.character]
+Center [in mathcomp.solvable.center]
+Center.Injm [in mathcomp.solvable.center]
+Central [in mathcomp.solvable.gseries]
+CfDetOps [in mathcomp.character.character]
+CfunOrder [in mathcomp.character.classfun]
+ChangeOfField [in mathcomp.character.mxrepresentation]
+ChangeOfField.OneRepresentation [in mathcomp.character.mxrepresentation]
+ChangeOfRing [in mathcomp.character.mxrepresentation]
+ChangeOfRing.OneRepresentation [in mathcomp.character.mxrepresentation]
+Char [in mathcomp.character.character]
+Characteristicity [in mathcomp.fingroup.automorphism]
+CharInjm [in mathcomp.fingroup.automorphism]
+CharPoly [in mathcomp.algebra.mxpoly]
+CharSimple [in mathcomp.solvable.maximal]
+Char.StandardRepr [in mathcomp.character.character]
+Chiefs [in mathcomp.solvable.gseries]
+Chinese [in mathcomp.ssreflect.div]
+Chinese [in mathcomp.algebra.intdiv]
+ChoiceTheory [in mathcomp.ssreflect.choice]
+ChoiceTheory.OneType [in mathcomp.ssreflect.choice]
+ChoiceTheory.OneType.CanChoice [in mathcomp.ssreflect.choice]
+ChoiceTheory.OneType.SubChoice [in mathcomp.ssreflect.choice]
+ChoiceTheory.TagChoice [in mathcomp.ssreflect.choice]
+Choice.ClassDef [in mathcomp.ssreflect.choice]
+Choice.InternalTheory.InternalTheory [in mathcomp.ssreflect.choice]
+ClassFun [in mathcomp.character.classfun]
+ClosedField [in mathcomp.algebra.poly]
+ClosedFieldQE [in mathcomp.field.closed_field]
+Closure [in mathcomp.ssreflect.fingraph]
+Closure [in mathcomp.field.falgebra]
+colouring [in mathcomp.solvable.burnside_app]
+colouring.cube_colouring [in mathcomp.solvable.burnside_app]
+colouring.square_colouring [in mathcomp.solvable.burnside_app]
+Combinations [in mathcomp.ssreflect.binomial]
+ComMatrix [in mathcomp.algebra.matrix]
+ComMatrix.AssocLeft [in mathcomp.algebra.matrix]
+ComMatrix.LinMulRow [in mathcomp.algebra.matrix]
+ComMatrix.MatrixAlgType [in mathcomp.algebra.matrix]
+Commutator_properties [in mathcomp.solvable.commutator]
+CompAct [in mathcomp.fingroup.action]
+ComparableType [in mathcomp.ssreflect.eqtype]
+CompLfun [in mathcomp.algebra.vector]
+CompositionSeries [in mathcomp.solvable.jordanholder]
+Conj [in mathcomp.character.inertia]
+ConjDef [in mathcomp.character.inertia]
+ConjMorph [in mathcomp.character.inertia]
+ConjQuotient [in mathcomp.character.inertia]
+ConjRestrict [in mathcomp.character.inertia]
+ConjugationMorphism [in mathcomp.fingroup.automorphism]
+Connect [in mathcomp.ssreflect.fingraph]
+Connect.Dfs [in mathcomp.ssreflect.fingraph]
+ConsttInertiaBijection [in mathcomp.character.inertia]
+Contrapositives [in mathcomp.ssreflect.eqtype]
+CormenLUP [in mathcomp.algebra.matrix]
+Coset [in mathcomp.character.character]
+Coset [in mathcomp.character.classfun]
+CosetOfGroupTheory [in mathcomp.fingroup.quotient]
+CosetOfGroupTheory.Injective [in mathcomp.fingroup.quotient]
+CosetOfGroupTheory.InverseImage [in mathcomp.fingroup.quotient]
+Cosets [in mathcomp.fingroup.quotient]
+CountableDataTypes [in mathcomp.ssreflect.choice]
+CountableTheory [in mathcomp.ssreflect.choice]
+Countable.ClassDef [in mathcomp.ssreflect.choice]
+CountEncodingModuloRel [in mathcomp.ssreflect.generic_quotient]
+CountRing.ClosedField.ClassDef [in mathcomp.field.countalg]
+CountRing.ComRing.ClassDef [in mathcomp.field.countalg]
+CountRing.ComUnitRing.ClassDef [in mathcomp.field.countalg]
+CountRing.DecidableField.ClassDef [in mathcomp.field.countalg]
+CountRing.Field.ClassDef [in mathcomp.field.countalg]
+CountRing.Generic [in mathcomp.field.countalg]
+CountRing.IntegralDomain.ClassDef [in mathcomp.field.countalg]
+CountRing.Ring.ClassDef [in mathcomp.field.countalg]
+CountRing.UnitRing.ClassDef [in mathcomp.field.countalg]
+CountRing.Zmodule.ClassDef [in mathcomp.field.countalg]
+CprodBy [in mathcomp.solvable.center]
+CprodBy.ExtCprodm [in mathcomp.solvable.center]
+CprodBy.Isomorphism [in mathcomp.solvable.center]
+CycleArc [in mathcomp.ssreflect.path]
+Cycles [in mathcomp.fingroup.fingroup]
+CycleSubGroup [in mathcomp.solvable.cyclic]
+Cyclic [in mathcomp.solvable.cyclic]
+CyclicAutomorphism [in mathcomp.solvable.cyclic]
+CyclicAutomorphism.CycleAutomorphism [in mathcomp.solvable.cyclic]
+CyclicAutomorphism.CycleAutomorphism.CycleMorphism [in mathcomp.solvable.cyclic]
+CyclicAutomorphism.CycleAutomorphism.ZpUnitMorphism [in mathcomp.solvable.cyclic]
+CyclicProps [in mathcomp.solvable.cyclic]
+Cyclic.Zpm [in mathcomp.solvable.cyclic]
+CyclotomicPoly [in mathcomp.field.cyclotomic]
+CyclotomicPoly.Field [in mathcomp.field.cyclotomic]
+CyclotomicPoly.Ring [in mathcomp.field.cyclotomic]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_D.html b/docs/htmldoc/index_section_D.html new file mode 100644 index 0000000..926d7d7 --- /dev/null +++ b/docs/htmldoc/index_section_D.html @@ -0,0 +1,502 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

D (section)

+DecField [in mathcomp.algebra.poly]
+DecideRed [in mathcomp.character.mxrepresentation]
+DecideRed.Definitions [in mathcomp.character.mxrepresentation]
+Def [in mathcomp.ssreflect.tuple]
+Def [in mathcomp.ssreflect.finfun]
+DefaultEncodingModuloRel [in mathcomp.ssreflect.generic_quotient]
+Definitions [in mathcomp.solvable.frobenius]
+Definitions.FrobeniusAction [in mathcomp.solvable.frobenius]
+Defs [in mathcomp.fingroup.gproduct]
+Defs [in mathcomp.solvable.maximal]
+Defs [in mathcomp.character.classfun]
+Defs [in mathcomp.solvable.center]
+Defs.Automorphism [in mathcomp.character.classfun]
+DerivedBasics [in mathcomp.solvable.commutator]
+DerivedGroup [in mathcomp.character.character]
+DetOrder [in mathcomp.character.character]
+DetOrder.DetRepr [in mathcomp.character.character]
+DirectSums [in mathcomp.algebra.mxalgebra]
+DirprodIsom [in mathcomp.fingroup.gproduct]
+Distributivity [in mathcomp.ssreflect.bigop]
+DotProduct [in mathcomp.character.classfun]
+DProd [in mathcomp.character.character]
+DProduct [in mathcomp.character.classfun]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_E.html b/docs/htmldoc/index_section_E.html new file mode 100644 index 0000000..5429366 --- /dev/null +++ b/docs/htmldoc/index_section_E.html @@ -0,0 +1,997 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

E (section)

+ElementOps [in mathcomp.fingroup.fingroup]
+Elim1 [in mathcomp.ssreflect.bigop]
+Elim2 [in mathcomp.ssreflect.bigop]
+Elim3 [in mathcomp.ssreflect.bigop]
+Eltm [in mathcomp.solvable.cyclic]
+EncodingModuloEquiv [in mathcomp.ssreflect.generic_quotient]
+EncodingModuloRel [in mathcomp.ssreflect.generic_quotient]
+EnumRank [in mathcomp.ssreflect.fintype]
+EqAllPairs [in mathcomp.ssreflect.seq]
+EqConnect [in mathcomp.ssreflect.fingraph]
+EqFlatten [in mathcomp.ssreflect.seq]
+EqFun [in mathcomp.ssreflect.eqtype]
+EqFun.Endo [in mathcomp.ssreflect.eqtype]
+EqFun.Exo [in mathcomp.ssreflect.eqtype]
+EqImage [in mathcomp.ssreflect.fintype]
+EqIso [in mathcomp.fingroup.quotient]
+EqMap [in mathcomp.ssreflect.seq]
+EqMask [in mathcomp.ssreflect.seq]
+EqPath [in mathcomp.ssreflect.path]
+EqPcore [in mathcomp.solvable.pgroup]
+EqPmap [in mathcomp.ssreflect.seq]
+EqPmapSub [in mathcomp.ssreflect.seq]
+EqPred [in mathcomp.ssreflect.eqtype]
+EqQuotTheory [in mathcomp.ssreflect.generic_quotient]
+EqQuotTypeStructure [in mathcomp.ssreflect.generic_quotient]
+EqSeq [in mathcomp.ssreflect.seq]
+EqSeq.EqIn [in mathcomp.ssreflect.seq]
+EqSeq.Filters [in mathcomp.ssreflect.seq]
+EqTheory [in mathcomp.ssreflect.finfun]
+EqTrajectory [in mathcomp.ssreflect.path]
+EqTuple [in mathcomp.ssreflect.tuple]
+Equality.ClassDef [in mathcomp.ssreflect.eqtype]
+EquivQuotTheory [in mathcomp.ssreflect.generic_quotient]
+EquivQuot.EquivQuot [in mathcomp.ssreflect.generic_quotient]
+EquivRel [in mathcomp.ssreflect.generic_quotient]
+ExMaxn [in mathcomp.ssreflect.ssrnat]
+ExMinn [in mathcomp.ssreflect.ssrnat]
+ExponentAbelem [in mathcomp.solvable.abelian]
+ExponentPextraspecialTheory [in mathcomp.solvable.extraspecial]
+ExprzField [in mathcomp.algebra.ssrint]
+ExprzIdomain [in mathcomp.algebra.ssrint]
+ExprzOrder [in mathcomp.algebra.ssrint]
+ExprzUnitRing [in mathcomp.algebra.ssrint]
+Exprz_Zint_UnitRing [in mathcomp.algebra.ssrint]
+ExtCprod [in mathcomp.solvable.center]
+ExtendInvariantIrr [in mathcomp.character.inertia]
+ExtendInvariantIrr.ConsttIndExtendible [in mathcomp.character.inertia]
+Extensionality [in mathcomp.ssreflect.bigop]
+Extensionality.SeqExtension [in mathcomp.ssreflect.bigop]
+ExternalAction [in mathcomp.solvable.hall]
+ExternalAction.FullExtension [in mathcomp.solvable.hall]
+ExternalDirProd [in mathcomp.fingroup.gproduct]
+ExternalSDirProd [in mathcomp.fingroup.gproduct]
+Extraspecial [in mathcomp.solvable.maximal]
+Extraspecial [in mathcomp.character.mxabelem]
+Extraspecial.Basic [in mathcomp.solvable.maximal]
+Extraspecial.ExtraspecialFormspace [in mathcomp.solvable.maximal]
+Extraspecial.StructureCorollaries [in mathcomp.solvable.maximal]
+Extrema [in mathcomp.ssreflect.fintype]
+ExtremalTheory [in mathcomp.solvable.extremal]
+ExtremalTheory.DihedralGroup [in mathcomp.solvable.extremal]
+ExtremalTheory.DihedralGroup.Dihedral_extension [in mathcomp.solvable.extremal]
+ExtremalTheory.ExtremalClass [in mathcomp.solvable.extremal]
+ExtremalTheory.ExtremalStructure [in mathcomp.solvable.extremal]
+ExtremalTheory.ModularGroup [in mathcomp.solvable.extremal]
+ExtremalTheory.Quaternion [in mathcomp.solvable.extremal]
+Extremal.Construction [in mathcomp.solvable.extremal]
+ExtSdprodm [in mathcomp.fingroup.gproduct]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_F.html b/docs/htmldoc/index_section_F.html new file mode 100644 index 0000000..105d000 --- /dev/null +++ b/docs/htmldoc/index_section_F.html @@ -0,0 +1,1064 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

F (section)

+FactorMorphism [in mathcomp.fingroup.morphism]
+FalgebraTheory [in mathcomp.field.falgebra]
+Falgebra.ClassDef [in mathcomp.field.falgebra]
+Falgebra.DefaultBase [in mathcomp.field.falgebra]
+FalgLfun.FalgLfun [in mathcomp.field.falgebra]
+FalgLfun.InvLfun [in mathcomp.field.falgebra]
+FconnectEq [in mathcomp.ssreflect.fingraph]
+FconnectId [in mathcomp.ssreflect.fingraph]
+FieldAutomorphism [in mathcomp.character.classfun]
+FieldExtTheory [in mathcomp.field.fieldext]
+FieldExtTheory.FadjoinPoly [in mathcomp.field.fieldext]
+FieldExtTheory.FadjoinPolyDefinitions [in mathcomp.field.fieldext]
+FieldExtTheory.Horner [in mathcomp.field.fieldext]
+FieldExt.FieldExt [in mathcomp.field.fieldext]
+FieldExt.FieldExt.Bases [in mathcomp.field.fieldext]
+FieldMulCyclic [in mathcomp.solvable.cyclic]
+FieldOver [in mathcomp.field.fieldext]
+FieldRepr [in mathcomp.character.mxrepresentation]
+FieldRepr.Abelian [in mathcomp.character.mxrepresentation]
+FieldRepr.AbelianQuotient [in mathcomp.character.mxrepresentation]
+FieldRepr.ChangeGroup [in mathcomp.character.mxrepresentation]
+FieldRepr.ChangeGroup.SameGroup [in mathcomp.character.mxrepresentation]
+FieldRepr.ChangeGroup.SameGroup.Stabilisers [in mathcomp.character.mxrepresentation]
+FieldRepr.ChangeGroup.SubGroup [in mathcomp.character.mxrepresentation]
+FieldRepr.ChangeGroup.SubGroup.Stabilisers [in mathcomp.character.mxrepresentation]
+FieldRepr.Clifford [in mathcomp.character.mxrepresentation]
+FieldRepr.Conjugate [in mathcomp.character.mxrepresentation]
+FieldRepr.JacobsonDensity [in mathcomp.character.mxrepresentation]
+FieldRepr.JordanHolder [in mathcomp.character.mxrepresentation]
+FieldRepr.LinearIrr [in mathcomp.character.mxrepresentation]
+FieldRepr.Morphim [in mathcomp.character.mxrepresentation]
+FieldRepr.Morphim.Stabilisers [in mathcomp.character.mxrepresentation]
+FieldRepr.Morphpre [in mathcomp.character.mxrepresentation]
+FieldRepr.Morphpre.Stabilisers [in mathcomp.character.mxrepresentation]
+FieldRepr.OneRepresentation [in mathcomp.character.mxrepresentation]
+FieldRepr.OneRepresentation.CentHom [in mathcomp.character.mxrepresentation]
+FieldRepr.OneRepresentation.Components [in mathcomp.character.mxrepresentation]
+FieldRepr.OneRepresentation.Socle [in mathcomp.character.mxrepresentation]
+FieldRepr.OneRepresentation.Socle.SocleDef [in mathcomp.character.mxrepresentation]
+FieldRepr.OneRepresentation.Socle.SubSocle [in mathcomp.character.mxrepresentation]
+FieldRepr.OneRepresentation.Stabilisers [in mathcomp.character.mxrepresentation]
+FieldRepr.OneRepresentation.Submodule [in mathcomp.character.mxrepresentation]
+FieldRepr.Proper [in mathcomp.character.mxrepresentation]
+FieldRepr.Quotient [in mathcomp.character.mxrepresentation]
+FieldRepr.Regular [in mathcomp.character.mxrepresentation]
+FieldRepr.Regular.CenterMode [in mathcomp.character.mxrepresentation]
+FieldRepr.Regular.GringMx [in mathcomp.character.mxrepresentation]
+FieldRepr.Regular.IrrComponent [in mathcomp.character.mxrepresentation]
+FieldRepr.Similarity [in mathcomp.character.mxrepresentation]
+FieldRepr.Socle [in mathcomp.character.mxrepresentation]
+FieldRepr.SplittingField [in mathcomp.character.mxrepresentation]
+FieldRepr.Submodule [in mathcomp.character.mxrepresentation]
+FieldRoots [in mathcomp.algebra.poly]
+FieldRoots.UnityRoots [in mathcomp.algebra.poly]
+FilterSubseq [in mathcomp.ssreflect.seq]
+FimModAbelem [in mathcomp.solvable.abelian]
+FinCancel [in mathcomp.ssreflect.fintype]
+FinCancel.Inv [in mathcomp.ssreflect.fintype]
+FinDomain [in mathcomp.field.finfield]
+FinField [in mathcomp.field.finfield]
+FinFieldExists [in mathcomp.field.finfield]
+FinFieldRepr [in mathcomp.character.mxabelem]
+FinFieldRepr.RowGroup [in mathcomp.character.mxabelem]
+FinFieldRepr.ScaleAction [in mathcomp.character.mxabelem]
+FinFunComRing [in mathcomp.algebra.ssralg]
+FinFunLmod [in mathcomp.algebra.ssralg]
+FinFunRing [in mathcomp.algebra.ssralg]
+FinFunZmod [in mathcomp.algebra.ssralg]
+FinFunZmod.Sum [in mathcomp.algebra.ssralg]
+FinGroup.InheritedClasses [in mathcomp.fingroup.fingroup]
+FinGroup.Mixin [in mathcomp.fingroup.fingroup]
+FiniteModule.OneFinMod [in mathcomp.solvable.finmodule]
+FiniteQuant.Definitions [in mathcomp.ssreflect.fintype]
+Finite.ClassDef [in mathcomp.ssreflect.fintype]
+Finite.Mixins [in mathcomp.ssreflect.fintype]
+Finite.RawMixin [in mathcomp.ssreflect.fintype]
+FinRing [in mathcomp.field.finfield]
+FinRingRepr [in mathcomp.character.mxabelem]
+FinRing.AdditiveGroup [in mathcomp.algebra.finalg]
+FinRing.Algebra.ClassDef [in mathcomp.algebra.finalg]
+FinRing.ComRing.ClassDef [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.ClassDef [in mathcomp.algebra.finalg]
+FinRing.DecField.Joins [in mathcomp.algebra.finalg]
+FinRing.DecideField [in mathcomp.algebra.finalg]
+FinRing.Field.ClassDef [in mathcomp.algebra.finalg]
+FinRing.Generic [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.ClassDef [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.ClassDef [in mathcomp.algebra.finalg]
+FinRing.Lmodule.ClassDef [in mathcomp.algebra.finalg]
+FinRing.Ring.ClassDef [in mathcomp.algebra.finalg]
+FinRing.Ring.Unit [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.ClassDef [in mathcomp.algebra.finalg]
+FinRing.UnitRing.ClassDef [in mathcomp.algebra.finalg]
+FinRing.UnitsGroup [in mathcomp.algebra.finalg]
+FinRing.Zmodule.ClassDef [in mathcomp.algebra.finalg]
+FinSplittingField [in mathcomp.field.finfield]
+FinSplittingField.FinGalois [in mathcomp.field.finfield]
+FinTheory [in mathcomp.ssreflect.finfun]
+FinTupleSig.FinTupleSig [in mathcomp.ssreflect.tuple]
+FinTuple.FinTuple [in mathcomp.ssreflect.tuple]
+FinTypeForSub [in mathcomp.ssreflect.fintype]
+FinUnitMatrix [in mathcomp.algebra.matrix]
+FinVector.Interfaces [in mathcomp.field.finfield]
+FinvEq [in mathcomp.ssreflect.fingraph]
+FinZmodMatrix [in mathcomp.algebra.matrix]
+FirstIsomorphism [in mathcomp.fingroup.quotient]
+Fitting [in mathcomp.solvable.maximal]
+FittingFun [in mathcomp.solvable.maximal]
+FixedSpace [in mathcomp.algebra.vector]
+Flatten [in mathcomp.ssreflect.seq]
+Fmorph [in mathcomp.algebra.rat]
+FoldLeft [in mathcomp.ssreflect.seq]
+FoldRight [in mathcomp.ssreflect.seq]
+FoldRightComp [in mathcomp.ssreflect.seq]
+FracDomain [in mathcomp.algebra.fraction]
+FracFieldTheory [in mathcomp.algebra.fraction]
+FracField.FracField [in mathcomp.algebra.fraction]
+Frattini [in mathcomp.solvable.maximal]
+Frattini0 [in mathcomp.solvable.maximal]
+Frattini2 [in mathcomp.solvable.maximal]
+Frattini3 [in mathcomp.solvable.maximal]
+Frattini4 [in mathcomp.solvable.maximal]
+Frobenius [in mathcomp.character.inertia]
+FrobeniusBasics [in mathcomp.solvable.frobenius]
+FrobeniusBasics.FrobeniusProperties [in mathcomp.solvable.frobenius]
+FunctorGroup [in mathcomp.solvable.gfunctor]
+Functors [in mathcomp.solvable.abelian]
+FunctorTheory [in mathcomp.solvable.gfunctor]
+FunImage [in mathcomp.ssreflect.finset]
+FunImageComp [in mathcomp.ssreflect.finset]
+FunImage.ImsetTheory [in mathcomp.ssreflect.finset]
+FunImage.ImsetTheory.ImsetProp [in mathcomp.ssreflect.finset]
+FunVectType [in mathcomp.algebra.vector]
+FunWith [in mathcomp.ssreflect.eqtype]
+Fun2Set1 [in mathcomp.ssreflect.finset]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_G.html b/docs/htmldoc/index_section_G.html new file mode 100644 index 0000000..cc67c44 --- /dev/null +++ b/docs/htmldoc/index_section_G.html @@ -0,0 +1,1057 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

G (section)

+GaloisTheory [in mathcomp.field.galois]
+GaloisTheory.Automorphism [in mathcomp.field.galois]
+GaloisTheory.FundamentalTheoremOfGaloisTheory [in mathcomp.field.galois]
+GaloisTheory.FundamentalTheoremOfGaloisTheory.IntermediateField [in mathcomp.field.galois]
+GaloisTheory.FundamentalTheoremOfGaloisTheory.IntermediateGroup [in mathcomp.field.galois]
+GaloisTheory.gal_of_Definition [in mathcomp.field.galois]
+GaloisTheory.Matrix [in mathcomp.field.galois]
+GaloisTheory.TraceAndNormField [in mathcomp.field.galois]
+GaloisTheory.TraceAndNormMorphism [in mathcomp.field.galois]
+Gaschutz [in mathcomp.solvable.finmodule]
+GeneralExponentPextraspecialTheory [in mathcomp.solvable.extraspecial]
+GeneratedGroup [in mathcomp.fingroup.fingroup]
+GenericClassSums [in mathcomp.character.integral_char]
+GenTree.Def [in mathcomp.ssreflect.choice]
+GFunctorExamples [in mathcomp.solvable.gfunctor]
+GFunctor.ClassDefinitions [in mathcomp.solvable.gfunctor]
+GFunctor.Definitions [in mathcomp.solvable.gfunctor]
+GL_unit [in mathcomp.algebra.matrix]
+GRing.AdditiveTheory [in mathcomp.algebra.ssralg]
+GRing.AdditiveTheory.AddFun [in mathcomp.algebra.ssralg]
+GRing.AdditiveTheory.MulFun [in mathcomp.algebra.ssralg]
+GRing.AdditiveTheory.Properties [in mathcomp.algebra.ssralg]
+GRing.AdditiveTheory.RingProperties [in mathcomp.algebra.ssralg]
+GRing.AdditiveTheory.ScaleFun [in mathcomp.algebra.ssralg]
+GRing.Additive.ClassDef [in mathcomp.algebra.ssralg]
+GRing.AlgebraTheory [in mathcomp.algebra.ssralg]
+GRing.Algebra.ClassDef [in mathcomp.algebra.ssralg]
+GRing.Algebra.Mixin [in mathcomp.algebra.ssralg]
+GRing.ClosedFieldTheory [in mathcomp.algebra.ssralg]
+GRing.ClosedField.ClassDef [in mathcomp.algebra.ssralg]
+GRing.ComRingTheory [in mathcomp.algebra.ssralg]
+GRing.ComRingTheory.FrobeniusAutomorphism [in mathcomp.algebra.ssralg]
+GRing.ComRingTheory.ScaleLinear [in mathcomp.algebra.ssralg]
+GRing.ComRing.ClassDef [in mathcomp.algebra.ssralg]
+GRing.ComUnitRingTheory [in mathcomp.algebra.ssralg]
+GRing.ComUnitRing.ClassDef [in mathcomp.algebra.ssralg]
+GRing.ComUnitRing.Mixin [in mathcomp.algebra.ssralg]
+GRing.DecidableFieldTheory [in mathcomp.algebra.ssralg]
+GRing.DecidableField.ClassDef [in mathcomp.algebra.ssralg]
+GRing.EvalTerm [in mathcomp.algebra.ssralg]
+GRing.EvalTerm.If [in mathcomp.algebra.ssralg]
+GRing.EvalTerm.MultiQuant [in mathcomp.algebra.ssralg]
+GRing.EvalTerm.Pick [in mathcomp.algebra.ssralg]
+GRing.FieldTheory [in mathcomp.algebra.ssralg]
+GRing.FieldTheory.FieldMorphismInj [in mathcomp.algebra.ssralg]
+GRing.FieldTheory.FieldMorphismInv [in mathcomp.algebra.ssralg]
+GRing.FieldTheory.ModuleTheory [in mathcomp.algebra.ssralg]
+GRing.FieldTheory.Predicates [in mathcomp.algebra.ssralg]
+GRing.Field.ClassDef [in mathcomp.algebra.ssralg]
+GRing.Field.Mixins [in mathcomp.algebra.ssralg]
+GRing.IntegralDomainTheory [in mathcomp.algebra.ssralg]
+GRing.IntegralDomain.ClassDef [in mathcomp.algebra.ssralg]
+GRing.LalgebraTheory [in mathcomp.algebra.ssralg]
+GRing.LalgebraTheory.ClosedPredicates [in mathcomp.algebra.ssralg]
+GRing.Lalgebra.ClassDef [in mathcomp.algebra.ssralg]
+GRing.LiftedRing [in mathcomp.algebra.ssralg]
+GRing.LiftedScale [in mathcomp.algebra.ssralg]
+GRing.LiftedZmod [in mathcomp.algebra.ssralg]
+GRing.LinearTheory [in mathcomp.algebra.ssralg]
+GRing.LinearTheory.BidirectionalLinearZ [in mathcomp.algebra.ssralg]
+GRing.LinearTheory.GenericProperties [in mathcomp.algebra.ssralg]
+GRing.LinearTheory.LinearLalg [in mathcomp.algebra.ssralg]
+GRing.LinearTheory.LinearLmod [in mathcomp.algebra.ssralg]
+GRing.LinearTheory.LmodProperties [in mathcomp.algebra.ssralg]
+GRing.LinearTheory.ScalarProperties [in mathcomp.algebra.ssralg]
+GRing.Linear.ClassDef [in mathcomp.algebra.ssralg]
+GRing.LmodPred [in mathcomp.algebra.ssralg]
+GRing.LmoduleTheory [in mathcomp.algebra.ssralg]
+GRing.LmoduleTheory.ClosedPredicates [in mathcomp.algebra.ssralg]
+GRing.Lmodule.ClassDef [in mathcomp.algebra.ssralg]
+GRing.LRMorphismTheory [in mathcomp.algebra.ssralg]
+GRing.LRMorphism.ClassDef [in mathcomp.algebra.ssralg]
+GRing.Pred.Extensionality [in mathcomp.algebra.ssralg]
+GRing.Pred.Subtyping [in mathcomp.algebra.ssralg]
+GRing.QE_Mixin [in mathcomp.algebra.ssralg]
+GRing.RightRegular [in mathcomp.algebra.ssralg]
+GRing.RingPred [in mathcomp.algebra.ssralg]
+GRing.RingPred.Mul [in mathcomp.algebra.ssralg]
+GRing.RingTheory [in mathcomp.algebra.ssralg]
+GRing.RingTheory.Char2 [in mathcomp.algebra.ssralg]
+GRing.RingTheory.ClosedPredicates [in mathcomp.algebra.ssralg]
+GRing.RingTheory.FrobeniusAutomorphism [in mathcomp.algebra.ssralg]
+GRing.Ring.ClassDef [in mathcomp.algebra.ssralg]
+GRing.RmorphismTheory [in mathcomp.algebra.ssralg]
+GRing.RmorphismTheory.InAlgebra [in mathcomp.algebra.ssralg]
+GRing.RmorphismTheory.Projections [in mathcomp.algebra.ssralg]
+GRing.RmorphismTheory.Properties [in mathcomp.algebra.ssralg]
+GRing.RMorphism.ClassDef [in mathcomp.algebra.ssralg]
+GRing.Scale.ScaleLaw [in mathcomp.algebra.ssralg]
+GRing.Substitution [in mathcomp.algebra.ssralg]
+GRing.SubType.Lmodule [in mathcomp.algebra.ssralg]
+GRing.SubType.Ring [in mathcomp.algebra.ssralg]
+GRing.SubType.UnitRing [in mathcomp.algebra.ssralg]
+GRing.SubType.Zmodule [in mathcomp.algebra.ssralg]
+GRing.TermDef [in mathcomp.algebra.ssralg]
+GRing.UnitAlgebraTheory [in mathcomp.algebra.ssralg]
+GRing.UnitAlgebraTheory.ClosedPredicates [in mathcomp.algebra.ssralg]
+GRing.UnitAlgebra.ClassDef [in mathcomp.algebra.ssralg]
+GRing.UnitRingMorphism [in mathcomp.algebra.ssralg]
+GRing.UnitRingPred [in mathcomp.algebra.ssralg]
+GRing.UnitRingPred.Div [in mathcomp.algebra.ssralg]
+GRing.UnitRingTheory [in mathcomp.algebra.ssralg]
+GRing.UnitRingTheory.ClosedPredicates [in mathcomp.algebra.ssralg]
+GRing.UnitRing.ClassDef [in mathcomp.algebra.ssralg]
+GRing.ZmodulePred [in mathcomp.algebra.ssralg]
+GRing.ZmodulePred.Add [in mathcomp.algebra.ssralg]
+GRing.ZmodulePred.Opp [in mathcomp.algebra.ssralg]
+GRing.ZmodulePred.Sub [in mathcomp.algebra.ssralg]
+GRing.ZmoduleTheory [in mathcomp.algebra.ssralg]
+GRing.ZmoduleTheory.ClosedPredicates [in mathcomp.algebra.ssralg]
+GRing.Zmodule.ClassDef [in mathcomp.algebra.ssralg]
+GroupAction [in mathcomp.fingroup.action]
+GroupActionDefs [in mathcomp.fingroup.action]
+GroupActionTheory [in mathcomp.fingroup.action]
+GroupActionTheory.ActBy [in mathcomp.fingroup.action]
+GroupActionTheory.CompAct [in mathcomp.fingroup.action]
+GroupActionTheory.Mod [in mathcomp.fingroup.action]
+GroupActionTheory.Quotient [in mathcomp.fingroup.action]
+GroupActionTheory.Restrict [in mathcomp.fingroup.action]
+GroupDefs [in mathcomp.solvable.gseries]
+GroupIdentities [in mathcomp.fingroup.fingroup]
+GroupInter [in mathcomp.fingroup.fingroup]
+GroupInter.Nary [in mathcomp.fingroup.fingroup]
+GroupProp [in mathcomp.fingroup.fingroup]
+GroupProp.OneGroup [in mathcomp.fingroup.fingroup]
+Groups [in mathcomp.algebra.zmodp]
+GroupSetMulDef [in mathcomp.fingroup.fingroup]
+GroupSetMulProp [in mathcomp.fingroup.fingroup]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_H.html b/docs/htmldoc/index_section_H.html new file mode 100644 index 0000000..9a682ad --- /dev/null +++ b/docs/htmldoc/index_section_H.html @@ -0,0 +1,483 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

H (section)

+Hall [in mathcomp.solvable.hall]
+HallCorollaries [in mathcomp.solvable.hall]
+Homg [in mathcomp.fingroup.morphism]
+HornerMx [in mathcomp.algebra.mxpoly]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_I.html b/docs/htmldoc/index_section_I.html new file mode 100644 index 0000000..fb06d1e --- /dev/null +++ b/docs/htmldoc/index_section_I.html @@ -0,0 +1,1004 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

I (section)

+IdealDef [in mathcomp.algebra.ring_quotient]
+IdealDef.IdealTheory [in mathcomp.algebra.ring_quotient]
+IdealDef.PrimeIdealTheory [in mathcomp.algebra.ring_quotient]
+IdentityMorphism [in mathcomp.fingroup.morphism]
+Image [in mathcomp.ssreflect.fintype]
+Image.Injective [in mathcomp.ssreflect.fintype]
+Image.SizeImage [in mathcomp.ssreflect.fintype]
+ImsetCurry [in mathcomp.ssreflect.finset]
+ImsetCurry.Curry [in mathcomp.ssreflect.finset]
+Induced [in mathcomp.character.character]
+Induced [in mathcomp.character.classfun]
+Induced.Def [in mathcomp.character.classfun]
+Inertia [in mathcomp.character.inertia]
+InertiaBigdprod [in mathcomp.character.inertia]
+InertiaBigdprod.ConjBig [in mathcomp.character.inertia]
+InertiaBigdprod.InertiaBig [in mathcomp.character.inertia]
+InertiaDprod [in mathcomp.character.inertia]
+InertiaSdprod [in mathcomp.character.inertia]
+InfinitePrimitiveElementTheorem [in mathcomp.field.separable]
+Injectiveb [in mathcomp.ssreflect.fintype]
+InjFactm [in mathcomp.fingroup.morphism]
+Injm [in mathcomp.solvable.pgroup]
+InjmAbelem [in mathcomp.solvable.abelian]
+InjmAut [in mathcomp.fingroup.automorphism]
+InjmAutIn [in mathcomp.fingroup.action]
+InjmChar [in mathcomp.fingroup.automorphism]
+InjmFrobenius [in mathcomp.solvable.frobenius]
+InjmMax [in mathcomp.solvable.gseries]
+InnerAutCyclicPgroup [in mathcomp.solvable.pgroup]
+InnerProduct [in mathcomp.character.character]
+InPrealField [in mathcomp.algebra.rat]
+InRing [in mathcomp.algebra.rat]
+IntDist.Distn [in mathcomp.algebra.ssrint]
+IntegralChar [in mathcomp.character.integral_char]
+IntegralChar.GringIrrMode [in mathcomp.character.integral_char]
+IntegralOverComRing [in mathcomp.algebra.mxpoly]
+IntegralOverField [in mathcomp.algebra.mxpoly]
+IntegralOverRing [in mathcomp.algebra.mxpoly]
+InternalAction [in mathcomp.solvable.hall]
+InternalActionDefs [in mathcomp.fingroup.action]
+InternalGroupAction [in mathcomp.fingroup.action]
+InternalGroupAction.CardClass [in mathcomp.fingroup.action]
+InternalProd [in mathcomp.fingroup.gproduct]
+InternalProd.DisjointRem [in mathcomp.fingroup.gproduct]
+InternalProd.NormalComplement [in mathcomp.fingroup.gproduct]
+IntervalField [in mathcomp.algebra.interval]
+IntervalOrdered [in mathcomp.algebra.interval]
+IntervalPo [in mathcomp.algebra.interval]
+intOrderedTheory [in mathcomp.algebra.ssrint]
+intOrdered.intOrdered [in mathcomp.algebra.ssrint]
+intRingTheory [in mathcomp.algebra.ssrint]
+intRing.intRing [in mathcomp.algebra.ssrint]
+intUnitRing.intUnitRing [in mathcomp.algebra.ssrint]
+intZmoduleTheory [in mathcomp.algebra.ssrint]
+intZmod.intZmod [in mathcomp.algebra.ssrint]
+InverseMorphism [in mathcomp.fingroup.morphism]
+InvMorphism [in mathcomp.character.classfun]
+IrrClass [in mathcomp.character.character]
+IrrClassDef [in mathcomp.character.character]
+IrrConstt [in mathcomp.character.character]
+IsChar [in mathcomp.character.character]
+IsoBoolEquiv [in mathcomp.fingroup.morphism]
+IsoCyclic [in mathcomp.solvable.cyclic]
+IsoFitting [in mathcomp.solvable.maximal]
+IsoFunctorTheory [in mathcomp.solvable.gfunctor]
+Isog [in mathcomp.solvable.pgroup]
+IsogAbelem [in mathcomp.solvable.abelian]
+IsogAbelian [in mathcomp.solvable.abelian]
+Isom [in mathcomp.character.character]
+Isometries [in mathcomp.character.vcharacter]
+IsomInv [in mathcomp.character.character]
+Isomorphism [in mathcomp.character.classfun]
+Isomorphisms [in mathcomp.fingroup.morphism]
+Iteration [in mathcomp.ssreflect.ssrnat]
+IterCprod [in mathcomp.solvable.center]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_J.html b/docs/htmldoc/index_section_J.html new file mode 100644 index 0000000..c9bd28e --- /dev/null +++ b/docs/htmldoc/index_section_J.html @@ -0,0 +1,478 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_K.html b/docs/htmldoc/index_section_K.html new file mode 100644 index 0000000..cc8eb39 --- /dev/null +++ b/docs/htmldoc/index_section_K.html @@ -0,0 +1,483 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

K (section)

+Kernel [in mathcomp.character.character]
+Kernel.KerLin [in mathcomp.character.character]
+kHom [in mathcomp.field.galois]
+kHom.kHomExtend [in mathcomp.field.galois]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_L.html b/docs/htmldoc/index_section_L.html new file mode 100644 index 0000000..7ad89e3 --- /dev/null +++ b/docs/htmldoc/index_section_L.html @@ -0,0 +1,495 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

L (section)

+Lagrange [in mathcomp.fingroup.fingroup]
+LfunAlgebra [in mathcomp.algebra.vector]
+LfunDefs [in mathcomp.algebra.vector]
+LfunVectType [in mathcomp.algebra.vector]
+LfunVspaceDefs [in mathcomp.algebra.vector]
+LfunZmodType [in mathcomp.algebra.vector]
+LiftPerm [in mathcomp.fingroup.perm]
+LinAut [in mathcomp.algebra.vector]
+Linear [in mathcomp.algebra.rat]
+Linear [in mathcomp.character.character]
+LinearImage [in mathcomp.algebra.vector]
+LinearImageComp [in mathcomp.algebra.vector]
+LinearPreimage [in mathcomp.algebra.vector]
+Linear.OneChar [in mathcomp.character.character]
+LMod [in mathcomp.algebra.ssrint]
+LowerCentral [in mathcomp.solvable.nilpotent]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_M.html b/docs/htmldoc/index_section_M.html new file mode 100644 index 0000000..49bbe68 --- /dev/null +++ b/docs/htmldoc/index_section_M.html @@ -0,0 +1,1069 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

M (section)

+MakeAut [in mathcomp.fingroup.automorphism]
+MakeEqSeq [in mathcomp.ssreflect.seq]
+MakeSeq [in mathcomp.ssreflect.seq]
+Map [in mathcomp.ssreflect.seq]
+MapComp [in mathcomp.ssreflect.seq]
+MapComRing [in mathcomp.algebra.mxpoly]
+MapEqPath [in mathcomp.ssreflect.path]
+MapField [in mathcomp.algebra.mxpoly]
+MapFieldMatrix [in mathcomp.algebra.matrix]
+MapFieldPoly [in mathcomp.algebra.poly]
+MapMatrix [in mathcomp.algebra.matrix]
+MapMatrixSpaces [in mathcomp.algebra.mxalgebra]
+MapMatrix.Block [in mathcomp.algebra.matrix]
+MapMatrix.OneMatrix [in mathcomp.algebra.matrix]
+MapMinPoly [in mathcomp.field.fieldext]
+MapPath [in mathcomp.ssreflect.path]
+MapPoly [in mathcomp.algebra.poly]
+MapPolyRoots [in mathcomp.algebra.poly]
+MapPoly.Additive [in mathcomp.algebra.poly]
+MapPoly.Combinatorial [in mathcomp.algebra.poly]
+MapPoly.Definitions [in mathcomp.algebra.poly]
+MapPoly.HornerMorph [in mathcomp.algebra.poly]
+MapResultant [in mathcomp.algebra.mxpoly]
+MapRingMatrix [in mathcomp.algebra.matrix]
+MapRingMatrix [in mathcomp.algebra.mxpoly]
+MapRingMatrix.FixedSize [in mathcomp.algebra.matrix]
+MapZmodMatrix [in mathcomp.algebra.matrix]
+Mask [in mathcomp.ssreflect.seq]
+MatrixAlgebra [in mathcomp.algebra.matrix]
+MatrixAlgebra [in mathcomp.algebra.mxalgebra]
+MatrixAlgebra.CentMxDef [in mathcomp.algebra.mxalgebra]
+MatrixAlgebra.LiftPerm [in mathcomp.algebra.matrix]
+MatrixAlgebra.LinMatrix [in mathcomp.algebra.matrix]
+MatrixAlgebra.LinRowVector [in mathcomp.algebra.matrix]
+MatrixAlgebra.MatrixRing [in mathcomp.algebra.matrix]
+MatrixAlgebra.Mulmxr [in mathcomp.algebra.matrix]
+MatrixAlgebra.RingModule [in mathcomp.algebra.matrix]
+MatrixAlgebra.ScalarMx [in mathcomp.algebra.matrix]
+MatrixAlgebra.StructuralLinear [in mathcomp.algebra.matrix]
+MatrixAlgebra.Trace [in mathcomp.algebra.matrix]
+MatrixDef [in mathcomp.algebra.matrix]
+MatrixDomain [in mathcomp.algebra.matrix]
+MatrixFormula.MatrixFormula [in mathcomp.algebra.mxpoly]
+MatrixFormula.MatrixFormula.Env [in mathcomp.algebra.mxpoly]
+MatrixFormula.MatrixFormula.Subsetmx [in mathcomp.algebra.mxpoly]
+MatrixGenField.DecideGenField [in mathcomp.character.mxrepresentation]
+MatrixGenField.FiniteGenField [in mathcomp.character.mxrepresentation]
+MatrixGenField.GenField [in mathcomp.character.mxrepresentation]
+MatrixGenField.GenField.Bijection [in mathcomp.character.mxrepresentation]
+MatrixGenField.GenField.Bijection2 [in mathcomp.character.mxrepresentation]
+MatrixGroups [in mathcomp.character.mxabelem]
+MatrixInv [in mathcomp.algebra.matrix]
+MatrixInv.Defs [in mathcomp.algebra.matrix]
+MatrixStructural [in mathcomp.algebra.matrix]
+MatrixStructural.Block [in mathcomp.algebra.matrix]
+MatrixStructural.Block.CatBlock [in mathcomp.algebra.matrix]
+MatrixStructural.Block.CutBlock [in mathcomp.algebra.matrix]
+MatrixStructural.CutPaste [in mathcomp.algebra.matrix]
+MatrixStructural.FixedDim [in mathcomp.algebra.matrix]
+MatrixStructural.TrBlock [in mathcomp.algebra.matrix]
+MatrixStructural.TrCutBlock [in mathcomp.algebra.matrix]
+MatrixStructural.VecMatrix [in mathcomp.algebra.matrix]
+MatrixVectType [in mathcomp.algebra.vector]
+MatrixZmodule [in mathcomp.algebra.matrix]
+MatrixZmodule.Additive [in mathcomp.algebra.matrix]
+MatrixZmodule.FixedDim [in mathcomp.algebra.matrix]
+MaxNormalProps [in mathcomp.solvable.gseries]
+MaxProps [in mathcomp.solvable.gseries]
+MaxRoots [in mathcomp.algebra.poly]
+MaxSetMinSet [in mathcomp.ssreflect.finset]
+Metacyclic [in mathcomp.solvable.cyclic]
+MinMaxGroup [in mathcomp.fingroup.fingroup]
+MinPoly [in mathcomp.algebra.mxpoly]
+MinProps [in mathcomp.solvable.gseries]
+ModAction [in mathcomp.fingroup.action]
+ModAction.GenericMod [in mathcomp.fingroup.action]
+ModAction.GenericMod.Stabilizers [in mathcomp.fingroup.action]
+ModP [in mathcomp.solvable.sylow]
+ModularGroupAction [in mathcomp.solvable.sylow]
+ModularRepresentation [in mathcomp.character.mxabelem]
+MonoidProperties [in mathcomp.ssreflect.bigop]
+MonoidProperties.Abelian [in mathcomp.ssreflect.bigop]
+MonoidProperties.Plain [in mathcomp.ssreflect.bigop]
+Monoid.CommutativeAxioms [in mathcomp.ssreflect.bigop]
+Monoid.Definitions [in mathcomp.ssreflect.bigop]
+Monoid.Theory.Theory [in mathcomp.ssreflect.bigop]
+Monoid.Theory.Theory.Add [in mathcomp.ssreflect.bigop]
+Monoid.Theory.Theory.Commutative [in mathcomp.ssreflect.bigop]
+Monoid.Theory.Theory.Mul [in mathcomp.ssreflect.bigop]
+Monoid.Theory.Theory.Plain [in mathcomp.ssreflect.bigop]
+MonotonicFunctorTheory [in mathcomp.solvable.gfunctor]
+MonotonicFunctorTheory.Composition [in mathcomp.solvable.gfunctor]
+MoreAlgCaut [in mathcomp.field.algnum]
+MoreConstt [in mathcomp.character.character]
+MoreCoset [in mathcomp.character.classfun]
+MoreFieldOver [in mathcomp.field.fieldext]
+MoreGroupAction [in mathcomp.solvable.jordanholder]
+MoreInertia [in mathcomp.character.inertia]
+MoreIntegralChar [in mathcomp.character.integral_char]
+MoreQuotientAction [in mathcomp.solvable.jordanholder]
+MoreRestrict [in mathcomp.character.classfun]
+MoreSgz [in mathcomp.algebra.ssrint]
+MoreSylow [in mathcomp.solvable.sylow]
+MoreVchar [in mathcomp.character.vcharacter]
+MorphAbelem [in mathcomp.solvable.abelian]
+MorphAct [in mathcomp.fingroup.action]
+MorphAction [in mathcomp.fingroup.action]
+MorphGroupAction [in mathcomp.fingroup.action]
+MorphicImage [in mathcomp.solvable.cyclic]
+Morphim [in mathcomp.solvable.pgroup]
+Morphim [in mathcomp.character.character]
+Morphim [in mathcomp.character.classfun]
+MorphimInternalProd [in mathcomp.fingroup.gproduct]
+MorphimInternalProd.OneProd [in mathcomp.fingroup.gproduct]
+Morphim.Main [in mathcomp.character.classfun]
+MorphInduced [in mathcomp.character.classfun]
+Morphism [in mathcomp.ssreflect.generic_quotient]
+MorphismComposition [in mathcomp.fingroup.morphism]
+MorphismOps1 [in mathcomp.fingroup.morphism]
+MorphismStructure [in mathcomp.fingroup.morphism]
+MorphismTheory [in mathcomp.fingroup.morphism]
+MorphismTheory.Injective [in mathcomp.fingroup.morphism]
+MorphIsometry [in mathcomp.character.classfun]
+MorphNil [in mathcomp.solvable.nilpotent]
+MorphOrder [in mathcomp.character.classfun]
+MorphPcore [in mathcomp.solvable.pgroup]
+MorphPcore.PcoreMod [in mathcomp.solvable.pgroup]
+MorphPoly [in mathcomp.algebra.poly]
+MorphPreMax [in mathcomp.solvable.gseries]
+MorphSol [in mathcomp.solvable.nilpotent]
+MorphSubNormal [in mathcomp.solvable.gseries]
+MorphTheory [in mathcomp.algebra.ssrint]
+MorphTheory.Additive [in mathcomp.algebra.ssrint]
+MorphTheory.Frobenius [in mathcomp.algebra.ssrint]
+MorphTheory.Linear [in mathcomp.algebra.ssrint]
+MorphTheory.Multiplicative [in mathcomp.algebra.ssrint]
+MorphTheory.NumMorphism [in mathcomp.algebra.ssrint]
+MorphTheory.NumMorphism.PO [in mathcomp.algebra.ssrint]
+MorphTheory.ZintBigMorphism [in mathcomp.algebra.ssrint]
+MorphTheory.Zintmul1rMorph [in mathcomp.algebra.ssrint]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_N.html b/docs/htmldoc/index_section_N.html new file mode 100644 index 0000000..d7a4f43 --- /dev/null +++ b/docs/htmldoc/index_section_N.html @@ -0,0 +1,980 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

N (section)

+NactionDef [in mathcomp.solvable.primitive_action]
+NatConst [in mathcomp.ssreflect.bigop]
+NatPreds [in mathcomp.ssreflect.prime]
+NilPGroups [in mathcomp.solvable.sylow]
+Nilpotent [in mathcomp.solvable.sylow]
+NilpotentProps [in mathcomp.solvable.nilpotent]
+NormalHall [in mathcomp.solvable.pgroup]
+Normaliser [in mathcomp.fingroup.fingroup]
+Normaliser.norm_trans [in mathcomp.fingroup.fingroup]
+Normaliser.SubAbelian [in mathcomp.fingroup.fingroup]
+NormInt [in mathcomp.algebra.ssrint]
+Norm1vchar [in mathcomp.character.vcharacter]
+NthTheory [in mathcomp.ssreflect.seq]
+NTransitive [in mathcomp.solvable.primitive_action]
+NTransitveProp [in mathcomp.solvable.primitive_action]
+NTransitveProp1 [in mathcomp.solvable.primitive_action]
+NumberInterpretation [in mathcomp.ssreflect.ssrnat]
+NumberInterpretation.Trec [in mathcomp.ssreflect.ssrnat]
+NumFieldProj [in mathcomp.field.algnum]
+Num.ArchimedeanField.ClassDef [in mathcomp.algebra.ssrnum]
+Num.ClosedField.ClassDef [in mathcomp.algebra.ssrnum]
+Num.Def.Def [in mathcomp.algebra.ssrnum]
+Num.ExtensionAxioms [in mathcomp.algebra.ssrnum]
+Num.Internals.Domain [in mathcomp.algebra.ssrnum]
+Num.Internals.RealClosed [in mathcomp.algebra.ssrnum]
+Num.Keys.Keys [in mathcomp.algebra.ssrnum]
+Num.NumDomain.ClassDef [in mathcomp.algebra.ssrnum]
+Num.NumField.ClassDef [in mathcomp.algebra.ssrnum]
+Num.RealClosedField.ClassDef [in mathcomp.algebra.ssrnum]
+Num.RealDomain.ClassDef [in mathcomp.algebra.ssrnum]
+Num.RealField.ClassDef [in mathcomp.algebra.ssrnum]
+Num.RealMixin.RealMixins [in mathcomp.algebra.ssrnum]
+Num.RealMixin.RealMixins.LeMixin [in mathcomp.algebra.ssrnum]
+Num.RealMixin.RealMixins.LtMixin [in mathcomp.algebra.ssrnum]
+Num.Theory.ArchimedeanFieldTheory [in mathcomp.algebra.ssrnum]
+Num.Theory.ClosedFieldTheory [in mathcomp.algebra.ssrnum]
+Num.Theory.FinGroup [in mathcomp.algebra.ssrnum]
+Num.Theory.NumDomainMonotonyTheoryForReals [in mathcomp.algebra.ssrnum]
+Num.Theory.NumDomainOperationTheory [in mathcomp.algebra.ssrnum]
+Num.Theory.NumFieldTheory [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.AcrossTypes [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.NatToR [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainTheory [in mathcomp.algebra.ssrnum]
+Num.Theory.RealClosedFieldTheory [in mathcomp.algebra.ssrnum]
+Num.Theory.RealDomainMonotony [in mathcomp.algebra.ssrnum]
+Num.Theory.RealDomainOperations [in mathcomp.algebra.ssrnum]
+Num.Theory.RealDomainOperations.MinMax [in mathcomp.algebra.ssrnum]
+Num.Theory.RealDomainOperations.PolyBounds [in mathcomp.algebra.ssrnum]
+Num.Theory.RealDomainTheory [in mathcomp.algebra.ssrnum]
+Num.Theory.RealField [in mathcomp.algebra.ssrnum]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_O.html b/docs/htmldoc/index_section_O.html new file mode 100644 index 0000000..c04a8fa --- /dev/null +++ b/docs/htmldoc/index_section_O.html @@ -0,0 +1,494 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

O (section)

+OhmProps [in mathcomp.solvable.abelian]
+OhmProps.char [in mathcomp.solvable.abelian]
+OhmProps.Generic [in mathcomp.solvable.abelian]
+OpsTheory [in mathcomp.ssreflect.fintype]
+OpsTheory.EnumPick [in mathcomp.ssreflect.fintype]
+OptionEqType [in mathcomp.ssreflect.eqtype]
+OptionFinType [in mathcomp.ssreflect.fintype]
+Orbit [in mathcomp.ssreflect.fingraph]
+Orbit.Loop [in mathcomp.ssreflect.fingraph]
+Orbit.orbit_in [in mathcomp.ssreflect.fingraph]
+OrdinalEnum [in mathcomp.ssreflect.fintype]
+OrdinalPos [in mathcomp.ssreflect.fintype]
+OrdinalSub [in mathcomp.ssreflect.fintype]
+OrthogonalityRelations [in mathcomp.character.character]
+OtherEncodings [in mathcomp.ssreflect.choice]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_P.html b/docs/htmldoc/index_section_P.html new file mode 100644 index 0000000..a57ebbc --- /dev/null +++ b/docs/htmldoc/index_section_P.html @@ -0,0 +1,1029 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

P (section)

+PairAlg [in mathcomp.algebra.ssralg]
+PairComRing [in mathcomp.algebra.ssralg]
+PairLalg [in mathcomp.algebra.ssralg]
+PairLmod [in mathcomp.algebra.ssralg]
+PairRing [in mathcomp.algebra.ssralg]
+PairUnitRing [in mathcomp.algebra.ssralg]
+PairZmod [in mathcomp.algebra.ssralg]
+PartialAction [in mathcomp.fingroup.action]
+PartialAction.OrbitStabilizer [in mathcomp.fingroup.action]
+PartialFunctorTheory [in mathcomp.solvable.gfunctor]
+PartialFunctorTheory.BasicTheory [in mathcomp.solvable.gfunctor]
+PartialFunctorTheory.Modulo [in mathcomp.solvable.gfunctor]
+Partitions [in mathcomp.ssreflect.finset]
+Partitions.BigOps [in mathcomp.ssreflect.finset]
+Partitions.Equivalence [in mathcomp.ssreflect.finset]
+Partitions.Preim [in mathcomp.ssreflect.finset]
+Partitions.Transversals [in mathcomp.ssreflect.finset]
+Paths [in mathcomp.ssreflect.path]
+Paths.Path [in mathcomp.ssreflect.path]
+PcoreDef [in mathcomp.solvable.pgroup]
+PCoreProps [in mathcomp.solvable.pgroup]
+Pdiv.ClosedField.closed [in mathcomp.algebra.polydiv]
+Pdiv.CommonIdomain.IDomainPseudoDivision [in mathcomp.algebra.polydiv]
+Pdiv.CommonRing.RingPseudoDivision [in mathcomp.algebra.polydiv]
+Pdiv.ComRing.CommutativeRingPseudoDivision [in mathcomp.algebra.polydiv]
+Pdiv.Field.FieldDivision [in mathcomp.algebra.polydiv]
+Pdiv.Field.FieldDivision.FieldMap [in mathcomp.algebra.polydiv]
+Pdiv.Field.FieldDivision.FieldRingMap [in mathcomp.algebra.polydiv]
+Pdiv.IdomainDefs.IDomainPseudoDivisionDefs [in mathcomp.algebra.polydiv]
+Pdiv.IdomainMonic.MonicDivisor [in mathcomp.algebra.polydiv]
+Pdiv.IdomainUnit.MoreUnitDivisor [in mathcomp.algebra.polydiv]
+Pdiv.IdomainUnit.UnitDivisor [in mathcomp.algebra.polydiv]
+Pdiv.RingComRreg.ComRegDivisor [in mathcomp.algebra.polydiv]
+Pdiv.RingMonic.MonicDivisor [in mathcomp.algebra.polydiv]
+Pdiv.Ring.ExtraMonicDivisor [in mathcomp.algebra.polydiv]
+Pdiv.UnitRing.UnitRingPseudoDivision [in mathcomp.algebra.polydiv]
+Pdiv.WeakIdomain.WeakTheoryForIDomainPseudoDivision [in mathcomp.algebra.polydiv]
+PermAction [in mathcomp.fingroup.action]
+PermDefSection [in mathcomp.fingroup.perm]
+PermIn [in mathcomp.fingroup.automorphism]
+PermSeq [in mathcomp.ssreflect.seq]
+PermutationParity [in mathcomp.fingroup.perm]
+PervasiveMonoids [in mathcomp.ssreflect.bigop]
+Pextraspecial.Construction [in mathcomp.solvable.extraspecial]
+PgroupDefs [in mathcomp.solvable.pgroup]
+PgroupProps [in mathcomp.solvable.pgroup]
+PiAdditive [in mathcomp.algebra.ring_quotient]
+PiRMorphism [in mathcomp.algebra.ring_quotient]
+PlainTheory [in mathcomp.ssreflect.finfun]
+Pmap [in mathcomp.ssreflect.seq]
+PmapSub [in mathcomp.ssreflect.seq]
+PMax [in mathcomp.solvable.maximal]
+PnatTheory [in mathcomp.ssreflect.prime]
+PolyCompose [in mathcomp.algebra.poly]
+Polynomial [in mathcomp.algebra.poly]
+PolynomialComRing [in mathcomp.algebra.poly]
+PolynomialIdomain [in mathcomp.algebra.poly]
+PolynomialTheory [in mathcomp.algebra.poly]
+PolynomialTheory.OnePrimitive [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverAdd [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverRing [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverSemiring [in mathcomp.algebra.poly]
+PolyXY_Field [in mathcomp.algebra.polyXY]
+PolyXY_Idomain [in mathcomp.algebra.polyXY]
+PolyXY_ComRing [in mathcomp.algebra.polyXY]
+PolyXY_Ring [in mathcomp.algebra.polyXY]
+PolyZintOIdom [in mathcomp.algebra.ssrint]
+PolyZintRing [in mathcomp.algebra.ssrint]
+Pquotient [in mathcomp.solvable.pgroup]
+PreClosedField.UseAxiom [in mathcomp.algebra.poly]
+Predicates [in mathcomp.character.classfun]
+PreGroupIdentities [in mathcomp.fingroup.fingroup]
+PresentationTheory [in mathcomp.fingroup.presentation]
+Presentation.Presentation [in mathcomp.fingroup.presentation]
+PrimeChar [in mathcomp.field.finfield]
+PrimeChar.FinField [in mathcomp.field.finfield]
+PrimeChar.FinRing [in mathcomp.field.finfield]
+PrimeChar.PrimeCharRing [in mathcomp.field.finfield]
+PrimeField [in mathcomp.algebra.zmodp]
+PrimeField.F_prime [in mathcomp.algebra.zmodp]
+prime_decomp [in mathcomp.ssreflect.prime]
+Primitive [in mathcomp.solvable.primitive_action]
+PrimitiveDef [in mathcomp.solvable.primitive_action]
+PrimitiveRoots [in mathcomp.solvable.cyclic]
+ProdEqType [in mathcomp.ssreflect.eqtype]
+ProdFinType [in mathcomp.ssreflect.fintype]
+ProdMorph [in mathcomp.fingroup.gproduct]
+ProdMorph.Cprodm [in mathcomp.fingroup.gproduct]
+ProdMorph.defs [in mathcomp.fingroup.gproduct]
+ProdMorph.Dprodm [in mathcomp.fingroup.gproduct]
+ProdMorph.Props [in mathcomp.fingroup.gproduct]
+ProdMorph.Sdprodm [in mathcomp.fingroup.gproduct]
+Product [in mathcomp.character.classfun]
+Product [in mathcomp.solvable.center]
+ProdVector [in mathcomp.algebra.vector]
+Projection [in mathcomp.algebra.vector]
+Projection.Sumv_Pi [in mathcomp.algebra.vector]
+Proper [in mathcomp.field.falgebra]
+PropertiesDefs [in mathcomp.solvable.nilpotent]
+PseriesDefs [in mathcomp.solvable.pgroup]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_Q.html b/docs/htmldoc/index_section_Q.html new file mode 100644 index 0000000..7871f72 --- /dev/null +++ b/docs/htmldoc/index_section_Q.html @@ -0,0 +1,499 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

Q (section)

+QintPred [in mathcomp.algebra.rat]
+QnatPred [in mathcomp.algebra.rat]
+QuantifierCombinators [in mathcomp.ssreflect.fintype]
+Quantifiers [in mathcomp.ssreflect.fintype]
+QuoMax [in mathcomp.solvable.gseries]
+QuotientAbelem [in mathcomp.solvable.abelian]
+QuotientAction [in mathcomp.fingroup.action]
+QuotientDef [in mathcomp.ssreflect.generic_quotient]
+QuotientInternalProd [in mathcomp.fingroup.gproduct]
+QuotientMorphism [in mathcomp.fingroup.quotient]
+QuotientNil [in mathcomp.solvable.nilpotent]
+QuotientRank [in mathcomp.solvable.abelian]
+QuotientSol [in mathcomp.solvable.nilpotent]
+Quotient.IDomainQuotient [in mathcomp.algebra.ring_quotient]
+Quotient.RingQuotient [in mathcomp.algebra.ring_quotient]
+Quotient.ZmodQuotient [in mathcomp.algebra.ring_quotient]
+Quotient1 [in mathcomp.fingroup.quotient]
+QuotSubType.finType [in mathcomp.ssreflect.generic_quotient]
+QuotSubType.SubTypeMixin [in mathcomp.ssreflect.generic_quotient]
+QuotTypeTheory [in mathcomp.ssreflect.generic_quotient]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_R.html b/docs/htmldoc/index_section_R.html new file mode 100644 index 0000000..75f7489 --- /dev/null +++ b/docs/htmldoc/index_section_R.html @@ -0,0 +1,989 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

R (section)

+RawAction [in mathcomp.fingroup.action]
+RawAction.ActsSetop [in mathcomp.fingroup.action]
+RawAction.Reindex [in mathcomp.fingroup.action]
+RawGroupAction [in mathcomp.fingroup.action]
+ReflectProp [in mathcomp.fingroup.morphism]
+ReflectProp.Defs [in mathcomp.fingroup.morphism]
+ReflectProp.Defs.MorphicProps [in mathcomp.fingroup.morphism]
+ReflectProp.Main [in mathcomp.fingroup.morphism]
+RegularVectType [in mathcomp.algebra.vector]
+RelAdjunction [in mathcomp.ssreflect.fingraph]
+Rem [in mathcomp.ssreflect.seq]
+Repr [in mathcomp.fingroup.fingroup]
+Restrict [in mathcomp.solvable.alt]
+Restrict [in mathcomp.character.character]
+Restrict [in mathcomp.fingroup.action]
+Restrict [in mathcomp.character.classfun]
+RestrictActionTheory [in mathcomp.fingroup.action]
+RestrictedMorphism [in mathcomp.fingroup.morphism]
+RestrictedMorphism.Props [in mathcomp.fingroup.morphism]
+RestrictPerm [in mathcomp.fingroup.action]
+Resultant [in mathcomp.algebra.mxpoly]
+Rev [in mathcomp.ssreflect.seq]
+RingQuot [in mathcomp.algebra.ring_quotient]
+RingRepr [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.SameGroup [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.SameGroup.Stabiliser [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.SubGroup [in mathcomp.character.mxrepresentation]
+RingRepr.ChangeGroup.SubGroup.Stabiliser [in mathcomp.character.mxrepresentation]
+RingRepr.Conjugate [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim [in mathcomp.character.mxrepresentation]
+RingRepr.Morphim.Stabiliser [in mathcomp.character.mxrepresentation]
+RingRepr.Morphpre [in mathcomp.character.mxrepresentation]
+RingRepr.Morphpre.Stabiliser [in mathcomp.character.mxrepresentation]
+RingRepr.OneRepresentation [in mathcomp.character.mxrepresentation]
+RingRepr.OneRepresentation.CentHom [in mathcomp.character.mxrepresentation]
+RingRepr.OneRepresentation.Stabiliser [in mathcomp.character.mxrepresentation]
+RingRepr.Proper [in mathcomp.character.mxrepresentation]
+RingRepr.Quotient [in mathcomp.character.mxrepresentation]
+RingRepr.Quotient.SubQuotient [in mathcomp.character.mxrepresentation]
+RingRepr.Regular [in mathcomp.character.mxrepresentation]
+RingRepr.Regular.GringMx [in mathcomp.character.mxrepresentation]
+RingRepr.Regular.GringOp [in mathcomp.character.mxrepresentation]
+RintMod [in mathcomp.algebra.ssrint]
+RotCompLemmas [in mathcomp.ssreflect.seq]
+RotrLemmas [in mathcomp.ssreflect.seq]
+RowPoly [in mathcomp.algebra.mxpoly]
+RowSpaceTheory [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.AddsmxSub [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.BinaryDirect [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.Defs [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.Eigenspace [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.LtmxIdentities [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.NaryDirect [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDaddsmx [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SubDsumsmx [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SumExpr [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SumExpr.Binary [in mathcomp.algebra.mxalgebra]
+RowSpaceTheory.SumExpr.Nary [in mathcomp.algebra.mxalgebra]
+rpred [in mathcomp.algebra.ssrint]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_S.html b/docs/htmldoc/index_section_S.html new file mode 100644 index 0000000..0666944 --- /dev/null +++ b/docs/htmldoc/index_section_S.html @@ -0,0 +1,999 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

S (section)

+ScaleCompLfun [in mathcomp.algebra.vector]
+Scan [in mathcomp.ssreflect.seq]
+SCN [in mathcomp.solvable.maximal]
+SCN.SCNseries [in mathcomp.solvable.maximal]
+Sdprod [in mathcomp.character.character]
+SDproduct [in mathcomp.character.classfun]
+SecondIsomorphism [in mathcomp.fingroup.quotient]
+Sections [in mathcomp.solvable.jordanholder]
+Separable [in mathcomp.field.separable]
+SeparablePoly [in mathcomp.field.separable]
+Separable.Derivation [in mathcomp.field.separable]
+Separable.DerivationAlgebra [in mathcomp.field.separable]
+Separable.PrimitiveElementTheorem [in mathcomp.field.separable]
+Separable.PrimitiveElementTheorem.FiniteCase [in mathcomp.field.separable]
+Separable.SeparableElement [in mathcomp.field.separable]
+Separable.SeparableElement.ExtendDerivation [in mathcomp.field.separable]
+SeqFinType [in mathcomp.ssreflect.fintype]
+SeqSubType [in mathcomp.ssreflect.fintype]
+SeqTuple [in mathcomp.ssreflect.tuple]
+Sequences [in mathcomp.ssreflect.seq]
+Sequences.SeqFind [in mathcomp.ssreflect.seq]
+Sequences.SubPred [in mathcomp.ssreflect.seq]
+SeriesDefs [in mathcomp.solvable.nilpotent]
+setOps [in mathcomp.ssreflect.finset]
+setOpsAlgebra [in mathcomp.ssreflect.finset]
+setOpsDefs [in mathcomp.ssreflect.finset]
+SetType [in mathcomp.ssreflect.finset]
+Sgz [in mathcomp.algebra.ssrint]
+SgzReal [in mathcomp.algebra.ssrint]
+SigEqType [in mathcomp.ssreflect.eqtype]
+SigProj [in mathcomp.ssreflect.eqtype]
+Simple [in mathcomp.solvable.gseries]
+Solvable [in mathcomp.solvable.nilpotent]
+SolvablePrimeFactor [in mathcomp.solvable.maximal]
+Solver [in mathcomp.algebra.vector]
+SomeHall [in mathcomp.solvable.sylow]
+SortSeq [in mathcomp.ssreflect.path]
+SortSeq.Transitive [in mathcomp.ssreflect.path]
+Special [in mathcomp.solvable.maximal]
+SpecializeExtremals [in mathcomp.solvable.extremal]
+SplittingFieldFor [in mathcomp.field.galois]
+SplittingFieldTheory [in mathcomp.field.galois]
+SplittingField.ClassDef [in mathcomp.field.galois]
+StableCompositionSeries [in mathcomp.solvable.jordanholder]
+StableCompositionSeries.MaxAinvProps [in mathcomp.solvable.jordanholder]
+StandardRepresentation [in mathcomp.character.character]
+StandardRepresentation.DsumRepr [in mathcomp.character.character]
+StandardRepresentation.ProdRepr [in mathcomp.character.character]
+StrongJordanHolder [in mathcomp.solvable.jordanholder]
+StrongJordanHolder.AuxiliaryLemmas [in mathcomp.solvable.jordanholder]
+SubAction [in mathcomp.fingroup.action]
+SubCountType [in mathcomp.ssreflect.choice]
+SubEqType [in mathcomp.ssreflect.eqtype]
+SubFalgType [in mathcomp.field.falgebra]
+SubFieldExtension [in mathcomp.field.fieldext]
+SubFieldExtension.Irreducible [in mathcomp.field.fieldext]
+SubFieldExtension.NonZero [in mathcomp.field.fieldext]
+SubFinType [in mathcomp.ssreflect.fintype]
+SubMorphism [in mathcomp.fingroup.morphism]
+Subnormal [in mathcomp.solvable.gseries]
+Subseq [in mathcomp.ssreflect.seq]
+SubType [in mathcomp.ssreflect.eqtype]
+SubVector [in mathcomp.algebra.vector]
+SumEqType [in mathcomp.ssreflect.eqtype]
+SumFinType [in mathcomp.ssreflect.fintype]
+SumvPi [in mathcomp.algebra.vector]
+Support [in mathcomp.ssreflect.finfun]
+Sylow [in mathcomp.solvable.sylow]
+SylowSolvableAct [in mathcomp.solvable.hall]
+SymAltDef [in mathcomp.solvable.alt]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_T.html b/docs/htmldoc/index_section_T.html new file mode 100644 index 0000000..346c282 --- /dev/null +++ b/docs/htmldoc/index_section_T.html @@ -0,0 +1,495 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

T (section)

+TagCountType [in mathcomp.ssreflect.choice]
+TagEqType [in mathcomp.ssreflect.eqtype]
+TagFinType [in mathcomp.ssreflect.fintype]
+TaggedAs [in mathcomp.ssreflect.eqtype]
+Tensor [in mathcomp.character.character]
+Theory [in mathcomp.fingroup.perm]
+ThirdIsomorphism [in mathcomp.fingroup.quotient]
+TotalAction [in mathcomp.fingroup.action]
+TotalActions [in mathcomp.fingroup.action]
+Trajectory [in mathcomp.ssreflect.path]
+Transfer [in mathcomp.solvable.finmodule]
+TransferEqType [in mathcomp.ssreflect.eqtype]
+TransferFinType [in mathcomp.ssreflect.fintype]
+Transfer.FactorTransfer [in mathcomp.solvable.finmodule]
+TrivMorphism [in mathcomp.fingroup.morphism]
+TupleQuantifiers [in mathcomp.ssreflect.tuple]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_U.html b/docs/htmldoc/index_section_U.html new file mode 100644 index 0000000..19f51d8 --- /dev/null +++ b/docs/htmldoc/index_section_U.html @@ -0,0 +1,488 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

U (section)

+UniqCycle [in mathcomp.ssreflect.path]
+UniqCycleRev [in mathcomp.ssreflect.path]
+UniqRotrCycle [in mathcomp.ssreflect.path]
+UnitRingQuot [in mathcomp.algebra.ring_quotient]
+UpperCentral [in mathcomp.solvable.nilpotent]
+UpperCentralFunctor [in mathcomp.solvable.nilpotent]
+UseFinTuple [in mathcomp.ssreflect.tuple]
+UseFinTuple.ImageTuple [in mathcomp.ssreflect.tuple]
+UseFinTuple.MkTuple [in mathcomp.ssreflect.tuple]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_V.html b/docs/htmldoc/index_section_V.html new file mode 100644 index 0000000..692b5c0 --- /dev/null +++ b/docs/htmldoc/index_section_V.html @@ -0,0 +1,497 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

V (section)

+VChar [in mathcomp.character.vcharacter]
+VChar.CfDotOrthonormal [in mathcomp.character.vcharacter]
+VChar.CfdotPairwiseOrthogonal [in mathcomp.character.vcharacter]
+VectorTheory [in mathcomp.algebra.vector]
+VectorTheory.BigCap [in mathcomp.algebra.vector]
+VectorTheory.BigSum [in mathcomp.algebra.vector]
+VectorTheory.BigSumBasis [in mathcomp.algebra.vector]
+VectorTheory.BinaryDirect [in mathcomp.algebra.vector]
+VectorTheory.NaryDirect [in mathcomp.algebra.vector]
+VectorTheory.SumExpr [in mathcomp.algebra.vector]
+VectorTheory.SumExpr.Binary [in mathcomp.algebra.vector]
+VectorTheory.SumExpr.Nary [in mathcomp.algebra.vector]
+Vector.ClassDef [in mathcomp.algebra.vector]
+Vector.InternalTheory.Hom [in mathcomp.algebra.vector]
+Vector.InternalTheory.Iso [in mathcomp.algebra.vector]
+Vector.InternalTheory.Vspace [in mathcomp.algebra.vector]
+Vector.OtherDefs [in mathcomp.algebra.vector]
+VspaceDefs [in mathcomp.algebra.vector]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_W.html b/docs/htmldoc/index_section_W.html new file mode 100644 index 0000000..c9bd28e --- /dev/null +++ b/docs/htmldoc/index_section_W.html @@ -0,0 +1,478 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_X.html b/docs/htmldoc/index_section_X.html new file mode 100644 index 0000000..c9bd28e --- /dev/null +++ b/docs/htmldoc/index_section_X.html @@ -0,0 +1,478 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_Y.html b/docs/htmldoc/index_section_Y.html new file mode 100644 index 0000000..c9bd28e --- /dev/null +++ b/docs/htmldoc/index_section_Y.html @@ -0,0 +1,478 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section_Z.html b/docs/htmldoc/index_section_Z.html new file mode 100644 index 0000000..21d9c81 --- /dev/null +++ b/docs/htmldoc/index_section_Z.html @@ -0,0 +1,488 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

Z (section)

+Zchar [in mathcomp.character.vcharacter]
+Zgroups [in mathcomp.solvable.sylow]
+ZintLmod [in mathcomp.algebra.ssrint]
+Zip [in mathcomp.ssreflect.seq]
+ZmodQuot [in mathcomp.algebra.ring_quotient]
+ZnatPred [in mathcomp.algebra.ssrint]
+ZpDef [in mathcomp.algebra.zmodp]
+ZpolyScale [in mathcomp.algebra.intdiv]
+ZpRing [in mathcomp.algebra.zmodp]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_section__.html b/docs/htmldoc/index_section__.html new file mode 100644 index 0000000..c9bd28e --- /dev/null +++ b/docs/htmldoc/index_section__.html @@ -0,0 +1,478 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file -- cgit v1.2.3