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_section_*.html | 36 +++++++-------- docs/htmldoc/index_section_A.html | 74 ++++++++++++++++--------------- docs/htmldoc/index_section_B.html | 36 +++++++-------- docs/htmldoc/index_section_C.html | 92 +++++++++++++++++++-------------------- docs/htmldoc/index_section_D.html | 37 ++++++++-------- docs/htmldoc/index_section_E.html | 73 ++++++++++++++++--------------- docs/htmldoc/index_section_F.html | 74 ++++++++++++++++--------------- docs/htmldoc/index_section_G.html | 70 ++++++++++++++--------------- docs/htmldoc/index_section_H.html | 36 +++++++-------- docs/htmldoc/index_section_I.html | 72 +++++++++++++++--------------- docs/htmldoc/index_section_J.html | 36 +++++++-------- docs/htmldoc/index_section_K.html | 36 +++++++-------- docs/htmldoc/index_section_L.html | 39 +++++++++-------- docs/htmldoc/index_section_M.html | 76 +++++++++++++++++--------------- docs/htmldoc/index_section_N.html | 72 +++++++++++++++--------------- docs/htmldoc/index_section_O.html | 36 +++++++-------- docs/htmldoc/index_section_P.html | 72 +++++++++++++++--------------- docs/htmldoc/index_section_Q.html | 36 +++++++-------- docs/htmldoc/index_section_R.html | 72 +++++++++++++++--------------- docs/htmldoc/index_section_S.html | 71 +++++++++++++++--------------- docs/htmldoc/index_section_T.html | 36 +++++++-------- docs/htmldoc/index_section_U.html | 36 +++++++-------- docs/htmldoc/index_section_V.html | 36 +++++++-------- docs/htmldoc/index_section_W.html | 36 +++++++-------- docs/htmldoc/index_section_X.html | 36 +++++++-------- docs/htmldoc/index_section_Y.html | 36 +++++++-------- docs/htmldoc/index_section_Z.html | 36 +++++++-------- docs/htmldoc/index_section__.html | 36 +++++++-------- 28 files changed, 728 insertions(+), 706 deletions(-) (limited to 'docs/htmldoc/index_section_*.html') diff --git a/docs/htmldoc/index_section_*.html b/docs/htmldoc/index_section_*.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_section_*.html +++ b/docs/htmldoc/index_section_*.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_section_A.html b/docs/htmldoc/index_section_A.html index d03f837..bca5694 100644 --- a/docs/htmldoc/index_section_A.html +++ b/docs/htmldoc/index_section_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 (section)

@@ -491,7 +491,9 @@ AlgebraicsTheory.AutLmodC [in mathcomp.field.algC]
AlgebraicsTheory.PredCmod [in mathcomp.field.algC]
AlgIntSubring [in mathcomp.field.algnum]
-AllPairs [in mathcomp.ssreflect.seq]
+AllIff [in mathcomp.ssreflect.seq]
+AllPairsDep [in mathcomp.ssreflect.seq]
+AllPairsNonDep [in mathcomp.ssreflect.seq]
AspaceTheory [in mathcomp.field.falgebra]
AspaceTheory.SkewField [in mathcomp.field.falgebra]
Aut [in mathcomp.character.character]
@@ -535,7 +537,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -567,14 +569,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -599,7 +601,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -631,7 +633,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -663,7 +665,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -695,7 +697,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -727,7 +729,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -759,7 +761,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -791,14 +793,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -823,7 +825,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -855,7 +857,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -887,7 +889,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -919,14 +921,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -951,7 +953,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_section_B.html b/docs/htmldoc/index_section_B.html index 57a649a..88850a9 100644 --- a/docs/htmldoc/index_section_B.html +++ b/docs/htmldoc/index_section_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 (section)

diff --git a/docs/htmldoc/index_section_C.html b/docs/htmldoc/index_section_C.html index b630707..8f7e95a 100644 --- a/docs/htmldoc/index_section_C.html +++ b/docs/htmldoc/index_section_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 (section)

@@ -506,7 +506,7 @@ Choice.InternalTheory.InternalTheory [in mathcomp.ssreflect.choice]
ClassFun [in mathcomp.character.classfun]
ClosedField [in mathcomp.algebra.poly]
-ClosedFieldQE [in mathcomp.field.closed_field]
+ClosedFieldQE.ClosedFieldQE [in mathcomp.field.closed_field]
Closure [in mathcomp.ssreflect.fingraph]
Closure [in mathcomp.field.falgebra]
colouring [in mathcomp.solvable.burnside_app]
@@ -543,16 +543,16 @@ CountableTheory [in mathcomp.ssreflect.choice]
Countable.ClassDef [in mathcomp.ssreflect.choice]
CountEncodingModuloRel [in mathcomp.ssreflect.generic_quotient]
-CountRing.ClosedField.ClassDef [in mathcomp.field.countalg]
-CountRing.ComRing.ClassDef [in mathcomp.field.countalg]
-CountRing.ComUnitRing.ClassDef [in mathcomp.field.countalg]
-CountRing.DecidableField.ClassDef [in mathcomp.field.countalg]
-CountRing.Field.ClassDef [in mathcomp.field.countalg]
-CountRing.Generic [in mathcomp.field.countalg]
-CountRing.IntegralDomain.ClassDef [in mathcomp.field.countalg]
-CountRing.Ring.ClassDef [in mathcomp.field.countalg]
-CountRing.UnitRing.ClassDef [in mathcomp.field.countalg]
-CountRing.Zmodule.ClassDef [in mathcomp.field.countalg]
+CountRing.ClosedField.ClassDef [in mathcomp.algebra.countalg]
+CountRing.ComRing.ClassDef [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.ClassDef [in mathcomp.algebra.countalg]
+CountRing.DecidableField.ClassDef [in mathcomp.algebra.countalg]
+CountRing.Field.ClassDef [in mathcomp.algebra.countalg]
+CountRing.Generic [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.ClassDef [in mathcomp.algebra.countalg]
+CountRing.Ring.ClassDef [in mathcomp.algebra.countalg]
+CountRing.UnitRing.ClassDef [in mathcomp.algebra.countalg]
+CountRing.Zmodule.ClassDef [in mathcomp.algebra.countalg]
CprodBy [in mathcomp.solvable.center]
CprodBy.ExtCprodm [in mathcomp.solvable.center]
CprodBy.Isomorphism [in mathcomp.solvable.center]
@@ -600,7 +600,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -632,14 +632,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -664,7 +664,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -696,7 +696,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -728,7 +728,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -760,7 +760,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -792,7 +792,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -824,7 +824,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -856,14 +856,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -888,7 +888,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -920,7 +920,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -952,7 +952,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -984,14 +984,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1016,7 +1016,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_section_D.html b/docs/htmldoc/index_section_D.html index 926d7d7..95328d8 100644 --- a/docs/htmldoc/index_section_D.html +++ b/docs/htmldoc/index_section_D.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)

D (section)

@@ -480,6 +480,7 @@ Defs [in mathcomp.character.classfun]
Defs [in mathcomp.solvable.center]
Defs.Automorphism [in mathcomp.character.classfun]
+DepPlainTheory [in mathcomp.ssreflect.finfun]
DerivedBasics [in mathcomp.solvable.commutator]
DerivedGroup [in mathcomp.character.character]
DetOrder [in mathcomp.character.character]
diff --git a/docs/htmldoc/index_section_E.html b/docs/htmldoc/index_section_E.html index 5429366..fb179a1 100644 --- a/docs/htmldoc/index_section_E.html +++ b/docs/htmldoc/index_section_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 (section)

@@ -476,6 +476,7 @@ EncodingModuloRel [in mathcomp.ssreflect.generic_quotient]
EnumRank [in mathcomp.ssreflect.fintype]
EqAllPairs [in mathcomp.ssreflect.seq]
+EqAllPairsDep [in mathcomp.ssreflect.seq]
EqConnect [in mathcomp.ssreflect.fingraph]
EqFlatten [in mathcomp.ssreflect.seq]
EqFun [in mathcomp.ssreflect.eqtype]
@@ -534,6 +535,8 @@ ExtremalTheory.ModularGroup [in mathcomp.solvable.extremal]
ExtremalTheory.Quaternion [in mathcomp.solvable.extremal]
Extremal.Construction [in mathcomp.solvable.extremal]
+Extrema.ArgMinMax [in mathcomp.ssreflect.fintype]
+Extrema.Extremum [in mathcomp.ssreflect.fintype]
ExtSdprodm [in mathcomp.fingroup.gproduct]


@@ -566,7 +569,7 @@ - + @@ -598,14 +601,14 @@ - + - + @@ -630,7 +633,7 @@ - + @@ -662,7 +665,7 @@ - + @@ -694,7 +697,7 @@ - + @@ -726,7 +729,7 @@ - + @@ -758,7 +761,7 @@ - + @@ -790,7 +793,7 @@ - + @@ -822,14 +825,14 @@ - + - + @@ -854,7 +857,7 @@ - + @@ -886,7 +889,7 @@ - + @@ -918,7 +921,7 @@ - + @@ -950,14 +953,14 @@ - + - + @@ -982,7 +985,7 @@ - +
Z _ other(23233 entries)(23836 entries)
Notation IndexZ _ other(1373 entries)(1409 entries)
Module Index A B CDD E F GZ _ other(213 entries)(221 entries)
Variable IndexZ _ other(3475 entries)(3574 entries)
Library IndexZ _ other(89 entries)(90 entries)
Lemma IndexZ _ other(11853 entries)(12096 entries)
Constructor IndexZ _ other(359 entries)(368 entries)
Axiom IndexZ _ other(47 entries)(45 entries)
Inductive IndexZ _ other(103 entries)(107 entries)
Projection Index A B CDD E F GZ _ other(266 entries)(273 entries)
Section IndexZ _ other(1118 entries)(1140 entries)
Abbreviation IndexZ _ other(691 entries)(728 entries)
Definition IndexZ _ other(3461 entries)(3596 entries)
Record Index A B CDD E F GZ _ other(185 entries)(189 entries)
diff --git a/docs/htmldoc/index_section_F.html b/docs/htmldoc/index_section_F.html index 105d000..320041c 100644 --- a/docs/htmldoc/index_section_F.html +++ b/docs/htmldoc/index_section_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 (section)

@@ -525,6 +525,7 @@ FimModAbelem [in mathcomp.solvable.abelian]
FinCancel [in mathcomp.ssreflect.fintype]
FinCancel.Inv [in mathcomp.ssreflect.fintype]
+FinDepTheory [in mathcomp.ssreflect.finfun]
FinDomain [in mathcomp.field.finfield]
FinField [in mathcomp.field.finfield]
FinFieldExists [in mathcomp.field.finfield]
@@ -534,6 +535,7 @@ FinFunComRing [in mathcomp.algebra.ssralg]
FinFunLmod [in mathcomp.algebra.ssralg]
FinFunRing [in mathcomp.algebra.ssralg]
+FinFunTheory [in mathcomp.ssreflect.finfun]
FinFunZmod [in mathcomp.algebra.ssralg]
FinFunZmod.Sum [in mathcomp.algebra.ssralg]
FinGroup.InheritedClasses [in mathcomp.fingroup.fingroup]
@@ -564,7 +566,6 @@ FinRing.Zmodule.ClassDef [in mathcomp.algebra.finalg]
FinSplittingField [in mathcomp.field.finfield]
FinSplittingField.FinGalois [in mathcomp.field.finfield]
-FinTheory [in mathcomp.ssreflect.finfun]
FinTupleSig.FinTupleSig [in mathcomp.ssreflect.tuple]
FinTuple.FinTuple [in mathcomp.ssreflect.tuple]
FinTypeForSub [in mathcomp.ssreflect.fintype]
@@ -599,6 +600,7 @@ FunImageComp [in mathcomp.ssreflect.finset]
FunImage.ImsetTheory [in mathcomp.ssreflect.finset]
FunImage.ImsetTheory.ImsetProp [in mathcomp.ssreflect.finset]
+FunPlainTheory [in mathcomp.ssreflect.finfun]
FunVectType [in mathcomp.algebra.vector]
FunWith [in mathcomp.ssreflect.eqtype]
Fun2Set1 [in mathcomp.ssreflect.finset]
@@ -633,7 +635,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -665,14 +667,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -697,7 +699,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -729,7 +731,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -761,7 +763,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -793,7 +795,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -825,7 +827,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -857,7 +859,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -889,14 +891,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -921,7 +923,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -953,7 +955,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -985,7 +987,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1017,14 +1019,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1049,7 +1051,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_section_G.html b/docs/htmldoc/index_section_G.html index cc67c44..c967186 100644 --- a/docs/htmldoc/index_section_G.html +++ b/docs/htmldoc/index_section_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 (section)

@@ -626,7 +626,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -658,14 +658,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -690,7 +690,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -722,7 +722,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -754,7 +754,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -786,7 +786,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -818,7 +818,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -850,7 +850,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -882,14 +882,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -914,7 +914,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -946,7 +946,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -978,7 +978,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1010,14 +1010,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1042,7 +1042,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_section_H.html b/docs/htmldoc/index_section_H.html index 9a682ad..b9b3643 100644 --- a/docs/htmldoc/index_section_H.html +++ b/docs/htmldoc/index_section_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 (section)

diff --git a/docs/htmldoc/index_section_I.html b/docs/htmldoc/index_section_I.html index fb06d1e..4ffd8ce 100644 --- a/docs/htmldoc/index_section_I.html +++ b/docs/htmldoc/index_section_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 (section)

@@ -486,6 +486,7 @@ InertiaDprod [in mathcomp.character.inertia]
InertiaSdprod [in mathcomp.character.inertia]
InfinitePrimitiveElementTheorem [in mathcomp.field.separable]
+InheritedStructures [in mathcomp.ssreflect.finfun]
Injectiveb [in mathcomp.ssreflect.fintype]
InjFactm [in mathcomp.fingroup.morphism]
Injm [in mathcomp.solvable.pgroup]
@@ -512,6 +513,7 @@ InternalProd [in mathcomp.fingroup.gproduct]
InternalProd.DisjointRem [in mathcomp.fingroup.gproduct]
InternalProd.NormalComplement [in mathcomp.fingroup.gproduct]
+IntervalEq [in mathcomp.algebra.interval]
IntervalField [in mathcomp.algebra.interval]
IntervalOrdered [in mathcomp.algebra.interval]
IntervalPo [in mathcomp.algebra.interval]
@@ -573,7 +575,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -605,14 +607,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -637,7 +639,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -669,7 +671,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -701,7 +703,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -733,7 +735,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -765,7 +767,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -797,7 +799,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -829,14 +831,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -861,7 +863,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -893,7 +895,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -925,7 +927,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -957,14 +959,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -989,7 +991,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_section_J.html b/docs/htmldoc/index_section_J.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_section_J.html +++ b/docs/htmldoc/index_section_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_section_K.html b/docs/htmldoc/index_section_K.html index cc8eb39..8ec19da 100644 --- a/docs/htmldoc/index_section_K.html +++ b/docs/htmldoc/index_section_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 (section)

diff --git a/docs/htmldoc/index_section_L.html b/docs/htmldoc/index_section_L.html index 7ad89e3..7ff9214 100644 --- a/docs/htmldoc/index_section_L.html +++ b/docs/htmldoc/index_section_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,14 @@ Z _ other -(185 entries) +(189 entries)

L (section)

Lagrange [in mathcomp.fingroup.fingroup]
+LersifField [in mathcomp.algebra.interval]
+LersifOrdered [in mathcomp.algebra.interval]
+LersifPo [in mathcomp.algebra.interval]
LfunAlgebra [in mathcomp.algebra.vector]
LfunDefs [in mathcomp.algebra.vector]
LfunVectType [in mathcomp.algebra.vector]
diff --git a/docs/htmldoc/index_section_M.html b/docs/htmldoc/index_section_M.html index 49bbe68..7ad9c13 100644 --- a/docs/htmldoc/index_section_M.html +++ b/docs/htmldoc/index_section_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 (section)

@@ -547,6 +547,9 @@ ModP [in mathcomp.solvable.sylow]
ModularGroupAction [in mathcomp.solvable.sylow]
ModularRepresentation [in mathcomp.character.mxabelem]
+MonoHomoTheory [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.InDom [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.InDom.DifferentDom [in mathcomp.ssreflect.eqtype]
MonoidProperties [in mathcomp.ssreflect.bigop]
MonoidProperties.Abelian [in mathcomp.ssreflect.bigop]
MonoidProperties.Plain [in mathcomp.ssreflect.bigop]
@@ -559,6 +562,9 @@ Monoid.Theory.Theory.Plain [in mathcomp.ssreflect.bigop]
MonotonicFunctorTheory [in mathcomp.solvable.gfunctor]
MonotonicFunctorTheory.Composition [in mathcomp.solvable.gfunctor]
+Monotonicity [in mathcomp.ssreflect.path]
+Monotonicity [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat [in mathcomp.ssreflect.ssrnat]
MoreAlgCaut [in mathcomp.field.algnum]
MoreConstt [in mathcomp.character.character]
MoreCoset [in mathcomp.character.classfun]
@@ -638,7 +644,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -670,14 +676,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -702,7 +708,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -734,7 +740,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -766,7 +772,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -798,7 +804,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -830,7 +836,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -862,7 +868,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -894,14 +900,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -926,7 +932,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -958,7 +964,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -990,7 +996,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1022,14 +1028,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1054,7 +1060,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_section_N.html b/docs/htmldoc/index_section_N.html index d7a4f43..3bf73a0 100644 --- a/docs/htmldoc/index_section_N.html +++ b/docs/htmldoc/index_section_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 (section)

@@ -510,8 +510,10 @@ Num.Theory.NumIntegralDomainMonotonyTheory [in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.AcrossTypes [in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.NatToR [in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.RToNat [in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainTheory [in mathcomp.algebra.ssrnum]
Num.Theory.RealClosedFieldTheory [in mathcomp.algebra.ssrnum]
+Num.Theory.RealDomainArgExtremum [in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainMonotony [in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainOperations [in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainOperations.MinMax [in mathcomp.algebra.ssrnum]
@@ -549,7 +551,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -581,14 +583,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -613,7 +615,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -645,7 +647,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -677,7 +679,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -709,7 +711,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -741,7 +743,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -773,7 +775,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -805,14 +807,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -837,7 +839,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -869,7 +871,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -901,7 +903,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -933,14 +935,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -965,7 +967,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_section_O.html b/docs/htmldoc/index_section_O.html index c04a8fa..e07f41c 100644 --- a/docs/htmldoc/index_section_O.html +++ b/docs/htmldoc/index_section_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 (section)

diff --git a/docs/htmldoc/index_section_P.html b/docs/htmldoc/index_section_P.html index a57ebbc..ebd8783 100644 --- a/docs/htmldoc/index_section_P.html +++ b/docs/htmldoc/index_section_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 (section)

@@ -509,13 +509,13 @@ PermIn [in mathcomp.fingroup.automorphism]
PermSeq [in mathcomp.ssreflect.seq]
PermutationParity [in mathcomp.fingroup.perm]
+Permutations [in mathcomp.ssreflect.seq]
PervasiveMonoids [in mathcomp.ssreflect.bigop]
Pextraspecial.Construction [in mathcomp.solvable.extraspecial]
PgroupDefs [in mathcomp.solvable.pgroup]
PgroupProps [in mathcomp.solvable.pgroup]
PiAdditive [in mathcomp.algebra.ring_quotient]
PiRMorphism [in mathcomp.algebra.ring_quotient]
-PlainTheory [in mathcomp.ssreflect.finfun]
Pmap [in mathcomp.ssreflect.seq]
PmapSub [in mathcomp.ssreflect.seq]
PMax [in mathcomp.solvable.maximal]
@@ -598,7 +598,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -630,14 +630,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -662,7 +662,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -694,7 +694,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -726,7 +726,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -758,7 +758,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -790,7 +790,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -822,7 +822,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -854,14 +854,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -886,7 +886,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -918,7 +918,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -950,7 +950,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -982,14 +982,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1014,7 +1014,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_section_Q.html b/docs/htmldoc/index_section_Q.html index 7871f72..45dfc62 100644 --- a/docs/htmldoc/index_section_Q.html +++ b/docs/htmldoc/index_section_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 (section)

diff --git a/docs/htmldoc/index_section_R.html b/docs/htmldoc/index_section_R.html index 75f7489..76e723e 100644 --- a/docs/htmldoc/index_section_R.html +++ b/docs/htmldoc/index_section_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 (section)

@@ -488,7 +488,6 @@ RestrictedMorphism.Props [in mathcomp.fingroup.morphism]
RestrictPerm [in mathcomp.fingroup.action]
Resultant [in mathcomp.algebra.mxpoly]
-Rev [in mathcomp.ssreflect.seq]
RingQuot [in mathcomp.algebra.ring_quotient]
RingRepr [in mathcomp.character.mxrepresentation]
RingRepr.ChangeGroup [in mathcomp.character.mxrepresentation]
@@ -512,6 +511,7 @@ RingRepr.Regular.GringOp [in mathcomp.character.mxrepresentation]
RintMod [in mathcomp.algebra.ssrint]
RotCompLemmas [in mathcomp.ssreflect.seq]
+RotRcons [in mathcomp.ssreflect.seq]
RotrLemmas [in mathcomp.ssreflect.seq]
RowPoly [in mathcomp.algebra.mxpoly]
RowSpaceTheory [in mathcomp.algebra.mxalgebra]
@@ -558,7 +558,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -590,14 +590,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -622,7 +622,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -654,7 +654,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -686,7 +686,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -718,7 +718,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -750,7 +750,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -782,7 +782,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -814,14 +814,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -846,7 +846,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -878,7 +878,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -910,7 +910,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -942,14 +942,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -974,7 +974,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_section_S.html b/docs/htmldoc/index_section_S.html index 0666944..03796b2 100644 --- a/docs/htmldoc/index_section_S.html +++ b/docs/htmldoc/index_section_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 (section)

@@ -529,6 +529,7 @@ Subnormal [in mathcomp.solvable.gseries]
Subseq [in mathcomp.ssreflect.seq]
SubType [in mathcomp.ssreflect.eqtype]
+SubType.Theory [in mathcomp.ssreflect.eqtype]
SubVector [in mathcomp.algebra.vector]
SumEqType [in mathcomp.ssreflect.eqtype]
SumFinType [in mathcomp.ssreflect.fintype]
@@ -568,7 +569,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -600,14 +601,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -632,7 +633,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -664,7 +665,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -696,7 +697,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -728,7 +729,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -760,7 +761,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -792,7 +793,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -824,14 +825,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -856,7 +857,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -888,7 +889,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -920,7 +921,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -952,14 +953,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -984,7 +985,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_section_T.html b/docs/htmldoc/index_section_T.html index 346c282..83a2d18 100644 --- a/docs/htmldoc/index_section_T.html +++ b/docs/htmldoc/index_section_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 (section)

diff --git a/docs/htmldoc/index_section_U.html b/docs/htmldoc/index_section_U.html index 19f51d8..8c70437 100644 --- a/docs/htmldoc/index_section_U.html +++ b/docs/htmldoc/index_section_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 (section)

diff --git a/docs/htmldoc/index_section_V.html b/docs/htmldoc/index_section_V.html index 692b5c0..7ba77f0 100644 --- a/docs/htmldoc/index_section_V.html +++ b/docs/htmldoc/index_section_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 (section)

diff --git a/docs/htmldoc/index_section_W.html b/docs/htmldoc/index_section_W.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_section_W.html +++ b/docs/htmldoc/index_section_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_section_X.html b/docs/htmldoc/index_section_X.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_section_X.html +++ b/docs/htmldoc/index_section_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_section_Y.html b/docs/htmldoc/index_section_Y.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_section_Y.html +++ b/docs/htmldoc/index_section_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_section_Z.html b/docs/htmldoc/index_section_Z.html index 21d9c81..a17c847 100644 --- a/docs/htmldoc/index_section_Z.html +++ b/docs/htmldoc/index_section_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 (section)

diff --git a/docs/htmldoc/index_section__.html b/docs/htmldoc/index_section__.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_section__.html +++ b/docs/htmldoc/index_section__.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