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_variable_*.html | 478 ++++++++++++
docs/htmldoc/index_variable_A.html | 1024 ++++++++++++++++++++++++++
docs/htmldoc/index_variable_B.html | 992 +++++++++++++++++++++++++
docs/htmldoc/index_variable_C.html | 1208 ++++++++++++++++++++++++++++++
docs/htmldoc/index_variable_D.html | 990 +++++++++++++++++++++++++
docs/htmldoc/index_variable_E.html | 1248 +++++++++++++++++++++++++++++++
docs/htmldoc/index_variable_F.html | 1324 +++++++++++++++++++++++++++++++++
docs/htmldoc/index_variable_G.html | 1306 +++++++++++++++++++++++++++++++++
docs/htmldoc/index_variable_H.html | 483 ++++++++++++
docs/htmldoc/index_variable_I.html | 1186 ++++++++++++++++++++++++++++++
docs/htmldoc/index_variable_J.html | 478 ++++++++++++
docs/htmldoc/index_variable_K.html | 494 +++++++++++++
docs/htmldoc/index_variable_L.html | 964 ++++++++++++++++++++++++
docs/htmldoc/index_variable_M.html | 1424 ++++++++++++++++++++++++++++++++++++
docs/htmldoc/index_variable_N.html | 1058 +++++++++++++++++++++++++++
docs/htmldoc/index_variable_O.html | 966 ++++++++++++++++++++++++
docs/htmldoc/index_variable_P.html | 1171 +++++++++++++++++++++++++++++
docs/htmldoc/index_variable_Q.html | 991 +++++++++++++++++++++++++
docs/htmldoc/index_variable_R.html | 1154 +++++++++++++++++++++++++++++
docs/htmldoc/index_variable_S.html | 1143 +++++++++++++++++++++++++++++
docs/htmldoc/index_variable_T.html | 992 +++++++++++++++++++++++++
docs/htmldoc/index_variable_U.html | 509 +++++++++++++
docs/htmldoc/index_variable_V.html | 991 +++++++++++++++++++++++++
docs/htmldoc/index_variable_W.html | 478 ++++++++++++
docs/htmldoc/index_variable_X.html | 478 ++++++++++++
docs/htmldoc/index_variable_Y.html | 478 ++++++++++++
docs/htmldoc/index_variable_Z.html | 495 +++++++++++++
docs/htmldoc/index_variable__.html | 478 ++++++++++++
28 files changed, 24981 insertions(+)
create mode 100644 docs/htmldoc/index_variable_*.html
create mode 100644 docs/htmldoc/index_variable_A.html
create mode 100644 docs/htmldoc/index_variable_B.html
create mode 100644 docs/htmldoc/index_variable_C.html
create mode 100644 docs/htmldoc/index_variable_D.html
create mode 100644 docs/htmldoc/index_variable_E.html
create mode 100644 docs/htmldoc/index_variable_F.html
create mode 100644 docs/htmldoc/index_variable_G.html
create mode 100644 docs/htmldoc/index_variable_H.html
create mode 100644 docs/htmldoc/index_variable_I.html
create mode 100644 docs/htmldoc/index_variable_J.html
create mode 100644 docs/htmldoc/index_variable_K.html
create mode 100644 docs/htmldoc/index_variable_L.html
create mode 100644 docs/htmldoc/index_variable_M.html
create mode 100644 docs/htmldoc/index_variable_N.html
create mode 100644 docs/htmldoc/index_variable_O.html
create mode 100644 docs/htmldoc/index_variable_P.html
create mode 100644 docs/htmldoc/index_variable_Q.html
create mode 100644 docs/htmldoc/index_variable_R.html
create mode 100644 docs/htmldoc/index_variable_S.html
create mode 100644 docs/htmldoc/index_variable_T.html
create mode 100644 docs/htmldoc/index_variable_U.html
create mode 100644 docs/htmldoc/index_variable_V.html
create mode 100644 docs/htmldoc/index_variable_W.html
create mode 100644 docs/htmldoc/index_variable_X.html
create mode 100644 docs/htmldoc/index_variable_Y.html
create mode 100644 docs/htmldoc/index_variable_Z.html
create mode 100644 docs/htmldoc/index_variable__.html
(limited to 'docs/htmldoc/index_variable_*.html')
diff --git a/docs/htmldoc/index_variable_*.html b/docs/htmldoc/index_variable_*.html
new file mode 100644
index 0000000..c9bd28e
--- /dev/null
+++ b/docs/htmldoc/index_variable_*.html
@@ -0,0 +1,478 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_A.html b/docs/htmldoc/index_variable_A.html
new file mode 100644
index 0000000..0f47453
--- /dev/null
+++ b/docs/htmldoc/index_variable_A.html
@@ -0,0 +1,1024 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_B.html b/docs/htmldoc/index_variable_B.html
new file mode 100644
index 0000000..25b310b
--- /dev/null
+++ b/docs/htmldoc/index_variable_B.html
@@ -0,0 +1,992 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_C.html b/docs/htmldoc/index_variable_C.html
new file mode 100644
index 0000000..fee28e6
--- /dev/null
+++ b/docs/htmldoc/index_variable_C.html
@@ -0,0 +1,1208 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_D.html b/docs/htmldoc/index_variable_D.html
new file mode 100644
index 0000000..9e88c3d
--- /dev/null
+++ b/docs/htmldoc/index_variable_D.html
@@ -0,0 +1,990 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
D (variable)
+
DecField.F [in
mathcomp.algebra.poly]
+
DecideRed.Definitions.F [in
mathcomp.character.mxrepresentation]
+
DecideRed.Definitions.G [in
mathcomp.character.mxrepresentation]
+
DecideRed.Definitions.gT [in
mathcomp.character.mxrepresentation]
+
DecideRed.Definitions.n [in
mathcomp.character.mxrepresentation]
+
DecideRed.Definitions.rG [in
mathcomp.character.mxrepresentation]
+
DecideRed.F [in
mathcomp.character.mxrepresentation]
+
DecideRed.G [in
mathcomp.character.mxrepresentation]
+
DecideRed.gT [in
mathcomp.character.mxrepresentation]
+
DecideRed.n [in
mathcomp.character.mxrepresentation]
+
DecideRed.rG [in
mathcomp.character.mxrepresentation]
+
DefaultEncodingModuloRel.D [in
mathcomp.ssreflect.generic_quotient]
+
DefaultEncodingModuloRel.r [in
mathcomp.ssreflect.generic_quotient]
+
Definitions.FrobeniusAction.G [in
mathcomp.solvable.frobenius]
+
Definitions.FrobeniusAction.H [in
mathcomp.solvable.frobenius]
+
Definitions.FrobeniusAction.S [in
mathcomp.solvable.frobenius]
+
Definitions.FrobeniusAction.sT [in
mathcomp.solvable.frobenius]
+
Definitions.FrobeniusAction.to [in
mathcomp.solvable.frobenius]
+
Definitions.gT [in
mathcomp.solvable.frobenius]
+
Defs.Automorphism.u [in
mathcomp.character.classfun]
+
Defs.B [in
mathcomp.character.classfun]
+
Defs.gT [in
mathcomp.fingroup.gproduct]
+
Defs.gT [in
mathcomp.solvable.maximal]
+
Defs.gT [in
mathcomp.character.classfun]
+
Defs.gT [in
mathcomp.solvable.center]
+
Def.aT [in
mathcomp.ssreflect.finfun]
+
Def.n [in
mathcomp.ssreflect.tuple]
+
Def.rT [in
mathcomp.ssreflect.finfun]
+
Def.T [in
mathcomp.ssreflect.tuple]
+
DerivedBasics.gT [in
mathcomp.solvable.commutator]
+
DerivedGroup.gT [in
mathcomp.character.character]
+
DetOrder.DetRepr.n [in
mathcomp.character.character]
+
DetOrder.DetRepr.rG [in
mathcomp.character.character]
+
DetOrder.G [in
mathcomp.character.character]
+
DetOrder.gT [in
mathcomp.character.character]
+
DirectSums.F [in
mathcomp.algebra.mxalgebra]
+
DirectSums.I [in
mathcomp.algebra.mxalgebra]
+
DirectSums.P [in
mathcomp.algebra.mxalgebra]
+
DirprodIsom.gT [in
mathcomp.fingroup.gproduct]
+
Distributivity.one [in
mathcomp.ssreflect.bigop]
+
Distributivity.plus [in
mathcomp.ssreflect.bigop]
+
Distributivity.R [in
mathcomp.ssreflect.bigop]
+
Distributivity.times [in
mathcomp.ssreflect.bigop]
+
Distributivity.zero [in
mathcomp.ssreflect.bigop]
+
DotProduct.G [in
mathcomp.character.classfun]
+
DotProduct.gT [in
mathcomp.character.classfun]
+
DProduct.cKH [in
mathcomp.character.classfun]
+
DProduct.G [in
mathcomp.character.classfun]
+
DProduct.gT [in
mathcomp.character.classfun]
+
DProduct.H [in
mathcomp.character.classfun]
+
DProduct.K [in
mathcomp.character.classfun]
+
DProduct.KxH [in
mathcomp.character.classfun]
+
DProduct.nsHG [in
mathcomp.character.classfun]
+
DProduct.nsKG [in
mathcomp.character.classfun]
+
DProduct.sHG [in
mathcomp.character.classfun]
+
DProduct.sKG [in
mathcomp.character.classfun]
+
DProd.G [in
mathcomp.character.character]
+
DProd.gT [in
mathcomp.character.character]
+
DProd.H [in
mathcomp.character.character]
+
DProd.K [in
mathcomp.character.character]
+
DProd.KxH [in
mathcomp.character.character]
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_E.html b/docs/htmldoc/index_variable_E.html
new file mode 100644
index 0000000..5195430
--- /dev/null
+++ b/docs/htmldoc/index_variable_E.html
@@ -0,0 +1,1248 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_F.html b/docs/htmldoc/index_variable_F.html
new file mode 100644
index 0000000..e3cb06b
--- /dev/null
+++ b/docs/htmldoc/index_variable_F.html
@@ -0,0 +1,1324 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_G.html b/docs/htmldoc/index_variable_G.html
new file mode 100644
index 0000000..6e0dd8f
--- /dev/null
+++ b/docs/htmldoc/index_variable_G.html
@@ -0,0 +1,1306 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_H.html b/docs/htmldoc/index_variable_H.html
new file mode 100644
index 0000000..6b4dd9f
--- /dev/null
+++ b/docs/htmldoc/index_variable_H.html
@@ -0,0 +1,483 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
H (variable)
+
HallCorollaries.gT [in
mathcomp.solvable.hall]
+
HornerMx.A [in
mathcomp.algebra.mxpoly]
+
HornerMx.n' [in
mathcomp.algebra.mxpoly]
+
HornerMx.R [in
mathcomp.algebra.mxpoly]
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_I.html b/docs/htmldoc/index_variable_I.html
new file mode 100644
index 0000000..a7c5b8f
--- /dev/null
+++ b/docs/htmldoc/index_variable_I.html
@@ -0,0 +1,1186 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_J.html b/docs/htmldoc/index_variable_J.html
new file mode 100644
index 0000000..c9bd28e
--- /dev/null
+++ b/docs/htmldoc/index_variable_J.html
@@ -0,0 +1,478 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_K.html b/docs/htmldoc/index_variable_K.html
new file mode 100644
index 0000000..3677d8c
--- /dev/null
+++ b/docs/htmldoc/index_variable_K.html
@@ -0,0 +1,494 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
K (variable)
+
Kernel.G [in
mathcomp.character.character]
+
Kernel.gT [in
mathcomp.character.character]
+
Kernel.KerLin.lin_xi [in
mathcomp.character.character]
+
Kernel.KerLin.Nxi [in
mathcomp.character.character]
+
Kernel.KerLin.xi [in
mathcomp.character.character]
+
kHom.F [in
mathcomp.field.galois]
+
kHom.kHomExtend.E [in
mathcomp.field.galois]
+
kHom.kHomExtend.f [in
mathcomp.field.galois]
+
kHom.kHomExtend.fPx_y_0 [in
mathcomp.field.galois]
+
kHom.kHomExtend.homKf [in
mathcomp.field.galois]
+
kHom.kHomExtend.K [in
mathcomp.field.galois]
+
kHom.kHomExtend.sKE [in
mathcomp.field.galois]
+
kHom.kHomExtend.x [in
mathcomp.field.galois]
+
kHom.kHomExtend.y [in
mathcomp.field.galois]
+
kHom.L [in
mathcomp.field.galois]
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_L.html b/docs/htmldoc/index_variable_L.html
new file mode 100644
index 0000000..0a48278
--- /dev/null
+++ b/docs/htmldoc/index_variable_L.html
@@ -0,0 +1,964 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
L (variable)
+
Lagrange.gT [in
mathcomp.fingroup.fingroup]
+
LfunAlgebra.R [in
mathcomp.algebra.vector]
+
LfunAlgebra.vT [in
mathcomp.algebra.vector]
+
LfunAlgebra.vT_proper [in
mathcomp.algebra.vector]
+
LfunDefs.R [in
mathcomp.algebra.vector]
+
LfunVectType.aT [in
mathcomp.algebra.vector]
+
LfunVectType.R [in
mathcomp.algebra.vector]
+
LfunVectType.rT [in
mathcomp.algebra.vector]
+
LfunVspaceDefs.K [in
mathcomp.algebra.vector]
+
LfunZmodType.aT [in
mathcomp.algebra.vector]
+
LfunZmodType.R [in
mathcomp.algebra.vector]
+
LfunZmodType.rT [in
mathcomp.algebra.vector]
+
LiftPerm.n [in
mathcomp.fingroup.perm]
+
LinAut.f [in
mathcomp.algebra.vector]
+
LinAut.K [in
mathcomp.algebra.vector]
+
LinAut.kerf0 [in
mathcomp.algebra.vector]
+
LinAut.vT [in
mathcomp.algebra.vector]
+
LinearImageComp.aT [in
mathcomp.algebra.vector]
+
LinearImageComp.K [in
mathcomp.algebra.vector]
+
LinearImageComp.rT [in
mathcomp.algebra.vector]
+
LinearImageComp.vT [in
mathcomp.algebra.vector]
+
LinearImage.aT [in
mathcomp.algebra.vector]
+
LinearImage.K [in
mathcomp.algebra.vector]
+
LinearImage.rT [in
mathcomp.algebra.vector]
+
LinearPreimage.aT [in
mathcomp.algebra.vector]
+
LinearPreimage.K [in
mathcomp.algebra.vector]
+
LinearPreimage.rT [in
mathcomp.algebra.vector]
+
Linear.G [in
mathcomp.character.character]
+
Linear.gT [in
mathcomp.character.character]
+
Linear.OneChar.CFxi [in
mathcomp.character.character]
+
Linear.OneChar.xi [in
mathcomp.character.character]
+
Linear.OneChar.xiMV [in
mathcomp.character.character]
+
LMod.R [in
mathcomp.algebra.ssrint]
+
LMod.V [in
mathcomp.algebra.ssrint]
+
LowerCentral.gT [in
mathcomp.solvable.nilpotent]
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_M.html b/docs/htmldoc/index_variable_M.html
new file mode 100644
index 0000000..cf2efac
--- /dev/null
+++ b/docs/htmldoc/index_variable_M.html
@@ -0,0 +1,1424 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_N.html b/docs/htmldoc/index_variable_N.html
new file mode 100644
index 0000000..2df9750
--- /dev/null
+++ b/docs/htmldoc/index_variable_N.html
@@ -0,0 +1,1058 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_O.html b/docs/htmldoc/index_variable_O.html
new file mode 100644
index 0000000..dbb4561
--- /dev/null
+++ b/docs/htmldoc/index_variable_O.html
@@ -0,0 +1,966 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
O (variable)
+
OhmProps.char.D [in
mathcomp.solvable.abelian]
+
OhmProps.char.G [in
mathcomp.solvable.abelian]
+
OhmProps.char.gT [in
mathcomp.solvable.abelian]
+
OhmProps.char.n [in
mathcomp.solvable.abelian]
+
OhmProps.char.rT [in
mathcomp.solvable.abelian]
+
OhmProps.Generic.gT [in
mathcomp.solvable.abelian]
+
OhmProps.Generic.n [in
mathcomp.solvable.abelian]
+
OhmProps.gT [in
mathcomp.solvable.abelian]
+
OpsTheory.EnumPick.P [in
mathcomp.ssreflect.fintype]
+
OpsTheory.T [in
mathcomp.ssreflect.fintype]
+
OptionEqType.T [in
mathcomp.ssreflect.eqtype]
+
OptionFinType.T [in
mathcomp.ssreflect.fintype]
+
Orbit.f [in
mathcomp.ssreflect.fingraph]
+
Orbit.injf [in
mathcomp.ssreflect.fingraph]
+
Orbit.Loop.f_p [in
mathcomp.ssreflect.fingraph]
+
Orbit.Loop.p [in
mathcomp.ssreflect.fingraph]
+
Orbit.Loop.p_x [in
mathcomp.ssreflect.fingraph]
+
Orbit.Loop.Up [in
mathcomp.ssreflect.fingraph]
+
Orbit.Loop.x [in
mathcomp.ssreflect.fingraph]
+
Orbit.orbit_in.injf [in
mathcomp.ssreflect.fingraph]
+
Orbit.orbit_in.f_in [in
mathcomp.ssreflect.fingraph]
+
Orbit.orbit_in.S [in
mathcomp.ssreflect.fingraph]
+
Orbit.symf [in
mathcomp.ssreflect.fingraph]
+
Orbit.T [in
mathcomp.ssreflect.fingraph]
+
OrdinalEnum.n [in
mathcomp.ssreflect.fintype]
+
OrdinalPos.n' [in
mathcomp.ssreflect.fintype]
+
OrdinalSub.n [in
mathcomp.ssreflect.fintype]
+
OrthogonalityRelations.A [in
mathcomp.character.character]
+
OrthogonalityRelations.aT [in
mathcomp.character.character]
+
OrthogonalityRelations.G [in
mathcomp.character.character]
+
OrthogonalityRelations.gT [in
mathcomp.character.character]
+
OrthogonalityRelations.uX [in
mathcomp.character.character]
+
OrthogonalityRelations.XX'_1 [in
mathcomp.character.character]
+
OrthogonalityRelations.X' [in
mathcomp.character.character]
+
OtherEncodings.T [in
mathcomp.ssreflect.choice]
+
OtherEncodings.T1 [in
mathcomp.ssreflect.choice]
+
OtherEncodings.T2 [in
mathcomp.ssreflect.choice]
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_P.html b/docs/htmldoc/index_variable_P.html
new file mode 100644
index 0000000..26b8478
--- /dev/null
+++ b/docs/htmldoc/index_variable_P.html
@@ -0,0 +1,1171 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_Q.html b/docs/htmldoc/index_variable_Q.html
new file mode 100644
index 0000000..4636dac
--- /dev/null
+++ b/docs/htmldoc/index_variable_Q.html
@@ -0,0 +1,991 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_R.html b/docs/htmldoc/index_variable_R.html
new file mode 100644
index 0000000..159d769
--- /dev/null
+++ b/docs/htmldoc/index_variable_R.html
@@ -0,0 +1,1154 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_S.html b/docs/htmldoc/index_variable_S.html
new file mode 100644
index 0000000..61871a0
--- /dev/null
+++ b/docs/htmldoc/index_variable_S.html
@@ -0,0 +1,1143 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_T.html b/docs/htmldoc/index_variable_T.html
new file mode 100644
index 0000000..61291b0
--- /dev/null
+++ b/docs/htmldoc/index_variable_T.html
@@ -0,0 +1,992 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
T (variable)
+
TagCountType.I [in
mathcomp.ssreflect.choice]
+
TagCountType.T_ [in
mathcomp.ssreflect.choice]
+
TagEqType.I [in
mathcomp.ssreflect.eqtype]
+
TagEqType.T_ [in
mathcomp.ssreflect.eqtype]
+
TagFinType.I [in
mathcomp.ssreflect.fintype]
+
TagFinType.T_ [in
mathcomp.ssreflect.fintype]
+
TaggedAs.I [in
mathcomp.ssreflect.eqtype]
+
TaggedAs.T_ [in
mathcomp.ssreflect.eqtype]
+
Tensor.F [in
mathcomp.character.character]
+
Tensor.tprod_tr [in
mathcomp.character.character]
+
Tensor.trow_mul [in
mathcomp.character.character]
+
Theory.T [in
mathcomp.fingroup.perm]
+
ThirdIsomorphism.G [in
mathcomp.fingroup.quotient]
+
ThirdIsomorphism.gT [in
mathcomp.fingroup.quotient]
+
ThirdIsomorphism.H [in
mathcomp.fingroup.quotient]
+
ThirdIsomorphism.K [in
mathcomp.fingroup.quotient]
+
ThirdIsomorphism.sHK [in
mathcomp.fingroup.quotient]
+
ThirdIsomorphism.snHG [in
mathcomp.fingroup.quotient]
+
ThirdIsomorphism.snKG [in
mathcomp.fingroup.quotient]
+
TotalActions.aT [in
mathcomp.fingroup.action]
+
TotalActions.rT [in
mathcomp.fingroup.action]
+
TotalActions.to [in
mathcomp.fingroup.action]
+
TotalAction.aT [in
mathcomp.fingroup.action]
+
TotalAction.rT [in
mathcomp.fingroup.action]
+
TotalAction.to [in
mathcomp.fingroup.action]
+
TotalAction.toM [in
mathcomp.fingroup.action]
+
TotalAction.to1 [in
mathcomp.fingroup.action]
+
Trajectory.f [in
mathcomp.ssreflect.path]
+
Trajectory.T [in
mathcomp.ssreflect.path]
+
TransferEqType.eT [in
mathcomp.ssreflect.eqtype]
+
TransferEqType.f [in
mathcomp.ssreflect.eqtype]
+
TransferEqType.T [in
mathcomp.ssreflect.eqtype]
+
TransferFinType.eT [in
mathcomp.ssreflect.fintype]
+
TransferFinType.f [in
mathcomp.ssreflect.fintype]
+
TransferFinType.fT [in
mathcomp.ssreflect.fintype]
+
Transfer.abelA [in
mathcomp.solvable.finmodule]
+
Transfer.alpha [in
mathcomp.solvable.finmodule]
+
Transfer.aT [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.actsgHG [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.defHGg [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.g [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.Gg [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.HGg [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.H_g_rcosets [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.injHg [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.injHGg [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.n_ [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.partHG [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.partHGg [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.sgG [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.sXG [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.trX [in
mathcomp.solvable.finmodule]
+
Transfer.FactorTransfer.X [in
mathcomp.solvable.finmodule]
+
Transfer.fmalpha [in
mathcomp.solvable.finmodule]
+
Transfer.G [in
mathcomp.solvable.finmodule]
+
Transfer.gT [in
mathcomp.solvable.finmodule]
+
Transfer.H [in
mathcomp.solvable.finmodule]
+
Transfer.sHG [in
mathcomp.solvable.finmodule]
+
Transfer.V [in
mathcomp.solvable.finmodule]
+
TrivMorphism.aT [in
mathcomp.fingroup.morphism]
+
TrivMorphism.rT [in
mathcomp.fingroup.morphism]
+
TupleQuantifiers.n [in
mathcomp.ssreflect.tuple]
+
TupleQuantifiers.T [in
mathcomp.ssreflect.tuple]
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_U.html b/docs/htmldoc/index_variable_U.html
new file mode 100644
index 0000000..89ed767
--- /dev/null
+++ b/docs/htmldoc/index_variable_U.html
@@ -0,0 +1,509 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
U (variable)
+
UniqCycleRev.T [in
mathcomp.ssreflect.path]
+
UniqCycle.e [in
mathcomp.ssreflect.path]
+
UniqCycle.n0 [in
mathcomp.ssreflect.path]
+
UniqCycle.p [in
mathcomp.ssreflect.path]
+
UniqCycle.T [in
mathcomp.ssreflect.path]
+
UniqCycle.Up [in
mathcomp.ssreflect.path]
+
UniqRotrCycle.n0 [in
mathcomp.ssreflect.path]
+
UniqRotrCycle.p [in
mathcomp.ssreflect.path]
+
UniqRotrCycle.T [in
mathcomp.ssreflect.path]
+
UniqRotrCycle.Up [in
mathcomp.ssreflect.path]
+
UnitRingQuot.addT [in
mathcomp.algebra.ring_quotient]
+
UnitRingQuot.eqT [in
mathcomp.algebra.ring_quotient]
+
UnitRingQuot.invT [in
mathcomp.algebra.ring_quotient]
+
UnitRingQuot.mulT [in
mathcomp.algebra.ring_quotient]
+
UnitRingQuot.oneT [in
mathcomp.algebra.ring_quotient]
+
UnitRingQuot.oppT [in
mathcomp.algebra.ring_quotient]
+
UnitRingQuot.T [in
mathcomp.algebra.ring_quotient]
+
UnitRingQuot.unitT [in
mathcomp.algebra.ring_quotient]
+
UnitRingQuot.zeroT [in
mathcomp.algebra.ring_quotient]
+
UpperCentralFunctor.G [in
mathcomp.solvable.nilpotent]
+
UpperCentralFunctor.gT [in
mathcomp.solvable.nilpotent]
+
UpperCentralFunctor.n [in
mathcomp.solvable.nilpotent]
+
UpperCentral.gT [in
mathcomp.solvable.nilpotent]
+
UseFinTuple.ImageTuple.A [in
mathcomp.ssreflect.tuple]
+
UseFinTuple.ImageTuple.f [in
mathcomp.ssreflect.tuple]
+
UseFinTuple.ImageTuple.T' [in
mathcomp.ssreflect.tuple]
+
UseFinTuple.MkTuple.f [in
mathcomp.ssreflect.tuple]
+
UseFinTuple.MkTuple.T' [in
mathcomp.ssreflect.tuple]
+
UseFinTuple.n [in
mathcomp.ssreflect.tuple]
+
UseFinTuple.T [in
mathcomp.ssreflect.tuple]
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_V.html b/docs/htmldoc/index_variable_V.html
new file mode 100644
index 0000000..433e706
--- /dev/null
+++ b/docs/htmldoc/index_variable_V.html
@@ -0,0 +1,991 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_W.html b/docs/htmldoc/index_variable_W.html
new file mode 100644
index 0000000..c9bd28e
--- /dev/null
+++ b/docs/htmldoc/index_variable_W.html
@@ -0,0 +1,478 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_X.html b/docs/htmldoc/index_variable_X.html
new file mode 100644
index 0000000..c9bd28e
--- /dev/null
+++ b/docs/htmldoc/index_variable_X.html
@@ -0,0 +1,478 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_Y.html b/docs/htmldoc/index_variable_Y.html
new file mode 100644
index 0000000..c9bd28e
--- /dev/null
+++ b/docs/htmldoc/index_variable_Y.html
@@ -0,0 +1,478 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable_Z.html b/docs/htmldoc/index_variable_Z.html
new file mode 100644
index 0000000..be98aff
--- /dev/null
+++ b/docs/htmldoc/index_variable_Z.html
@@ -0,0 +1,495 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
Z (variable)
+
Zchar.G [in
mathcomp.character.vcharacter]
+
Zchar.gT [in
mathcomp.character.vcharacter]
+
Zgroups.D [in
mathcomp.solvable.sylow]
+
Zgroups.f [in
mathcomp.solvable.sylow]
+
Zgroups.gT [in
mathcomp.solvable.sylow]
+
Zgroups.rT [in
mathcomp.solvable.sylow]
+
ZintLmod.M [in
mathcomp.algebra.ssrint]
+
Zip.S [in
mathcomp.ssreflect.seq]
+
Zip.T [in
mathcomp.ssreflect.seq]
+
ZmodQuot.addT [in
mathcomp.algebra.ring_quotient]
+
ZmodQuot.eqT [in
mathcomp.algebra.ring_quotient]
+
ZmodQuot.oppT [in
mathcomp.algebra.ring_quotient]
+
ZmodQuot.T [in
mathcomp.algebra.ring_quotient]
+
ZmodQuot.zeroT [in
mathcomp.algebra.ring_quotient]
+
ZpDef.p' [in
mathcomp.algebra.zmodp]
+
ZpRing.p' [in
mathcomp.algebra.zmodp]
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/docs/htmldoc/index_variable__.html b/docs/htmldoc/index_variable__.html
new file mode 100644
index 0000000..c9bd28e
--- /dev/null
+++ b/docs/htmldoc/index_variable__.html
@@ -0,0 +1,478 @@
+
+
+
+
+
+mathcomp.ssreflect.tuple
+
+
+
+
+
+
+
+
+
+
+
+
+| Global Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(23233 entries) |
+
+
+| Notation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1373 entries) |
+
+
+| Module Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(213 entries) |
+
+
+| Variable Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3475 entries) |
+
+
+| Library Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(89 entries) |
+
+
+| Lemma Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(11853 entries) |
+
+
+| Constructor Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(359 entries) |
+
+
+| Axiom Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(47 entries) |
+
+
+| Inductive Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(103 entries) |
+
+
+| Projection Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(266 entries) |
+
+
+| Section Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(1118 entries) |
+
+
+| Abbreviation Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(691 entries) |
+
+
+| Definition Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(3461 entries) |
+
+
+| Record Index |
+A |
+B |
+C |
+D |
+E |
+F |
+G |
+H |
+I |
+J |
+K |
+L |
+M |
+N |
+O |
+P |
+Q |
+R |
+S |
+T |
+U |
+V |
+W |
+X |
+Y |
+Z |
+_ |
+other |
+(185 entries) |
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
--
cgit v1.2.3