mathcomp.ssreflect.tuple

From 748d716efb2f2f75946c8386e441ce1789806a39 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 22 May 2019 13:43:08 +0200 Subject: htmldoc regenerated --- docs/htmldoc/index_variable_*.html | 36 +++++------ docs/htmldoc/index_variable_A.html | 83 +++++++++++++----------- docs/htmldoc/index_variable_B.html | 70 ++++++++++---------- docs/htmldoc/index_variable_C.html | 128 ++++++++++++++++++------------------- docs/htmldoc/index_variable_D.html | 74 +++++++++++---------- docs/htmldoc/index_variable_E.html | 94 ++++++++++++++------------- docs/htmldoc/index_variable_F.html | 78 +++++++++++----------- docs/htmldoc/index_variable_G.html | 72 ++++++++++----------- docs/htmldoc/index_variable_H.html | 36 +++++------ docs/htmldoc/index_variable_I.html | 72 +++++++++++---------- docs/htmldoc/index_variable_J.html | 36 +++++------ docs/htmldoc/index_variable_K.html | 36 +++++------ docs/htmldoc/index_variable_L.html | 82 ++++++++++++++---------- docs/htmldoc/index_variable_M.html | 108 ++++++++++++++++++++----------- docs/htmldoc/index_variable_N.html | 92 ++++++++++++++++---------- docs/htmldoc/index_variable_O.html | 70 ++++++++++---------- docs/htmldoc/index_variable_P.html | 81 ++++++++++++----------- docs/htmldoc/index_variable_Q.html | 70 ++++++++++---------- docs/htmldoc/index_variable_R.html | 72 ++++++++++----------- docs/htmldoc/index_variable_S.html | 73 ++++++++++----------- docs/htmldoc/index_variable_T.html | 70 ++++++++++---------- docs/htmldoc/index_variable_U.html | 36 +++++------ docs/htmldoc/index_variable_V.html | 70 ++++++++++---------- docs/htmldoc/index_variable_W.html | 36 +++++------ docs/htmldoc/index_variable_X.html | 36 +++++------ docs/htmldoc/index_variable_Y.html | 36 +++++------ docs/htmldoc/index_variable_Z.html | 36 +++++------ docs/htmldoc/index_variable__.html | 36 +++++------ 28 files changed, 959 insertions(+), 860 deletions(-) (limited to 'docs/htmldoc/index_variable_*.html') diff --git a/docs/htmldoc/index_variable_*.html b/docs/htmldoc/index_variable_*.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_variable_*.html +++ b/docs/htmldoc/index_variable_*.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

diff --git a/docs/htmldoc/index_variable_A.html b/docs/htmldoc/index_variable_A.html index 0f47453..9b52cda 100644 --- a/docs/htmldoc/index_variable_A.html +++ b/docs/htmldoc/index_variable_A.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

A (variable)

@@ -528,10 +528,15 @@ AlgebraicsTheory.AutLmodC.V [in mathcomp.field.algC]
AlgebraicsTheory.nz2 [in mathcomp.field.algC]
AlgebraicsTheory.PredCmod.V [in mathcomp.field.algC]
-AllPairs.f [in mathcomp.ssreflect.seq]
-AllPairs.R [in mathcomp.ssreflect.seq]
-AllPairs.S [in mathcomp.ssreflect.seq]
-AllPairs.T [in mathcomp.ssreflect.seq]
+AllPairsDep.R [in mathcomp.ssreflect.seq]
+AllPairsDep.S [in mathcomp.ssreflect.seq]
+AllPairsDep.S' [in mathcomp.ssreflect.seq]
+AllPairsDep.T [in mathcomp.ssreflect.seq]
+AllPairsDep.T' [in mathcomp.ssreflect.seq]
+AllPairsNonDep.f [in mathcomp.ssreflect.seq]
+AllPairsNonDep.R [in mathcomp.ssreflect.seq]
+AllPairsNonDep.S [in mathcomp.ssreflect.seq]
+AllPairsNonDep.T [in mathcomp.ssreflect.seq]
AspaceTheory.aT [in mathcomp.field.falgebra]
AspaceTheory.K [in mathcomp.field.falgebra]
AspaceTheory.SkewField.fieldT [in mathcomp.field.falgebra]
@@ -593,7 +598,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -625,14 +630,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -657,7 +662,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -689,7 +694,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -721,7 +726,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -753,7 +758,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -785,7 +790,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -817,7 +822,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -849,14 +854,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -881,7 +886,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -913,7 +918,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -945,7 +950,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -977,14 +982,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1009,7 +1014,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_B.html b/docs/htmldoc/index_variable_B.html index 25b310b..9fa953f 100644 --- a/docs/htmldoc/index_variable_B.html +++ b/docs/htmldoc/index_variable_B.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

B (variable)

@@ -561,7 +561,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -593,14 +593,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -625,7 +625,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -657,7 +657,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -689,7 +689,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -721,7 +721,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -753,7 +753,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -785,7 +785,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -817,14 +817,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -849,7 +849,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -881,7 +881,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -913,7 +913,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -945,14 +945,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -977,7 +977,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_C.html b/docs/htmldoc/index_variable_C.html index fee28e6..2b963f5 100644 --- a/docs/htmldoc/index_variable_C.html +++ b/docs/htmldoc/index_variable_C.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

C (variable)

D (variable)

@@ -496,6 +496,10 @@ Def.n [in mathcomp.ssreflect.tuple]
Def.rT [in mathcomp.ssreflect.finfun]
Def.T [in mathcomp.ssreflect.tuple]
+DepPlainTheory.aT [in mathcomp.ssreflect.finfun]
+DepPlainTheory.F [in mathcomp.ssreflect.finfun]
+DepPlainTheory.pT [in mathcomp.ssreflect.finfun]
+DepPlainTheory.rT [in mathcomp.ssreflect.finfun]
DerivedBasics.gT [in mathcomp.solvable.commutator]
DerivedGroup.gT [in mathcomp.character.character]
DetOrder.DetRepr.n [in mathcomp.character.character]
@@ -559,7 +563,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -591,14 +595,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -623,7 +627,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -655,7 +659,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -687,7 +691,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -719,7 +723,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -751,7 +755,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -783,7 +787,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -815,14 +819,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -847,7 +851,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -879,7 +883,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -911,7 +915,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -943,14 +947,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -975,7 +979,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_E.html b/docs/htmldoc/index_variable_E.html index 5195430..b5bd7f0 100644 --- a/docs/htmldoc/index_variable_E.html +++ b/docs/htmldoc/index_variable_E.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

E (variable)

@@ -521,6 +521,10 @@ EncodingModuloRel.ED [in mathcomp.ssreflect.generic_quotient]
EncodingModuloRel.r [in mathcomp.ssreflect.generic_quotient]
EnumRank.T [in mathcomp.ssreflect.fintype]
+EqAllPairsDep.R [in mathcomp.ssreflect.seq]
+EqAllPairsDep.S [in mathcomp.ssreflect.seq]
+EqAllPairsDep.T [in mathcomp.ssreflect.seq]
+EqAllPairs.R [in mathcomp.ssreflect.seq]
EqAllPairs.S [in mathcomp.ssreflect.seq]
EqAllPairs.T [in mathcomp.ssreflect.seq]
EqConnect.T [in mathcomp.ssreflect.fingraph]
@@ -581,7 +585,10 @@ EqQuotTypeStructure.T [in mathcomp.ssreflect.generic_quotient]
EqSeq.EqIn.a1 [in mathcomp.ssreflect.seq]
EqSeq.EqIn.a2 [in mathcomp.ssreflect.seq]
+EqSeq.Filters.A [in mathcomp.ssreflect.seq]
EqSeq.Filters.a [in mathcomp.ssreflect.seq]
+EqSeq.Filters.aP [in mathcomp.ssreflect.seq]
+EqSeq.Filters.s [in mathcomp.ssreflect.seq]
EqSeq.inE [in mathcomp.ssreflect.seq]
EqSeq.n0 [in mathcomp.ssreflect.seq]
EqSeq.T [in mathcomp.ssreflect.seq]
@@ -766,15 +773,16 @@ Extremal.Construction.p_gt1 [in mathcomp.solvable.extremal]
Extremal.Construction.q [in mathcomp.solvable.extremal]
Extremal.Construction.q_gt1 [in mathcomp.solvable.extremal]
+Extrema.ArgMinMax.F [in mathcomp.ssreflect.fintype]
+Extrema.ArgMinMax.I [in mathcomp.ssreflect.fintype]
+Extrema.ArgMinMax.i0 [in mathcomp.ssreflect.fintype]
+Extrema.ArgMinMax.P [in mathcomp.ssreflect.fintype]
+Extrema.ArgMinMax.Pi0 [in mathcomp.ssreflect.fintype]
Extrema.arg_pred [in mathcomp.ssreflect.fintype]
-Extrema.exFP [in mathcomp.ssreflect.fintype]
-Extrema.F [in mathcomp.ssreflect.fintype]
-Extrema.FP [in mathcomp.ssreflect.fintype]
-Extrema.FP_F [in mathcomp.ssreflect.fintype]
-Extrema.I [in mathcomp.ssreflect.fintype]
-Extrema.i0 [in mathcomp.ssreflect.fintype]
-Extrema.P [in mathcomp.ssreflect.fintype]
-Extrema.Pi0 [in mathcomp.ssreflect.fintype]
+Extrema.Extremum.ord_total [in mathcomp.ssreflect.fintype]
+Extrema.Extremum.ord_trans [in mathcomp.ssreflect.fintype]
+Extrema.Extremum.ord_refl [in mathcomp.ssreflect.fintype]
+Extrema.Extremum.Pi0 [in mathcomp.ssreflect.fintype]
ExtSdprodm.actf [in mathcomp.fingroup.gproduct]
ExtSdprodm.aT [in mathcomp.fingroup.gproduct]
ExtSdprodm.DgH [in mathcomp.fingroup.gproduct]
@@ -817,7 +825,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -849,14 +857,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -881,7 +889,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -913,7 +921,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -945,7 +953,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -977,7 +985,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1009,7 +1017,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1041,7 +1049,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1073,14 +1081,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1105,7 +1113,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1137,7 +1145,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1169,7 +1177,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1201,14 +1209,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1233,7 +1241,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_F.html b/docs/htmldoc/index_variable_F.html index e3cb06b..0fd189f 100644 --- a/docs/htmldoc/index_variable_F.html +++ b/docs/htmldoc/index_variable_F.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

F (variable)

@@ -667,6 +667,8 @@ FinCancel.g [in mathcomp.ssreflect.fintype]
FinCancel.Inv.injf [in mathcomp.ssreflect.fintype]
FinCancel.T [in mathcomp.ssreflect.fintype]
+FinDepTheory.aT [in mathcomp.ssreflect.finfun]
+FinDepTheory.rT [in mathcomp.ssreflect.finfun]
FinDomain.domR [in mathcomp.field.finfield]
FinDomain.lregR [in mathcomp.field.finfield]
FinDomain.R [in mathcomp.field.finfield]
@@ -689,6 +691,8 @@ FinFunRing.a [in mathcomp.algebra.ssralg]
FinFunRing.aT [in mathcomp.algebra.ssralg]
FinFunRing.R [in mathcomp.algebra.ssralg]
+FinFunTheory.aT [in mathcomp.ssreflect.finfun]
+FinFunTheory.rT [in mathcomp.ssreflect.finfun]
FinFunZmod.aT [in mathcomp.algebra.ssralg]
FinFunZmod.rT [in mathcomp.algebra.ssralg]
FinFunZmod.Sum.F [in mathcomp.algebra.ssralg]
@@ -773,8 +777,6 @@ FinSplittingField.FinGalois.galL [in mathcomp.field.finfield]
FinSplittingField.FinGalois.L [in mathcomp.field.finfield]
FinSplittingField.order [in mathcomp.field.finfield]
-FinTheory.aT [in mathcomp.ssreflect.finfun]
-FinTheory.rT [in mathcomp.ssreflect.finfun]
FinTupleSig.FinTupleSig.n [in mathcomp.ssreflect.tuple]
FinTupleSig.FinTupleSig.T [in mathcomp.ssreflect.tuple]
FinTuple.FinTuple.n [in mathcomp.ssreflect.tuple]
@@ -853,6 +855,8 @@ FunImage.ImsetTheory.ImsetProp.f [in mathcomp.ssreflect.finset]
FunImage.ImsetTheory.ImsetProp.f2 [in mathcomp.ssreflect.finset]
FunImage.ImsetTheory.rT [in mathcomp.ssreflect.finset]
+FunPlainTheory.aT [in mathcomp.ssreflect.finfun]
+FunPlainTheory.rT [in mathcomp.ssreflect.finfun]
FunVectType.I [in mathcomp.algebra.vector]
FunVectType.R [in mathcomp.algebra.vector]
FunVectType.vT [in mathcomp.algebra.vector]
@@ -893,7 +897,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -925,14 +929,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -957,7 +961,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -989,7 +993,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -1021,7 +1025,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -1053,7 +1057,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1085,7 +1089,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1117,7 +1121,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1149,14 +1153,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1181,7 +1185,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1213,7 +1217,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1245,7 +1249,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1277,14 +1281,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1309,7 +1313,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_G.html b/docs/htmldoc/index_variable_G.html index 6e0dd8f..73ced8b 100644 --- a/docs/htmldoc/index_variable_G.html +++ b/docs/htmldoc/index_variable_G.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

G (variable)

@@ -600,7 +600,7 @@ GRing.Field.ClassDef.xT [in mathcomp.algebra.ssralg]
GRing.Field.Mixins.inv [in mathcomp.algebra.ssralg]
GRing.Field.Mixins.inv0 [in mathcomp.algebra.ssralg]
-GRing.Field.Mixins.mulVx [in mathcomp.algebra.ssralg]
+GRing.Field.Mixins.mulVf [in mathcomp.algebra.ssralg]
GRing.Field.Mixins.R [in mathcomp.algebra.ssralg]
GRing.IntegralDomainTheory.R [in mathcomp.algebra.ssralg]
GRing.IntegralDomain.ClassDef.cT [in mathcomp.algebra.ssralg]
@@ -875,7 +875,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -907,14 +907,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -939,7 +939,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -971,7 +971,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -1003,7 +1003,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -1035,7 +1035,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1067,7 +1067,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1099,7 +1099,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1131,14 +1131,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1163,7 +1163,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1195,7 +1195,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1227,7 +1227,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1259,14 +1259,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1291,7 +1291,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_H.html b/docs/htmldoc/index_variable_H.html index 6b4dd9f..0f5aef9 100644 --- a/docs/htmldoc/index_variable_H.html +++ b/docs/htmldoc/index_variable_H.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

H (variable)

diff --git a/docs/htmldoc/index_variable_I.html b/docs/htmldoc/index_variable_I.html index a7c5b8f..7ce3d3b 100644 --- a/docs/htmldoc/index_variable_I.html +++ b/docs/htmldoc/index_variable_I.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

I (variable)

@@ -531,6 +531,7 @@ InfinitePrimitiveElementTheorem.px_0 [in mathcomp.field.separable]
InfinitePrimitiveElementTheorem.x [in mathcomp.field.separable]
InfinitePrimitiveElementTheorem.y [in mathcomp.field.separable]
+InheritedStructures.aT [in mathcomp.ssreflect.finfun]
Injectiveb.aT [in mathcomp.ssreflect.fintype]
Injectiveb.f [in mathcomp.ssreflect.fintype]
Injectiveb.rT [in mathcomp.ssreflect.fintype]
@@ -634,6 +635,7 @@ InternalProd.NormalComplement.G [in mathcomp.fingroup.gproduct]
InternalProd.NormalComplement.H [in mathcomp.fingroup.gproduct]
InternalProd.NormalComplement.K [in mathcomp.fingroup.gproduct]
+IntervalEq.T [in mathcomp.algebra.interval]
IntervalField.R [in mathcomp.algebra.interval]
IntervalOrdered.R [in mathcomp.algebra.interval]
IntervalPo.R [in mathcomp.algebra.interval]
@@ -755,7 +757,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -787,14 +789,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -819,7 +821,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -851,7 +853,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -883,7 +885,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -915,7 +917,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -947,7 +949,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -979,7 +981,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1011,14 +1013,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1043,7 +1045,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1075,7 +1077,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1107,7 +1109,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1139,14 +1141,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1171,7 +1173,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_J.html b/docs/htmldoc/index_variable_J.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_variable_J.html +++ b/docs/htmldoc/index_variable_J.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

diff --git a/docs/htmldoc/index_variable_K.html b/docs/htmldoc/index_variable_K.html index 3677d8c..d7338b2 100644 --- a/docs/htmldoc/index_variable_K.html +++ b/docs/htmldoc/index_variable_K.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

K (variable)

diff --git a/docs/htmldoc/index_variable_L.html b/docs/htmldoc/index_variable_L.html index 0a48278..64e6e90 100644 --- a/docs/htmldoc/index_variable_L.html +++ b/docs/htmldoc/index_variable_L.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,11 +463,23 @@ Z _ other -(185 entries) +(189 entries)

L (variable)

Lagrange.gT [in mathcomp.fingroup.fingroup]
+LersifField.b [in mathcomp.algebra.interval]
+LersifField.F [in mathcomp.algebra.interval]
+LersifField.x [in mathcomp.algebra.interval]
+LersifField.y [in mathcomp.algebra.interval]
+LersifField.z [in mathcomp.algebra.interval]
+LersifOrdered.b [in mathcomp.algebra.interval]
+LersifOrdered.e [in mathcomp.algebra.interval]
+LersifOrdered.R [in mathcomp.algebra.interval]
+LersifOrdered.x [in mathcomp.algebra.interval]
+LersifOrdered.y [in mathcomp.algebra.interval]
+LersifOrdered.z [in mathcomp.algebra.interval]
+LersifPo.R [in mathcomp.algebra.interval]
LfunAlgebra.R [in mathcomp.algebra.vector]
LfunAlgebra.vT [in mathcomp.algebra.vector]
LfunAlgebra.vT_proper [in mathcomp.algebra.vector]
@@ -533,7 +545,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -565,14 +577,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -597,7 +609,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -629,7 +641,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -661,7 +673,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -693,7 +705,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -725,7 +737,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -757,7 +769,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -789,14 +801,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -821,7 +833,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -853,7 +865,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -885,7 +897,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -917,14 +929,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -949,7 +961,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_M.html b/docs/htmldoc/index_variable_M.html index cf2efac..8f46b25 100644 --- a/docs/htmldoc/index_variable_M.html +++ b/docs/htmldoc/index_variable_M.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

M (variable)

@@ -499,6 +499,7 @@ MapField.aF [in mathcomp.algebra.mxpoly]
MapField.f [in mathcomp.algebra.mxpoly]
MapField.n' [in mathcomp.algebra.mxpoly]
+MapField.p [in mathcomp.algebra.mxpoly]
MapField.rF [in mathcomp.algebra.mxpoly]
MapMatrixSpaces.aF [in mathcomp.algebra.mxalgebra]
MapMatrixSpaces.f [in mathcomp.algebra.mxalgebra]
@@ -629,8 +630,8 @@ MatrixGenField.FiniteGenField.n' [in mathcomp.character.mxrepresentation]
MatrixGenField.FiniteGenField.rG [in mathcomp.character.mxrepresentation]
MatrixGenField.GenField.A [in mathcomp.character.mxrepresentation]
-MatrixGenField.GenField.Bijection.m1 [in mathcomp.character.mxrepresentation]
-MatrixGenField.GenField.Bijection2.m1 [in mathcomp.character.mxrepresentation]
+MatrixGenField.GenField.Bijection.m [in mathcomp.character.mxrepresentation]
+MatrixGenField.GenField.Bijection2.m [in mathcomp.character.mxrepresentation]
MatrixGenField.GenField.cGA [in mathcomp.character.mxrepresentation]
MatrixGenField.GenField.d_gt0 [in mathcomp.character.mxrepresentation]
MatrixGenField.GenField.F [in mathcomp.character.mxrepresentation]
@@ -729,6 +730,26 @@ ModularRepresentation.n [in mathcomp.character.mxabelem]
ModularRepresentation.p [in mathcomp.character.mxabelem]
ModularRepresentation.rG [in mathcomp.character.mxabelem]
+MonoHomoTheory.aR [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.aRE [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.aR_anti [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.aR_refl [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.aR' [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.aR'E [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.aT [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.D [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.f [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.InDom.aR_anti [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.InDom.D [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.InDom.DifferentDom.D' [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.InDom.rR_anti [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rR [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rRE [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rR_anti [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rR_refl [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rR' [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rR'E [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rT [in mathcomp.ssreflect.eqtype]
MonoidProperties.Abelian.op [in mathcomp.ssreflect.bigop]
MonoidProperties.idx [in mathcomp.ssreflect.bigop]
MonoidProperties.Plain.op [in mathcomp.ssreflect.bigop]
@@ -754,6 +775,19 @@ MonotonicFunctorTheory.Composition.F2 [in mathcomp.solvable.gfunctor]
MonotonicFunctorTheory.F1 [in mathcomp.solvable.gfunctor]
MonotonicFunctorTheory.F2 [in mathcomp.solvable.gfunctor]
+Monotonicity.NatToNat.anti_geq [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.anti_leq [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.D [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.D' [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.f [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.gtn_neqAge [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.leq_total [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.ltn_neqAle [in mathcomp.ssreflect.ssrnat]
+Monotonicity.r [in mathcomp.ssreflect.path]
+Monotonicity.r_refl [in mathcomp.ssreflect.path]
+Monotonicity.r_trans [in mathcomp.ssreflect.path]
+Monotonicity.T [in mathcomp.ssreflect.path]
+Monotonicity.T [in mathcomp.ssreflect.ssrnat]
MoreConstt.G [in mathcomp.character.character]
MoreConstt.gT [in mathcomp.character.character]
MoreConstt.H [in mathcomp.character.character]
@@ -993,7 +1027,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -1025,14 +1059,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -1057,7 +1091,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -1089,7 +1123,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -1121,7 +1155,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -1153,7 +1187,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1185,7 +1219,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1217,7 +1251,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1249,14 +1283,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1281,7 +1315,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1313,7 +1347,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1345,7 +1379,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1377,14 +1411,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1409,7 +1443,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_N.html b/docs/htmldoc/index_variable_N.html index 2df9750..176eb2c 100644 --- a/docs/htmldoc/index_variable_N.html +++ b/docs/htmldoc/index_variable_N.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

N (variable)

@@ -574,6 +574,7 @@ Num.Theory.FinGroup.R [in mathcomp.algebra.ssrnum]
Num.Theory.NumDomainMonotonyTheoryForReals.D [in mathcomp.algebra.ssrnum]
Num.Theory.NumDomainMonotonyTheoryForReals.f [in mathcomp.algebra.ssrnum]
+Num.Theory.NumDomainMonotonyTheoryForReals.f' [in mathcomp.algebra.ssrnum]
Num.Theory.NumDomainMonotonyTheoryForReals.R [in mathcomp.algebra.ssrnum]
Num.Theory.NumDomainMonotonyTheoryForReals.R' [in mathcomp.algebra.ssrnum]
Num.Theory.NumDomainOperationTheory.R [in mathcomp.algebra.ssrnum]
@@ -581,13 +582,34 @@ Num.Theory.NumIntegralDomainMonotonyTheory.AcrossTypes.D [in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.AcrossTypes.D' [in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.AcrossTypes.f [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.geq_total [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.geq_anti [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ger_antiR' [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ger_antiR [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.gtnE [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.gtrE [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.gtr'E [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.leqnn [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.leq_total [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.leq_anti [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ler_antiR' [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ler_antiR [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ltnE [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ltrE [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ltr'E [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.NatToR.D [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.NatToR.D' [in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.NatToR.f [in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.R [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.RToNat.D [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.RToNat.D' [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.RToNat.f [in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.R' [in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainTheory.R [in mathcomp.algebra.ssrnum]
Num.Theory.RealClosedFieldTheory.R [in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainMonotony.D [in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainMonotony.f [in mathcomp.algebra.ssrnum]
+Num.Theory.RealDomainMonotony.f' [in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainMonotony.R [in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainMonotony.R' [in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainOperations.PolyBounds.p [in mathcomp.algebra.ssrnum]
@@ -627,7 +649,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -659,14 +681,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -691,7 +713,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -723,7 +745,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -755,7 +777,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -787,7 +809,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -819,7 +841,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -851,7 +873,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -883,14 +905,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -915,7 +937,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -947,7 +969,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -979,7 +1001,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1011,14 +1033,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1043,7 +1065,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_O.html b/docs/htmldoc/index_variable_O.html index dbb4561..22b4cb3 100644 --- a/docs/htmldoc/index_variable_O.html +++ b/docs/htmldoc/index_variable_O.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

O (variable)

@@ -535,7 +535,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -567,14 +567,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -599,7 +599,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -631,7 +631,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -663,7 +663,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -695,7 +695,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -727,7 +727,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -759,7 +759,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -791,14 +791,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -823,7 +823,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -855,7 +855,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -887,7 +887,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -919,14 +919,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -951,7 +951,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_P.html b/docs/htmldoc/index_variable_P.html index 26b8478..fe6efcd 100644 --- a/docs/htmldoc/index_variable_P.html +++ b/docs/htmldoc/index_variable_P.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

P (variable)

@@ -566,6 +566,9 @@ PermIn.T [in mathcomp.fingroup.automorphism]
PermSeq.T [in mathcomp.ssreflect.seq]
PermutationParity.T [in mathcomp.fingroup.perm]
+Permutations.cons_permsE [in mathcomp.ssreflect.seq]
+Permutations.permsP [in mathcomp.ssreflect.seq]
+Permutations.T [in mathcomp.ssreflect.seq]
Pextraspecial.Construction.p [in mathcomp.solvable.extraspecial]
PgroupDefs.gT [in mathcomp.solvable.pgroup]
PgroupProps.gT [in mathcomp.solvable.pgroup]
@@ -577,8 +580,6 @@ PiRMorphism.Q [in mathcomp.algebra.ring_quotient]
PiRMorphism.R [in mathcomp.algebra.ring_quotient]
PiRMorphism.zeroR [in mathcomp.algebra.ring_quotient]
-PlainTheory.aT [in mathcomp.ssreflect.finfun]
-PlainTheory.rT [in mathcomp.ssreflect.finfun]
PmapSub.p [in mathcomp.ssreflect.seq]
PmapSub.sT [in mathcomp.ssreflect.seq]
PmapSub.T [in mathcomp.ssreflect.seq]
@@ -602,6 +603,12 @@ PolynomialTheory.PolyOverAdd.addS [in mathcomp.algebra.poly]
PolynomialTheory.PolyOverAdd.kS [in mathcomp.algebra.poly]
PolynomialTheory.PolyOverAdd.S [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverRing.kS [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverRing.ringS [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverRing.S [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverSemiring.kS [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverSemiring.ringS [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverSemiring.S [in mathcomp.algebra.poly]
PolynomialTheory.R [in mathcomp.algebra.poly]
Polynomial.R [in mathcomp.algebra.poly]
PolyXY_Field.FtoE [in mathcomp.algebra.polyXY]
@@ -740,7 +747,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -772,14 +779,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -804,7 +811,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -836,7 +843,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -868,7 +875,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -900,7 +907,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -932,7 +939,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -964,7 +971,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -996,14 +1003,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1028,7 +1035,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1060,7 +1067,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1092,7 +1099,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1124,14 +1131,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1156,7 +1163,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_Q.html b/docs/htmldoc/index_variable_Q.html index 4636dac..43a713a 100644 --- a/docs/htmldoc/index_variable_Q.html +++ b/docs/htmldoc/index_variable_Q.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

Q (variable)

@@ -560,7 +560,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -592,14 +592,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -624,7 +624,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -656,7 +656,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -688,7 +688,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -720,7 +720,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -752,7 +752,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -784,7 +784,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -816,14 +816,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -848,7 +848,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -880,7 +880,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -912,7 +912,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -944,14 +944,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -976,7 +976,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_R.html b/docs/htmldoc/index_variable_R.html index 159d769..2a7a8e6 100644 --- a/docs/htmldoc/index_variable_R.html +++ b/docs/htmldoc/index_variable_R.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

R (variable)

@@ -550,7 +550,6 @@ Resultant.p [in mathcomp.algebra.mxpoly]
Resultant.q [in mathcomp.algebra.mxpoly]
Resultant.R [in mathcomp.algebra.mxpoly]
-Rev.T [in mathcomp.ssreflect.seq]
RingQuot.addT [in mathcomp.algebra.ring_quotient]
RingQuot.eqT [in mathcomp.algebra.ring_quotient]
RingQuot.mulT [in mathcomp.algebra.ring_quotient]
@@ -623,6 +622,7 @@ RingRepr.Regular.gT [in mathcomp.character.mxrepresentation]
RintMod.R [in mathcomp.algebra.ssrint]
RotCompLemmas.T [in mathcomp.ssreflect.seq]
+RotRcons.T [in mathcomp.ssreflect.seq]
RotrLemmas.n0 [in mathcomp.ssreflect.seq]
RotrLemmas.T [in mathcomp.ssreflect.seq]
RotrLemmas.T' [in mathcomp.ssreflect.seq]
@@ -723,7 +723,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -755,14 +755,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -787,7 +787,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -819,7 +819,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -851,7 +851,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -883,7 +883,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -915,7 +915,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -947,7 +947,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -979,14 +979,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1011,7 +1011,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1043,7 +1043,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1075,7 +1075,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1107,14 +1107,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1139,7 +1139,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_S.html b/docs/htmldoc/index_variable_S.html index 61871a0..a1a9e94 100644 --- a/docs/htmldoc/index_variable_S.html +++ b/docs/htmldoc/index_variable_S.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

S (variable)

@@ -661,8 +661,9 @@ Subnormal.sub_setIgr [in mathcomp.solvable.gseries]
Subseq.T [in mathcomp.ssreflect.seq]
SubType.P [in mathcomp.ssreflect.eqtype]
-SubType.sT [in mathcomp.ssreflect.eqtype]
SubType.T [in mathcomp.ssreflect.eqtype]
+SubType.Theory.insub_eq_aux [in mathcomp.ssreflect.eqtype]
+SubType.Theory.sT [in mathcomp.ssreflect.eqtype]
SubVector.K [in mathcomp.algebra.vector]
SubVector.U [in mathcomp.algebra.vector]
SubVector.vT [in mathcomp.algebra.vector]
@@ -712,7 +713,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -744,14 +745,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -776,7 +777,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -808,7 +809,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -840,7 +841,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -872,7 +873,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -904,7 +905,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -936,7 +937,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -968,14 +969,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1000,7 +1001,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1032,7 +1033,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1064,7 +1065,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1096,14 +1097,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1128,7 +1129,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_T.html b/docs/htmldoc/index_variable_T.html index 61291b0..1df9169 100644 --- a/docs/htmldoc/index_variable_T.html +++ b/docs/htmldoc/index_variable_T.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

T (variable)

@@ -561,7 +561,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -593,14 +593,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -625,7 +625,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -657,7 +657,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -689,7 +689,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -721,7 +721,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -753,7 +753,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -785,7 +785,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -817,14 +817,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -849,7 +849,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -881,7 +881,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -913,7 +913,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -945,14 +945,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -977,7 +977,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_U.html b/docs/htmldoc/index_variable_U.html index 89ed767..4e17710 100644 --- a/docs/htmldoc/index_variable_U.html +++ b/docs/htmldoc/index_variable_U.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

U (variable)

diff --git a/docs/htmldoc/index_variable_V.html b/docs/htmldoc/index_variable_V.html index 433e706..227ce17 100644 --- a/docs/htmldoc/index_variable_V.html +++ b/docs/htmldoc/index_variable_V.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

V (variable)

@@ -560,7 +560,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -592,14 +592,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -624,7 +624,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -656,7 +656,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -688,7 +688,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -720,7 +720,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -752,7 +752,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -784,7 +784,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -816,14 +816,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -848,7 +848,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -880,7 +880,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -912,7 +912,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -944,14 +944,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -976,7 +976,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_variable_W.html b/docs/htmldoc/index_variable_W.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_variable_W.html +++ b/docs/htmldoc/index_variable_W.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

diff --git a/docs/htmldoc/index_variable_X.html b/docs/htmldoc/index_variable_X.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_variable_X.html +++ b/docs/htmldoc/index_variable_X.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

diff --git a/docs/htmldoc/index_variable_Y.html b/docs/htmldoc/index_variable_Y.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_variable_Y.html +++ b/docs/htmldoc/index_variable_Y.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

diff --git a/docs/htmldoc/index_variable_Z.html b/docs/htmldoc/index_variable_Z.html index be98aff..a9ba044 100644 --- a/docs/htmldoc/index_variable_Z.html +++ b/docs/htmldoc/index_variable_Z.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

Z (variable)

diff --git a/docs/htmldoc/index_variable__.html b/docs/htmldoc/index_variable__.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_variable__.html +++ b/docs/htmldoc/index_variable__.html @@ -4,7 +4,7 @@ -mathcomp.ssreflect.tuple +mathcomp.test_suite.hierarchy_test @@ -47,7 +47,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -79,14 +79,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -111,7 +111,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -143,7 +143,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -175,7 +175,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -207,7 +207,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -239,7 +239,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -271,7 +271,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -303,14 +303,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -335,7 +335,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -367,7 +367,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -399,7 +399,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -431,14 +431,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -463,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

-- cgit v1.2.3