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_definition_*.html | 36 +-- docs/htmldoc/index_definition_A.html | 77 +++--- docs/htmldoc/index_definition_B.html | 36 +-- docs/htmldoc/index_definition_C.html | 474 +++++++++++++++++++---------------- docs/htmldoc/index_definition_D.html | 76 +++--- docs/htmldoc/index_definition_E.html | 80 +++--- docs/htmldoc/index_definition_F.html | 353 ++++++++++++++++---------- docs/htmldoc/index_definition_G.html | 74 +++--- docs/htmldoc/index_definition_H.html | 36 +-- docs/htmldoc/index_definition_I.html | 77 +++--- docs/htmldoc/index_definition_J.html | 36 +-- docs/htmldoc/index_definition_K.html | 36 +-- docs/htmldoc/index_definition_L.html | 78 +++--- docs/htmldoc/index_definition_M.html | 71 +++--- docs/htmldoc/index_definition_N.html | 81 +++--- docs/htmldoc/index_definition_O.html | 71 +++--- docs/htmldoc/index_definition_P.html | 86 ++++--- docs/htmldoc/index_definition_Q.html | 37 ++- docs/htmldoc/index_definition_R.html | 86 +++---- docs/htmldoc/index_definition_S.html | 76 +++--- docs/htmldoc/index_definition_T.html | 79 +++--- docs/htmldoc/index_definition_U.html | 70 +++--- docs/htmldoc/index_definition_V.html | 36 +-- docs/htmldoc/index_definition_W.html | 37 +-- docs/htmldoc/index_definition_X.html | 36 +-- docs/htmldoc/index_definition_Y.html | 36 +-- docs/htmldoc/index_definition_Z.html | 36 +-- docs/htmldoc/index_definition__.html | 36 +-- 28 files changed, 1239 insertions(+), 1104 deletions(-) (limited to 'docs/htmldoc/index_definition_*.html') diff --git a/docs/htmldoc/index_definition_*.html b/docs/htmldoc/index_definition_*.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_definition_*.html +++ b/docs/htmldoc/index_definition_*.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_definition_A.html b/docs/htmldoc/index_definition_A.html index 63856e5..e503a78 100644 --- a/docs/htmldoc/index_definition_A.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -475,7 +475,6 @@ abelian [in mathcomp.fingroup.fingroup]
abelian_type [in mathcomp.solvable.abelian]
abelian_type_rec [in mathcomp.solvable.abelian]
-abstrX [in mathcomp.field.closed_field]
absz [in mathcomp.algebra.ssrint]
acomps [in mathcomp.solvable.jordanholder]
actby [in mathcomp.fingroup.action]
@@ -500,8 +499,6 @@ addv_pi2 [in mathcomp.algebra.vector]
addv_pi1 [in mathcomp.algebra.vector]
add_pair [in mathcomp.algebra.ssralg]
-add_totient_factor [in mathcomp.ssreflect.prime]
-add_divisors [in mathcomp.ssreflect.prime]
add_lfun [in mathcomp.algebra.vector]
add_poly [in mathcomp.algebra.poly]
add_poly_def [in mathcomp.algebra.poly]
@@ -571,11 +568,13 @@ algid [in mathcomp.field.falgebra]
all [in mathcomp.ssreflect.seq]
allpairs [in mathcomp.ssreflect.seq]
+allpairs_dep [in mathcomp.ssreflect.seq]
+all_iff [in mathcomp.ssreflect.seq]
+all2 [in mathcomp.ssreflect.seq]
Alt [in mathcomp.solvable.alt]
amove [in mathcomp.fingroup.action]
amull [in mathcomp.field.falgebra]
amulr [in mathcomp.field.falgebra]
-amulXnT [in mathcomp.field.closed_field]
annihilator_mx [in mathcomp.character.mxrepresentation]
aperm [in mathcomp.fingroup.perm]
applybig [in mathcomp.ssreflect.bigop]
@@ -629,7 +628,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -661,14 +660,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -693,7 +692,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -725,7 +724,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -757,7 +756,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -789,7 +788,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -821,7 +820,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -853,7 +852,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -885,14 +884,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -917,7 +916,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -949,7 +948,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -981,7 +980,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1013,14 +1012,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1045,7 +1044,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_B.html b/docs/htmldoc/index_definition_B.html index deb0632..b7652af 100644 --- a/docs/htmldoc/index_definition_B.html +++ b/docs/htmldoc/index_definition_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 (definition)

diff --git a/docs/htmldoc/index_definition_C.html b/docs/htmldoc/index_definition_C.html index 711abda..ff6927f 100644 --- a/docs/htmldoc/index_definition_C.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -477,7 +477,6 @@ capv [in mathcomp.algebra.vector]
CardDef.card [in mathcomp.ssreflect.fintype]
CardDef.cardEdef [in mathcomp.ssreflect.fintype]
-cardG_gt0_reduced [in mathcomp.fingroup.fingroup]
castmx [in mathcomp.algebra.matrix]
cast_ord [in mathcomp.ssreflect.fintype]
cat [in mathcomp.ssreflect.seq]
@@ -582,7 +581,41 @@ clone_morphism [in mathcomp.fingroup.morphism]
clone_group [in mathcomp.fingroup.fingroup]
clone_aspace [in mathcomp.field.falgebra]
-closed_fields_QEMixin [in mathcomp.field.closed_field]
+ClosedFieldQE.abstrX [in mathcomp.field.closed_field]
+ClosedFieldQE.amulXnT [in mathcomp.field.closed_field]
+ClosedFieldQE.bind [in mathcomp.field.closed_field]
+ClosedFieldQE.cpsif [in mathcomp.field.closed_field]
+ClosedFieldQE.eval_poly [in mathcomp.field.closed_field]
+ClosedFieldQE.ex_elim [in mathcomp.field.closed_field]
+ClosedFieldQE.ex_elim_seq [in mathcomp.field.closed_field]
+ClosedFieldQE.isnull [in mathcomp.field.closed_field]
+ClosedFieldQE.lead_coefT [in mathcomp.field.closed_field]
+ClosedFieldQE.lift [in mathcomp.field.closed_field]
+ClosedFieldQE.lt_sizeT [in mathcomp.field.closed_field]
+ClosedFieldQE.Mixin [in mathcomp.field.closed_field]
+ClosedFieldQE.mulpT [in mathcomp.field.closed_field]
+ClosedFieldQE.natmulpT [in mathcomp.field.closed_field]
+ClosedFieldQE.opppT [in mathcomp.field.closed_field]
+ClosedFieldQE.polyF [in mathcomp.field.closed_field]
+ClosedFieldQE.qf_cps [in mathcomp.field.closed_field]
+ClosedFieldQE.qf_red_cps [in mathcomp.field.closed_field]
+ClosedFieldQE.rdivpT [in mathcomp.field.closed_field]
+ClosedFieldQE.rdvdpT [in mathcomp.field.closed_field]
+ClosedFieldQE.redivpT [in mathcomp.field.closed_field]
+ClosedFieldQE.redivp_rec_loop [in mathcomp.field.closed_field]
+ClosedFieldQE.redivp_rec_loopT [in mathcomp.field.closed_field]
+ClosedFieldQE.ret [in mathcomp.field.closed_field]
+ClosedFieldQE.rgcdpT [in mathcomp.field.closed_field]
+ClosedFieldQE.rgcdpTs [in mathcomp.field.closed_field]
+ClosedFieldQE.rgcdp_loopT [in mathcomp.field.closed_field]
+ClosedFieldQE.rgcdp_loop [in mathcomp.field.closed_field]
+ClosedFieldQE.rgdcopT [in mathcomp.field.closed_field]
+ClosedFieldQE.rgdcop_recT [in mathcomp.field.closed_field]
+ClosedFieldQE.rmodpT [in mathcomp.field.closed_field]
+ClosedFieldQE.rpoly [in mathcomp.field.closed_field]
+ClosedFieldQE.rscalpT [in mathcomp.field.closed_field]
+ClosedFieldQE.sizeT [in mathcomp.field.closed_field]
+ClosedFieldQE.sumpT [in mathcomp.field.closed_field]
closed_mem [in mathcomp.ssreflect.fingraph]
closure_mem [in mathcomp.ssreflect.fingraph]
CodeSeq.code [in mathcomp.ssreflect.choice]
@@ -617,8 +650,9 @@ commute [in mathcomp.fingroup.fingroup]
comm_poly [in mathcomp.algebra.poly]
comm_coef [in mathcomp.algebra.poly]
+companionmx [in mathcomp.algebra.mxpoly]
comparable [in mathcomp.ssreflect.eqtype]
-comparableClass [in mathcomp.ssreflect.eqtype]
+comparableMixin [in mathcomp.ssreflect.eqtype]
compareb [in mathcomp.ssreflect.eqtype]
complements_to_in [in mathcomp.fingroup.gproduct]
complmx [in mathcomp.algebra.mxalgebra]
@@ -647,7 +681,7 @@ constant [in mathcomp.ssreflect.seq]
constt [in mathcomp.solvable.pgroup]
const_mx [in mathcomp.algebra.matrix]
-cons_pfactor [in mathcomp.ssreflect.prime]
+cons_perms_ [in mathcomp.ssreflect.seq]
cons_poly [in mathcomp.algebra.poly]
coord [in mathcomp.algebra.vector]
coord_expanded_def [in mathcomp.algebra.vector]
@@ -673,187 +707,187 @@ Countable.EqMixin [in mathcomp.ssreflect.choice]
Countable.eqType [in mathcomp.ssreflect.choice]
Countable.pack [in mathcomp.ssreflect.choice]
-CountRing.ClosedField.base2 [in mathcomp.field.countalg]
-CountRing.ClosedField.choiceType [in mathcomp.field.countalg]
-CountRing.ClosedField.class [in mathcomp.field.countalg]
-CountRing.ClosedField.closedFieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.comRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.comUnitRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.countComRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.countComUnitRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.countDecFieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.countFieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.countIdomainType [in mathcomp.field.countalg]
-CountRing.ClosedField.countRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.countType [in mathcomp.field.countalg]
-CountRing.ClosedField.countUnitRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.countZmodType [in mathcomp.field.countalg]
-CountRing.ClosedField.decFieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.eqType [in mathcomp.field.countalg]
-CountRing.ClosedField.fieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.idomainType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countDecFieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countFieldType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countIdomainType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countComUnitRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countComRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countUnitRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countZmodType [in mathcomp.field.countalg]
-CountRing.ClosedField.join_countType [in mathcomp.field.countalg]
-CountRing.ClosedField.pack [in mathcomp.field.countalg]
-CountRing.ClosedField.ringType [in mathcomp.field.countalg]
-CountRing.ClosedField.unitRingType [in mathcomp.field.countalg]
-CountRing.ClosedField.zmodType [in mathcomp.field.countalg]
-CountRing.ComRing.base2 [in mathcomp.field.countalg]
-CountRing.ComRing.choiceType [in mathcomp.field.countalg]
-CountRing.ComRing.class [in mathcomp.field.countalg]
-CountRing.ComRing.comRingType [in mathcomp.field.countalg]
-CountRing.ComRing.countRingType [in mathcomp.field.countalg]
-CountRing.ComRing.countType [in mathcomp.field.countalg]
-CountRing.ComRing.countZmodType [in mathcomp.field.countalg]
-CountRing.ComRing.eqType [in mathcomp.field.countalg]
-CountRing.ComRing.join_countRingType [in mathcomp.field.countalg]
-CountRing.ComRing.join_countZmodType [in mathcomp.field.countalg]
-CountRing.ComRing.join_countType [in mathcomp.field.countalg]
-CountRing.ComRing.pack [in mathcomp.field.countalg]
-CountRing.ComRing.ringType [in mathcomp.field.countalg]
-CountRing.ComRing.zmodType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.base2 [in mathcomp.field.countalg]
-CountRing.ComUnitRing.base3 [in mathcomp.field.countalg]
-CountRing.ComUnitRing.ccjoin_countUnitRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.choiceType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.cjoin_countUnitRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.class [in mathcomp.field.countalg]
-CountRing.ComUnitRing.comRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.comUnitRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.countComRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.countRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.countType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.countUnitRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.countZmodType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.eqType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.join_countUnitRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.join_countComRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.join_countRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.join_countZmodType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.join_countType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.pack [in mathcomp.field.countalg]
-CountRing.ComUnitRing.ringType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.ujoin_countComRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.unitRingType [in mathcomp.field.countalg]
-CountRing.ComUnitRing.zmodType [in mathcomp.field.countalg]
-CountRing.DecidableField.base2 [in mathcomp.field.countalg]
-CountRing.DecidableField.choiceType [in mathcomp.field.countalg]
-CountRing.DecidableField.class [in mathcomp.field.countalg]
-CountRing.DecidableField.comRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.comUnitRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.countComRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.countComUnitRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.countFieldType [in mathcomp.field.countalg]
-CountRing.DecidableField.countIdomainType [in mathcomp.field.countalg]
-CountRing.DecidableField.countRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.countType [in mathcomp.field.countalg]
-CountRing.DecidableField.countUnitRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.countZmodType [in mathcomp.field.countalg]
-CountRing.DecidableField.decFieldType [in mathcomp.field.countalg]
-CountRing.DecidableField.eqType [in mathcomp.field.countalg]
-CountRing.DecidableField.fieldType [in mathcomp.field.countalg]
-CountRing.DecidableField.idomainType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countFieldType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countIdomainType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countComUnitRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countComRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countUnitRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countZmodType [in mathcomp.field.countalg]
-CountRing.DecidableField.join_countType [in mathcomp.field.countalg]
-CountRing.DecidableField.pack [in mathcomp.field.countalg]
-CountRing.DecidableField.ringType [in mathcomp.field.countalg]
-CountRing.DecidableField.unitRingType [in mathcomp.field.countalg]
-CountRing.DecidableField.zmodType [in mathcomp.field.countalg]
-CountRing.Field.base2 [in mathcomp.field.countalg]
-CountRing.Field.choiceType [in mathcomp.field.countalg]
-CountRing.Field.class [in mathcomp.field.countalg]
-CountRing.Field.comRingType [in mathcomp.field.countalg]
-CountRing.Field.comUnitRingType [in mathcomp.field.countalg]
-CountRing.Field.countComRingType [in mathcomp.field.countalg]
-CountRing.Field.countComUnitRingType [in mathcomp.field.countalg]
-CountRing.Field.countIdomainType [in mathcomp.field.countalg]
-CountRing.Field.countRingType [in mathcomp.field.countalg]
-CountRing.Field.countType [in mathcomp.field.countalg]
-CountRing.Field.countUnitRingType [in mathcomp.field.countalg]
-CountRing.Field.countZmodType [in mathcomp.field.countalg]
-CountRing.Field.eqType [in mathcomp.field.countalg]
-CountRing.Field.fieldType [in mathcomp.field.countalg]
-CountRing.Field.idomainType [in mathcomp.field.countalg]
-CountRing.Field.join_countIdomainType [in mathcomp.field.countalg]
-CountRing.Field.join_countComUnitRingType [in mathcomp.field.countalg]
-CountRing.Field.join_countComRingType [in mathcomp.field.countalg]
-CountRing.Field.join_countUnitRingType [in mathcomp.field.countalg]
-CountRing.Field.join_countRingType [in mathcomp.field.countalg]
-CountRing.Field.join_countZmodType [in mathcomp.field.countalg]
-CountRing.Field.join_countType [in mathcomp.field.countalg]
-CountRing.Field.pack [in mathcomp.field.countalg]
-CountRing.Field.ringType [in mathcomp.field.countalg]
-CountRing.Field.unitRingType [in mathcomp.field.countalg]
-CountRing.Field.zmodType [in mathcomp.field.countalg]
-CountRing.gen_pack [in mathcomp.field.countalg]
-CountRing.IntegralDomain.base2 [in mathcomp.field.countalg]
-CountRing.IntegralDomain.choiceType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.class [in mathcomp.field.countalg]
-CountRing.IntegralDomain.comRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.comUnitRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.countComRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.countComUnitRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.countRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.countType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.countUnitRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.countZmodType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.eqType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.idomainType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.join_countComUnitRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.join_countComRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.join_countUnitRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.join_countRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.join_countZmodType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.join_countType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.pack [in mathcomp.field.countalg]
-CountRing.IntegralDomain.ringType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.unitRingType [in mathcomp.field.countalg]
-CountRing.IntegralDomain.zmodType [in mathcomp.field.countalg]
-CountRing.Ring.base2 [in mathcomp.field.countalg]
-CountRing.Ring.choiceType [in mathcomp.field.countalg]
-CountRing.Ring.class [in mathcomp.field.countalg]
-CountRing.Ring.countType [in mathcomp.field.countalg]
-CountRing.Ring.countZmodType [in mathcomp.field.countalg]
-CountRing.Ring.eqType [in mathcomp.field.countalg]
-CountRing.Ring.join_countZmodType [in mathcomp.field.countalg]
-CountRing.Ring.join_countType [in mathcomp.field.countalg]
-CountRing.Ring.pack [in mathcomp.field.countalg]
-CountRing.Ring.ringType [in mathcomp.field.countalg]
-CountRing.Ring.zmodType [in mathcomp.field.countalg]
-CountRing.UnitRing.base2 [in mathcomp.field.countalg]
-CountRing.UnitRing.choiceType [in mathcomp.field.countalg]
-CountRing.UnitRing.class [in mathcomp.field.countalg]
-CountRing.UnitRing.countRingType [in mathcomp.field.countalg]
-CountRing.UnitRing.countType [in mathcomp.field.countalg]
-CountRing.UnitRing.countZmodType [in mathcomp.field.countalg]
-CountRing.UnitRing.eqType [in mathcomp.field.countalg]
-CountRing.UnitRing.join_countRingType [in mathcomp.field.countalg]
-CountRing.UnitRing.join_countZmodType [in mathcomp.field.countalg]
-CountRing.UnitRing.join_countType [in mathcomp.field.countalg]
-CountRing.UnitRing.pack [in mathcomp.field.countalg]
-CountRing.UnitRing.ringType [in mathcomp.field.countalg]
-CountRing.UnitRing.unitRingType [in mathcomp.field.countalg]
-CountRing.UnitRing.zmodType [in mathcomp.field.countalg]
-CountRing.Zmodule.choiceType [in mathcomp.field.countalg]
-CountRing.Zmodule.class [in mathcomp.field.countalg]
-CountRing.Zmodule.countType [in mathcomp.field.countalg]
-CountRing.Zmodule.eqType [in mathcomp.field.countalg]
-CountRing.Zmodule.join_countType [in mathcomp.field.countalg]
-CountRing.Zmodule.pack [in mathcomp.field.countalg]
-CountRing.Zmodule.zmodType [in mathcomp.field.countalg]
+CountRing.ClosedField.base2 [in mathcomp.algebra.countalg]
+CountRing.ClosedField.choiceType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.class [in mathcomp.algebra.countalg]
+CountRing.ClosedField.closedFieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.comRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.comUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countComRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countDecFieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countFieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countIdomainType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.countZmodType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.decFieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.eqType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.fieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.idomainType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countDecFieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countFieldType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countIdomainType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countComRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.join_countType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.pack [in mathcomp.algebra.countalg]
+CountRing.ClosedField.ringType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.unitRingType [in mathcomp.algebra.countalg]
+CountRing.ClosedField.zmodType [in mathcomp.algebra.countalg]
+CountRing.ComRing.base2 [in mathcomp.algebra.countalg]
+CountRing.ComRing.choiceType [in mathcomp.algebra.countalg]
+CountRing.ComRing.class [in mathcomp.algebra.countalg]
+CountRing.ComRing.comRingType [in mathcomp.algebra.countalg]
+CountRing.ComRing.countRingType [in mathcomp.algebra.countalg]
+CountRing.ComRing.countType [in mathcomp.algebra.countalg]
+CountRing.ComRing.countZmodType [in mathcomp.algebra.countalg]
+CountRing.ComRing.eqType [in mathcomp.algebra.countalg]
+CountRing.ComRing.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.ComRing.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.ComRing.join_countType [in mathcomp.algebra.countalg]
+CountRing.ComRing.pack [in mathcomp.algebra.countalg]
+CountRing.ComRing.ringType [in mathcomp.algebra.countalg]
+CountRing.ComRing.zmodType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.base2 [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.base3 [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.ccjoin_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.choiceType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.cjoin_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.class [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.comRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.comUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.countComRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.countRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.countType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.countZmodType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.eqType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.join_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.join_countComRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.join_countType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.pack [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.ringType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.ujoin_countComRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.unitRingType [in mathcomp.algebra.countalg]
+CountRing.ComUnitRing.zmodType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.base2 [in mathcomp.algebra.countalg]
+CountRing.DecidableField.choiceType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.class [in mathcomp.algebra.countalg]
+CountRing.DecidableField.comRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.comUnitRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countComRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countFieldType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countIdomainType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.countZmodType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.decFieldType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.eqType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.fieldType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.idomainType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countFieldType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countIdomainType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countComRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.join_countType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.pack [in mathcomp.algebra.countalg]
+CountRing.DecidableField.ringType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.unitRingType [in mathcomp.algebra.countalg]
+CountRing.DecidableField.zmodType [in mathcomp.algebra.countalg]
+CountRing.Field.base2 [in mathcomp.algebra.countalg]
+CountRing.Field.choiceType [in mathcomp.algebra.countalg]
+CountRing.Field.class [in mathcomp.algebra.countalg]
+CountRing.Field.comRingType [in mathcomp.algebra.countalg]
+CountRing.Field.comUnitRingType [in mathcomp.algebra.countalg]
+CountRing.Field.countComRingType [in mathcomp.algebra.countalg]
+CountRing.Field.countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.Field.countIdomainType [in mathcomp.algebra.countalg]
+CountRing.Field.countRingType [in mathcomp.algebra.countalg]
+CountRing.Field.countType [in mathcomp.algebra.countalg]
+CountRing.Field.countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.Field.countZmodType [in mathcomp.algebra.countalg]
+CountRing.Field.eqType [in mathcomp.algebra.countalg]
+CountRing.Field.fieldType [in mathcomp.algebra.countalg]
+CountRing.Field.idomainType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countIdomainType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countComRingType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.Field.join_countType [in mathcomp.algebra.countalg]
+CountRing.Field.pack [in mathcomp.algebra.countalg]
+CountRing.Field.ringType [in mathcomp.algebra.countalg]
+CountRing.Field.unitRingType [in mathcomp.algebra.countalg]
+CountRing.Field.zmodType [in mathcomp.algebra.countalg]
+CountRing.gen_pack [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.base2 [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.choiceType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.class [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.comRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.comUnitRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.countComRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.countRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.countType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.countZmodType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.eqType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.idomainType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.join_countComUnitRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.join_countComRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.join_countUnitRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.join_countType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.pack [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.ringType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.unitRingType [in mathcomp.algebra.countalg]
+CountRing.IntegralDomain.zmodType [in mathcomp.algebra.countalg]
+CountRing.Ring.base2 [in mathcomp.algebra.countalg]
+CountRing.Ring.choiceType [in mathcomp.algebra.countalg]
+CountRing.Ring.class [in mathcomp.algebra.countalg]
+CountRing.Ring.countType [in mathcomp.algebra.countalg]
+CountRing.Ring.countZmodType [in mathcomp.algebra.countalg]
+CountRing.Ring.eqType [in mathcomp.algebra.countalg]
+CountRing.Ring.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.Ring.join_countType [in mathcomp.algebra.countalg]
+CountRing.Ring.pack [in mathcomp.algebra.countalg]
+CountRing.Ring.ringType [in mathcomp.algebra.countalg]
+CountRing.Ring.zmodType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.base2 [in mathcomp.algebra.countalg]
+CountRing.UnitRing.choiceType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.class [in mathcomp.algebra.countalg]
+CountRing.UnitRing.countRingType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.countType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.countZmodType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.eqType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.join_countRingType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.join_countZmodType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.join_countType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.pack [in mathcomp.algebra.countalg]
+CountRing.UnitRing.ringType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.unitRingType [in mathcomp.algebra.countalg]
+CountRing.UnitRing.zmodType [in mathcomp.algebra.countalg]
+CountRing.Zmodule.choiceType [in mathcomp.algebra.countalg]
+CountRing.Zmodule.class [in mathcomp.algebra.countalg]
+CountRing.Zmodule.countType [in mathcomp.algebra.countalg]
+CountRing.Zmodule.eqType [in mathcomp.algebra.countalg]
+CountRing.Zmodule.join_countType [in mathcomp.algebra.countalg]
+CountRing.Zmodule.pack [in mathcomp.algebra.countalg]
+CountRing.Zmodule.zmodType [in mathcomp.algebra.countalg]
cover [in mathcomp.ssreflect.finset]
cpairg1 [in mathcomp.solvable.center]
cpair1g [in mathcomp.solvable.center]
@@ -907,7 +941,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -939,14 +973,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -971,7 +1005,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -1003,7 +1037,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -1035,7 +1069,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -1067,7 +1101,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1099,7 +1133,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1131,7 +1165,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1163,14 +1197,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1195,7 +1229,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1227,7 +1261,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1259,7 +1293,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1291,14 +1325,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1323,7 +1357,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_D.html b/docs/htmldoc/index_definition_D.html index a4d4cb8..f9fccff 100644 --- a/docs/htmldoc/index_definition_D.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -476,6 +476,11 @@ delta_mx [in mathcomp.algebra.matrix]
denq [in mathcomp.algebra.rat]
denq_ge0 [in mathcomp.algebra.rat]
+Deprecation.exposed [in mathcomp.ssreflect.ssreflect]
+Deprecation.hidden [in mathcomp.ssreflect.ssreflect]
+Deprecation.hide [in mathcomp.ssreflect.ssreflect]
+Deprecation.reject_hint [in mathcomp.ssreflect.ssreflect]
+Deprecation.silent_hint [in mathcomp.ssreflect.ssreflect]
deriv [in mathcomp.algebra.poly]
Derivation [in mathcomp.field.separable]
derivCE [in mathcomp.algebra.poly]
@@ -486,6 +491,7 @@ determinant [in mathcomp.algebra.matrix]
detRepr [in mathcomp.character.character]
det_repr_mx [in mathcomp.character.character]
+dfinfun_of [in mathcomp.ssreflect.finfun]
dfs [in mathcomp.ssreflect.fingraph]
diag_mx [in mathcomp.algebra.matrix]
diffmx [in mathcomp.algebra.mxalgebra]
@@ -560,7 +566,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -592,14 +598,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -624,7 +630,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -656,7 +662,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -688,7 +694,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -720,7 +726,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -752,7 +758,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -784,7 +790,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -816,14 +822,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -848,7 +854,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -880,7 +886,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -912,7 +918,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -944,14 +950,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -976,7 +982,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_E.html b/docs/htmldoc/index_definition_E.html index e224efd..29dfa39 100644 --- a/docs/htmldoc/index_definition_E.html +++ b/docs/htmldoc/index_definition_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,20 +463,18 @@ Z _ other -(185 entries) +(189 entries)

E (definition)

ecubes [in mathcomp.solvable.burnside_app]
edivn [in mathcomp.ssreflect.div]
edivn_rec [in mathcomp.ssreflect.div]
-edivn2 [in mathcomp.ssreflect.prime]
egcdn [in mathcomp.ssreflect.div]
egcdn_rec [in mathcomp.ssreflect.div]
egcdz [in mathcomp.algebra.intdiv]
eigenspace [in mathcomp.algebra.mxalgebra]
eigenvalue [in mathcomp.algebra.mxalgebra]
-elogn2 [in mathcomp.ssreflect.prime]
eltm [in mathcomp.solvable.cyclic]
encModEquivP [in mathcomp.ssreflect.generic_quotient]
encModRelClass [in mathcomp.ssreflect.generic_quotient]
@@ -494,16 +492,15 @@ eqb [in mathcomp.ssreflect.eqtype]
eqC_nat [in mathcomp.field.algC]
eqg_repr [in mathcomp.character.mxrepresentation]
+eqitv [in mathcomp.algebra.interval]
eqmx [in mathcomp.algebra.mxalgebra]
eqn [in mathcomp.ssreflect.ssrnat]
EqQuotType_clone [in mathcomp.ssreflect.generic_quotient]
EqQuotType_pack [in mathcomp.ssreflect.generic_quotient]
eqseq [in mathcomp.ssreflect.seq]
-eqseq_class [in mathcomp.ssreflect.seq]
Equality.axiom [in mathcomp.ssreflect.eqtype]
Equality.class [in mathcomp.ssreflect.eqtype]
Equality.clone [in mathcomp.ssreflect.eqtype]
-Equality.pack [in mathcomp.ssreflect.eqtype]
equivalence_partition [in mathcomp.ssreflect.finset]
EquivQuot.canon [in mathcomp.ssreflect.generic_quotient]
EquivQuot.choiceMixin [in mathcomp.ssreflect.generic_quotient]
@@ -515,9 +512,9 @@ equiv_class [in mathcomp.ssreflect.generic_quotient]
eq_quot_class [in mathcomp.ssreflect.generic_quotient]
eq_quot_mixin_of [in mathcomp.ssreflect.generic_quotient]
+eq_itv_bound [in mathcomp.algebra.interval]
eq_comparable [in mathcomp.ssreflect.eqtype]
eq_op [in mathcomp.ssreflect.eqtype]
-eval_poly [in mathcomp.field.closed_field]
expgn [in mathcomp.fingroup.fingroup]
expgn_rec [in mathcomp.fingroup.fingroup]
expg_invn [in mathcomp.solvable.cyclic]
@@ -547,10 +544,9 @@ Extremal.gact [in mathcomp.solvable.extremal]
Extremal.gtype [in mathcomp.solvable.extremal]
extremal2 [in mathcomp.solvable.extremal]
+extremum [in mathcomp.ssreflect.fintype]
ex_maxn [in mathcomp.ssreflect.ssrnat]
ex_minn [in mathcomp.ssreflect.ssrnat]
-ex_elim [in mathcomp.field.closed_field]
-ex_elim_seq [in mathcomp.field.closed_field]


@@ -582,7 +578,7 @@ - + @@ -614,14 +610,14 @@ - + - + @@ -646,7 +642,7 @@ - + @@ -678,7 +674,7 @@ - + @@ -710,7 +706,7 @@ - + @@ -742,7 +738,7 @@ - + @@ -774,7 +770,7 @@ - + @@ -806,7 +802,7 @@ - + @@ -838,14 +834,14 @@ - + - + @@ -870,7 +866,7 @@ - + @@ -902,7 +898,7 @@ - + @@ -934,7 +930,7 @@ - + @@ -966,14 +962,14 @@ - + - + @@ -998,7 +994,7 @@ - +
Global IndexZ _ 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_definition_F.html b/docs/htmldoc/index_definition_F.html index 179caa4..3c940c8 100644 --- a/docs/htmldoc/index_definition_F.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -570,11 +570,9 @@ FinDomainFieldType [in mathcomp.field.finfield]
FinDomainSplittingFieldType [in mathcomp.field.finfield]
finField_unit [in mathcomp.field.finfield]
-finfun_finMixin [in mathcomp.ssreflect.finfun]
-finfun_countMixin [in mathcomp.ssreflect.finfun]
-finfun_choiceMixin [in mathcomp.ssreflect.finfun]
-finfun_eqMixin [in mathcomp.ssreflect.finfun]
-finfun_of [in mathcomp.ssreflect.finfun]
+Finfun [in mathcomp.ssreflect.finfun]
+FinfunDef.finfun [in mathcomp.ssreflect.finfun]
+finfun_rec [in mathcomp.ssreflect.finfun]
finfun_of_set [in mathcomp.ssreflect.finset]
FinGroup.arg_finType [in mathcomp.fingroup.fingroup]
FinGroup.arg_countType [in mathcomp.fingroup.fingroup]
@@ -618,12 +616,25 @@ Finite.eqType [in mathcomp.ssreflect.fintype]
Finite.pack [in mathcomp.ssreflect.fintype]
Finite.UniqMixin [in mathcomp.ssreflect.fintype]
+finMixin [in mathcomp.ssreflect.finfun]
FinRing.Algebra.algType [in mathcomp.algebra.finalg]
+FinRing.Algebra.alg_finLalgType [in mathcomp.algebra.finalg]
+FinRing.Algebra.alg_finLmodType [in mathcomp.algebra.finalg]
+FinRing.Algebra.alg_finRingType [in mathcomp.algebra.finalg]
+FinRing.Algebra.alg_countRingType [in mathcomp.algebra.finalg]
+FinRing.Algebra.alg_finZmodType [in mathcomp.algebra.finalg]
+FinRing.Algebra.alg_countZmodType [in mathcomp.algebra.finalg]
+FinRing.Algebra.alg_finGroupType [in mathcomp.algebra.finalg]
+FinRing.Algebra.alg_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.Algebra.alg_finType [in mathcomp.algebra.finalg]
+FinRing.Algebra.alg_countType [in mathcomp.algebra.finalg]
FinRing.Algebra.baseFinGroupType [in mathcomp.algebra.finalg]
FinRing.Algebra.base2 [in mathcomp.algebra.finalg]
FinRing.Algebra.choiceType [in mathcomp.algebra.finalg]
FinRing.Algebra.class [in mathcomp.algebra.finalg]
+FinRing.Algebra.countRingType [in mathcomp.algebra.finalg]
FinRing.Algebra.countType [in mathcomp.algebra.finalg]
+FinRing.Algebra.countZmodType [in mathcomp.algebra.finalg]
FinRing.Algebra.eqType [in mathcomp.algebra.finalg]
FinRing.Algebra.finGroupType [in mathcomp.algebra.finalg]
FinRing.Algebra.finLalgType [in mathcomp.algebra.finalg]
@@ -631,65 +642,77 @@ FinRing.Algebra.finRingType [in mathcomp.algebra.finalg]
FinRing.Algebra.finType [in mathcomp.algebra.finalg]
FinRing.Algebra.finZmodType [in mathcomp.algebra.finalg]
-FinRing.Algebra.join_finGroupType [in mathcomp.algebra.finalg]
-FinRing.Algebra.join_baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.Algebra.join_finLalgType [in mathcomp.algebra.finalg]
-FinRing.Algebra.join_finLmodType [in mathcomp.algebra.finalg]
-FinRing.Algebra.join_finRingType [in mathcomp.algebra.finalg]
-FinRing.Algebra.join_finZmodType [in mathcomp.algebra.finalg]
-FinRing.Algebra.join_finType [in mathcomp.algebra.finalg]
FinRing.Algebra.lalgType [in mathcomp.algebra.finalg]
FinRing.Algebra.lmodType [in mathcomp.algebra.finalg]
FinRing.Algebra.pack [in mathcomp.algebra.finalg]
FinRing.Algebra.ringType [in mathcomp.algebra.finalg]
FinRing.Algebra.zmodType [in mathcomp.algebra.finalg]
FinRing.ComRing.baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.ComRing.base2 [in mathcomp.algebra.finalg]
FinRing.ComRing.choiceType [in mathcomp.algebra.finalg]
FinRing.ComRing.class [in mathcomp.algebra.finalg]
FinRing.ComRing.comRingType [in mathcomp.algebra.finalg]
+FinRing.ComRing.comRing_finRingType [in mathcomp.algebra.finalg]
+FinRing.ComRing.comRing_finZmodType [in mathcomp.algebra.finalg]
+FinRing.ComRing.comRing_finGroupType [in mathcomp.algebra.finalg]
+FinRing.ComRing.comRing_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.ComRing.comRing_finType [in mathcomp.algebra.finalg]
+FinRing.ComRing.countComRingType [in mathcomp.algebra.finalg]
+FinRing.ComRing.countComRing_finRingType [in mathcomp.algebra.finalg]
+FinRing.ComRing.countComRing_finZmodType [in mathcomp.algebra.finalg]
+FinRing.ComRing.countComRing_finGroupType [in mathcomp.algebra.finalg]
+FinRing.ComRing.countComRing_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.ComRing.countComRing_finType [in mathcomp.algebra.finalg]
+FinRing.ComRing.countRingType [in mathcomp.algebra.finalg]
FinRing.ComRing.countType [in mathcomp.algebra.finalg]
+FinRing.ComRing.countZmodType [in mathcomp.algebra.finalg]
FinRing.ComRing.eqType [in mathcomp.algebra.finalg]
FinRing.ComRing.finGroupType [in mathcomp.algebra.finalg]
FinRing.ComRing.finRingType [in mathcomp.algebra.finalg]
FinRing.ComRing.finType [in mathcomp.algebra.finalg]
FinRing.ComRing.finZmodType [in mathcomp.algebra.finalg]
-FinRing.ComRing.join_finGroupType [in mathcomp.algebra.finalg]
-FinRing.ComRing.join_baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.ComRing.join_finRingType [in mathcomp.algebra.finalg]
-FinRing.ComRing.join_finZmodType [in mathcomp.algebra.finalg]
-FinRing.ComRing.join_finType [in mathcomp.algebra.finalg]
FinRing.ComRing.pack [in mathcomp.algebra.finalg]
FinRing.ComRing.ringType [in mathcomp.algebra.finalg]
FinRing.ComRing.zmodType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.ComUnitRing.base2 [in mathcomp.algebra.finalg]
-FinRing.ComUnitRing.base3 [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.choiceType [in mathcomp.algebra.finalg]
-FinRing.ComUnitRing.cjoin_finUnitRingType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.class [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.comRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.comRing_finUnitRingType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.comUnitRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.comUnitRing_finUnitRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.comUnitRing_finComRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.comUnitRing_finRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.comUnitRing_finZmodType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.comUnitRing_finGroupType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.comUnitRing_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.comUnitRing_finType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countComRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countComRing_finUnitRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countComUnitRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countComUnitRing_finUnitRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countComUnitRing_finComRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countComUnitRing_finRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countComUnitRing_finZmodType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countComUnitRing_finGroupType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countComUnitRing_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countComUnitRing_finType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countRingType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.countType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countUnitRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countUnitRing_finComRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.countZmodType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.eqType [in mathcomp.algebra.finalg]
-FinRing.ComUnitRing.fcjoin_finUnitRingType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.finComRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.finComRing_finUnitRingType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.finGroupType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.finRingType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.finType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.finUnitRingType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.finZmodType [in mathcomp.algebra.finalg]
-FinRing.ComUnitRing.join_finGroupType [in mathcomp.algebra.finalg]
-FinRing.ComUnitRing.join_baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.ComUnitRing.join_finUnitRingType [in mathcomp.algebra.finalg]
-FinRing.ComUnitRing.join_finComRingType [in mathcomp.algebra.finalg]
-FinRing.ComUnitRing.join_finRingType [in mathcomp.algebra.finalg]
-FinRing.ComUnitRing.join_finZmodType [in mathcomp.algebra.finalg]
-FinRing.ComUnitRing.join_finType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.pack [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.ringType [in mathcomp.algebra.finalg]
-FinRing.ComUnitRing.ujoin_finComRingType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.unitRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.unitRing_finComRingType [in mathcomp.algebra.finalg]
FinRing.ComUnitRing.zmodType [in mathcomp.algebra.finalg]
FinRing.DecField.baseFinGroupType [in mathcomp.algebra.finalg]
FinRing.DecField.finComRingType [in mathcomp.algebra.finalg]
@@ -703,14 +726,38 @@ FinRing.DecField.type [in mathcomp.algebra.finalg]
FinRing.DecidableFieldMixin [in mathcomp.algebra.finalg]
FinRing.Field.baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.Field.base2 [in mathcomp.algebra.finalg]
FinRing.Field.choiceType [in mathcomp.algebra.finalg]
FinRing.Field.class [in mathcomp.algebra.finalg]
FinRing.Field.comRingType [in mathcomp.algebra.finalg]
FinRing.Field.comUnitRingType [in mathcomp.algebra.finalg]
+FinRing.Field.countComRingType [in mathcomp.algebra.finalg]
+FinRing.Field.countComUnitRingType [in mathcomp.algebra.finalg]
+FinRing.Field.countFieldType [in mathcomp.algebra.finalg]
+FinRing.Field.countField_finIdomainType [in mathcomp.algebra.finalg]
+FinRing.Field.countField_finComUnitRingType [in mathcomp.algebra.finalg]
+FinRing.Field.countField_finComRingType [in mathcomp.algebra.finalg]
+FinRing.Field.countField_finUnitRingType [in mathcomp.algebra.finalg]
+FinRing.Field.countField_finRingType [in mathcomp.algebra.finalg]
+FinRing.Field.countField_finZmodType [in mathcomp.algebra.finalg]
+FinRing.Field.countField_finGroupType [in mathcomp.algebra.finalg]
+FinRing.Field.countField_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.Field.countField_finType [in mathcomp.algebra.finalg]
+FinRing.Field.countIdomainType [in mathcomp.algebra.finalg]
+FinRing.Field.countRingType [in mathcomp.algebra.finalg]
FinRing.Field.countType [in mathcomp.algebra.finalg]
+FinRing.Field.countUnitRingType [in mathcomp.algebra.finalg]
+FinRing.Field.countZmodType [in mathcomp.algebra.finalg]
FinRing.Field.eqType [in mathcomp.algebra.finalg]
FinRing.Field.fieldType [in mathcomp.algebra.finalg]
+FinRing.Field.field_finIdomainType [in mathcomp.algebra.finalg]
+FinRing.Field.field_finComUnitRingType [in mathcomp.algebra.finalg]
+FinRing.Field.field_finComRingType [in mathcomp.algebra.finalg]
+FinRing.Field.field_finUnitRingType [in mathcomp.algebra.finalg]
+FinRing.Field.field_finRingType [in mathcomp.algebra.finalg]
+FinRing.Field.field_finZmodType [in mathcomp.algebra.finalg]
+FinRing.Field.field_finGroupType [in mathcomp.algebra.finalg]
+FinRing.Field.field_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.Field.field_finType [in mathcomp.algebra.finalg]
FinRing.Field.finComRingType [in mathcomp.algebra.finalg]
FinRing.Field.finComUnitRingType [in mathcomp.algebra.finalg]
FinRing.Field.finGroupType [in mathcomp.algebra.finalg]
@@ -720,15 +767,6 @@ FinRing.Field.finUnitRingType [in mathcomp.algebra.finalg]
FinRing.Field.finZmodType [in mathcomp.algebra.finalg]
FinRing.Field.idomainType [in mathcomp.algebra.finalg]
-FinRing.Field.join_finGroupType [in mathcomp.algebra.finalg]
-FinRing.Field.join_baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.Field.join_finIdomainType [in mathcomp.algebra.finalg]
-FinRing.Field.join_finComUnitRingType [in mathcomp.algebra.finalg]
-FinRing.Field.join_finComRingType [in mathcomp.algebra.finalg]
-FinRing.Field.join_finUnitRingType [in mathcomp.algebra.finalg]
-FinRing.Field.join_finRingType [in mathcomp.algebra.finalg]
-FinRing.Field.join_finZmodType [in mathcomp.algebra.finalg]
-FinRing.Field.join_finType [in mathcomp.algebra.finalg]
FinRing.Field.pack [in mathcomp.algebra.finalg]
FinRing.Field.ringType [in mathcomp.algebra.finalg]
FinRing.Field.unitRingType [in mathcomp.algebra.finalg]
@@ -736,12 +774,25 @@ FinRing.gen_pack [in mathcomp.algebra.finalg]
FinRing.groupMixin [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.IntegralDomain.base2 [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.choiceType [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.class [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.comRingType [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.comUnitRingType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countComRingType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countComUnitRingType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countIdomainType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countIdomain_finComUnitRingType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countIdomain_finComRingType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countIdomain_finUnitRingType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countIdomain_finRingType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countIdomain_finZmodType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countIdomain_finGroupType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countIdomain_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countIdomain_finType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countRingType [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.countType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countUnitRingType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.countZmodType [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.eqType [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.finComRingType [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.finComUnitRingType [in mathcomp.algebra.finalg]
@@ -751,14 +802,14 @@ FinRing.IntegralDomain.finUnitRingType [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.finZmodType [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.idomainType [in mathcomp.algebra.finalg]
-FinRing.IntegralDomain.join_finGroupType [in mathcomp.algebra.finalg]
-FinRing.IntegralDomain.join_baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.IntegralDomain.join_finComUnitRingType [in mathcomp.algebra.finalg]
-FinRing.IntegralDomain.join_finComRingType [in mathcomp.algebra.finalg]
-FinRing.IntegralDomain.join_finUnitRingType [in mathcomp.algebra.finalg]
-FinRing.IntegralDomain.join_finRingType [in mathcomp.algebra.finalg]
-FinRing.IntegralDomain.join_finZmodType [in mathcomp.algebra.finalg]
-FinRing.IntegralDomain.join_finType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.idomain_finComUnitRingType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.idomain_finComRingType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.idomain_finUnitRingType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.idomain_finRingType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.idomain_finZmodType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.idomain_finGroupType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.idomain_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.idomain_finType [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.pack [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.ringType [in mathcomp.algebra.finalg]
FinRing.IntegralDomain.unitRingType [in mathcomp.algebra.finalg]
@@ -768,60 +819,74 @@ FinRing.Lalgebra.base3 [in mathcomp.algebra.finalg]
FinRing.Lalgebra.choiceType [in mathcomp.algebra.finalg]
FinRing.Lalgebra.class [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.countRingType [in mathcomp.algebra.finalg]
FinRing.Lalgebra.countType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.countZmodType [in mathcomp.algebra.finalg]
FinRing.Lalgebra.eqType [in mathcomp.algebra.finalg]
FinRing.Lalgebra.finGroupType [in mathcomp.algebra.finalg]
FinRing.Lalgebra.finLmodType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.finLmod_finRingType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.finLmod_countRingType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.finLmod_ringType [in mathcomp.algebra.finalg]
FinRing.Lalgebra.finRingType [in mathcomp.algebra.finalg]
FinRing.Lalgebra.finType [in mathcomp.algebra.finalg]
FinRing.Lalgebra.finZmodType [in mathcomp.algebra.finalg]
-FinRing.Lalgebra.fljoin_finRingType [in mathcomp.algebra.finalg]
-FinRing.Lalgebra.join_finGroupType [in mathcomp.algebra.finalg]
-FinRing.Lalgebra.join_baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.Lalgebra.join_finRingType [in mathcomp.algebra.finalg]
-FinRing.Lalgebra.join_finLmodType [in mathcomp.algebra.finalg]
-FinRing.Lalgebra.join_finZmodType [in mathcomp.algebra.finalg]
-FinRing.Lalgebra.join_finType [in mathcomp.algebra.finalg]
FinRing.Lalgebra.lalgType [in mathcomp.algebra.finalg]
-FinRing.Lalgebra.ljoin_finRingType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.lalg_finRingType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.lalg_countRingType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.lalg_finLmodType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.lalg_finZmodType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.lalg_countZmodType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.lalg_finGroupType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.lalg_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.lalg_finType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.lalg_countType [in mathcomp.algebra.finalg]
FinRing.Lalgebra.lmodType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.lmod_finRingType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.lmod_countRingType [in mathcomp.algebra.finalg]
FinRing.Lalgebra.pack [in mathcomp.algebra.finalg]
FinRing.Lalgebra.ringType [in mathcomp.algebra.finalg]
-FinRing.Lalgebra.rjoin_finLmodType [in mathcomp.algebra.finalg]
FinRing.Lalgebra.zmodType [in mathcomp.algebra.finalg]
FinRing.Lmodule.baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.Lmodule.base2 [in mathcomp.algebra.finalg]
FinRing.Lmodule.choiceType [in mathcomp.algebra.finalg]
FinRing.Lmodule.class [in mathcomp.algebra.finalg]
FinRing.Lmodule.countType [in mathcomp.algebra.finalg]
+FinRing.Lmodule.countZmodType [in mathcomp.algebra.finalg]
FinRing.Lmodule.eqType [in mathcomp.algebra.finalg]
FinRing.Lmodule.finGroupType [in mathcomp.algebra.finalg]
FinRing.Lmodule.finType [in mathcomp.algebra.finalg]
FinRing.Lmodule.finZmodType [in mathcomp.algebra.finalg]
-FinRing.Lmodule.join_finGroupType [in mathcomp.algebra.finalg]
-FinRing.Lmodule.join_baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.Lmodule.join_finZmodType [in mathcomp.algebra.finalg]
-FinRing.Lmodule.join_finType [in mathcomp.algebra.finalg]
FinRing.Lmodule.lmodType [in mathcomp.algebra.finalg]
+FinRing.Lmodule.lmod_finZmodType [in mathcomp.algebra.finalg]
+FinRing.Lmodule.lmod_countZmodType [in mathcomp.algebra.finalg]
+FinRing.Lmodule.lmod_finGroupType [in mathcomp.algebra.finalg]
+FinRing.Lmodule.lmod_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.Lmodule.lmod_finType [in mathcomp.algebra.finalg]
+FinRing.Lmodule.lmod_countType [in mathcomp.algebra.finalg]
FinRing.Lmodule.pack [in mathcomp.algebra.finalg]
FinRing.Lmodule.zmodType [in mathcomp.algebra.finalg]
FinRing.Ring.baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.Ring.base2 [in mathcomp.algebra.finalg]
FinRing.Ring.choiceType [in mathcomp.algebra.finalg]
FinRing.Ring.class [in mathcomp.algebra.finalg]
+FinRing.Ring.countRingType [in mathcomp.algebra.finalg]
+FinRing.Ring.countRing_finZmodType [in mathcomp.algebra.finalg]
+FinRing.Ring.countRing_finGroupType [in mathcomp.algebra.finalg]
+FinRing.Ring.countRing_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.Ring.countRing_finType [in mathcomp.algebra.finalg]
FinRing.Ring.countType [in mathcomp.algebra.finalg]
+FinRing.Ring.countZmodType [in mathcomp.algebra.finalg]
FinRing.Ring.eqType [in mathcomp.algebra.finalg]
FinRing.Ring.finGroupType [in mathcomp.algebra.finalg]
FinRing.Ring.finType [in mathcomp.algebra.finalg]
FinRing.Ring.finZmodType [in mathcomp.algebra.finalg]
FinRing.Ring.inv [in mathcomp.algebra.finalg]
FinRing.Ring.is_inv [in mathcomp.algebra.finalg]
-FinRing.Ring.join_finGroupType [in mathcomp.algebra.finalg]
-FinRing.Ring.join_baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.Ring.join_finZmodType [in mathcomp.algebra.finalg]
-FinRing.Ring.join_finType [in mathcomp.algebra.finalg]
FinRing.Ring.pack [in mathcomp.algebra.finalg]
FinRing.Ring.ringType [in mathcomp.algebra.finalg]
+FinRing.Ring.ring_finZmodType [in mathcomp.algebra.finalg]
+FinRing.Ring.ring_finGroupType [in mathcomp.algebra.finalg]
+FinRing.Ring.ring_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.Ring.ring_finType [in mathcomp.algebra.finalg]
FinRing.Ring.unit [in mathcomp.algebra.finalg]
FinRing.Ring.UnitMixin [in mathcomp.algebra.finalg]
FinRing.Ring.zmodType [in mathcomp.algebra.finalg]
@@ -837,16 +902,23 @@ FinRing.Theory.zmod_abelian [in mathcomp.algebra.finalg]
FinRing.Theory.zmod_mulgC [in mathcomp.algebra.finalg]
FinRing.Theory.zmod1gE [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.ajoin_finUnitRingType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.algType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.baseFinGroupType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.base2 [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.base3 [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.choiceType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.class [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.countRingType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.countType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.countUnitRingType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.countUnitRing_finAlgType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.countUnitRing_algType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.countUnitRing_finLalgType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.countUnitRing_lalgType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.countUnitRing_finLmodType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.countUnitRing_lmodType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.countZmodType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.eqType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.fajoin_finUnitRingType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.finAlgType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.finGroupType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.finLalgType [in mathcomp.algebra.finalg]
@@ -854,48 +926,61 @@ FinRing.UnitAlgebra.finRingType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.finType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.finUnitRingType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.finUnitRing_finAlgType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.finUnitRing_algType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.finUnitRing_finLalgType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.finUnitRing_lalgType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.finUnitRing_finLmodType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.finUnitRing_lmodType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.finZmodType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.fljoin_finUnitRingType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.fnjoin_finUnitRingType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.join_finGroupType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.join_baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.join_finAlgType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.join_finLalgType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.join_finLmodType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.join_finUnitRingType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.join_finRingType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.join_finZmodType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.join_finType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.lalgType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.ljoin_finUnitRingType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.lmodType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.njoin_finUnitRingType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.pack [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.ringType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.ujoin_finAlgType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.ujoin_finLalgType [in mathcomp.algebra.finalg]
-FinRing.UnitAlgebra.ujoin_finLmodType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.unitAlgType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_finAlgType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_finLalgType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_finLmodType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_finUnitRingType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_countUnitRingType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_finRingType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_countRingType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_finZmodType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_countZmodType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_finGroupType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_finType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitAlg_countType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.unitRingType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitRing_finAlgType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitRing_finLalgType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.unitRing_finLmodType [in mathcomp.algebra.finalg]
FinRing.UnitAlgebra.zmodType [in mathcomp.algebra.finalg]
FinRing.UnitRing.baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.UnitRing.base2 [in mathcomp.algebra.finalg]
FinRing.UnitRing.choiceType [in mathcomp.algebra.finalg]
FinRing.UnitRing.class [in mathcomp.algebra.finalg]
+FinRing.UnitRing.countRingType [in mathcomp.algebra.finalg]
FinRing.UnitRing.countType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.countUnitRingType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.countUnitRing_finRingType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.countUnitRing_finZmodType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.countUnitRing_finGroupType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.countUnitRing_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.countUnitRing_finType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.countZmodType [in mathcomp.algebra.finalg]
FinRing.UnitRing.eqType [in mathcomp.algebra.finalg]
FinRing.UnitRing.finGroupType [in mathcomp.algebra.finalg]
FinRing.UnitRing.finRingType [in mathcomp.algebra.finalg]
FinRing.UnitRing.finType [in mathcomp.algebra.finalg]
FinRing.UnitRing.finZmodType [in mathcomp.algebra.finalg]
-FinRing.UnitRing.join_finGroupType [in mathcomp.algebra.finalg]
-FinRing.UnitRing.join_baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.UnitRing.join_finRingType [in mathcomp.algebra.finalg]
-FinRing.UnitRing.join_finZmodType [in mathcomp.algebra.finalg]
-FinRing.UnitRing.join_finType [in mathcomp.algebra.finalg]
FinRing.UnitRing.pack [in mathcomp.algebra.finalg]
FinRing.UnitRing.ringType [in mathcomp.algebra.finalg]
FinRing.UnitRing.unitRingType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.unitRing_finRingType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.unitRing_finZmodType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.unitRing_finGroupType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.unitRing_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.unitRing_finType [in mathcomp.algebra.finalg]
FinRing.UnitRing.zmodType [in mathcomp.algebra.finalg]
FinRing.unit_act [in mathcomp.algebra.finalg]
FinRing.unit_GroupMixin [in mathcomp.algebra.finalg]
@@ -911,14 +996,18 @@ FinRing.Zmodule.choiceType [in mathcomp.algebra.finalg]
FinRing.Zmodule.class [in mathcomp.algebra.finalg]
FinRing.Zmodule.countType [in mathcomp.algebra.finalg]
+FinRing.Zmodule.countZmodType [in mathcomp.algebra.finalg]
+FinRing.Zmodule.countZmod_finGroupType [in mathcomp.algebra.finalg]
+FinRing.Zmodule.countZmod_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.Zmodule.countZmod_finType [in mathcomp.algebra.finalg]
FinRing.Zmodule.eqType [in mathcomp.algebra.finalg]
FinRing.Zmodule.finGroupType [in mathcomp.algebra.finalg]
FinRing.Zmodule.finType [in mathcomp.algebra.finalg]
-FinRing.Zmodule.join_finGroupType [in mathcomp.algebra.finalg]
-FinRing.Zmodule.join_baseFinGroupType [in mathcomp.algebra.finalg]
-FinRing.Zmodule.join_finType [in mathcomp.algebra.finalg]
FinRing.Zmodule.pack [in mathcomp.algebra.finalg]
FinRing.Zmodule.zmodType [in mathcomp.algebra.finalg]
+FinRing.Zmodule.zmod_finGroupType [in mathcomp.algebra.finalg]
+FinRing.Zmodule.zmod_baseFinGroupType [in mathcomp.algebra.finalg]
+FinRing.Zmodule.zmod_finType [in mathcomp.algebra.finalg]
FinTuple.enum [in mathcomp.ssreflect.tuple]
finv [in mathcomp.ssreflect.fingraph]
fin_pred_sort [in mathcomp.ssreflect.fintype]
@@ -957,13 +1046,13 @@ Frobenius_group [in mathcomp.solvable.frobenius]
Frobenius_group_with_complement [in mathcomp.solvable.frobenius]
fullv [in mathcomp.algebra.vector]
-FunFinfun.finfun [in mathcomp.ssreflect.finfun]
-FunFinfun.fun_of_fin [in mathcomp.ssreflect.finfun]
fun_base [in mathcomp.ssreflect.path]
fun_of_lfun [in mathcomp.algebra.vector]
fun_of_lfun_def [in mathcomp.algebra.vector]
fun_of_matrix [in mathcomp.algebra.matrix]
fun_of_cfun [in mathcomp.character.classfun]
+fun_of_fin [in mathcomp.ssreflect.finfun]
+fun_of_fin_rec [in mathcomp.ssreflect.finfun]
fwith [in mathcomp.ssreflect.eqtype]
F0 [in mathcomp.solvable.burnside_app]
F1 [in mathcomp.solvable.burnside_app]
@@ -1002,7 +1091,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -1034,14 +1123,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -1066,7 +1155,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -1098,7 +1187,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -1130,7 +1219,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -1162,7 +1251,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1194,7 +1283,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1226,7 +1315,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1258,14 +1347,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1290,7 +1379,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1322,7 +1411,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1354,7 +1443,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1386,14 +1475,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1418,7 +1507,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_G.html b/docs/htmldoc/index_definition_G.html index 311ac0e..c8b82f5 100644 --- a/docs/htmldoc/index_definition_G.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -620,11 +620,13 @@ GRing.Field.comUnitRingType [in mathcomp.algebra.ssralg]
GRing.Field.eqType [in mathcomp.algebra.ssralg]
GRing.Field.idomainType [in mathcomp.algebra.ssralg]
+GRing.Field.IdomainType [in mathcomp.algebra.ssralg]
GRing.Field.mixin_of [in mathcomp.algebra.ssralg]
GRing.Field.pack [in mathcomp.algebra.ssralg]
GRing.Field.ringType [in mathcomp.algebra.ssralg]
GRing.Field.UnitMixin [in mathcomp.algebra.ssralg]
GRing.Field.unitRingType [in mathcomp.algebra.ssralg]
+GRing.Field.UnitRingType [in mathcomp.algebra.ssralg]
GRing.Field.zmodType [in mathcomp.algebra.ssralg]
GRing.Frobenius_aut [in mathcomp.algebra.ssralg]
GRing.fsubst [in mathcomp.algebra.ssralg]
@@ -788,6 +790,7 @@ GRing.Theory.addrCA [in mathcomp.algebra.ssralg]
GRing.Theory.addrI [in mathcomp.algebra.ssralg]
GRing.Theory.addrK [in mathcomp.algebra.ssralg]
+GRing.Theory.addrKA [in mathcomp.algebra.ssralg]
GRing.Theory.addrK_char2 [in mathcomp.algebra.ssralg]
GRing.Theory.addrN [in mathcomp.algebra.ssralg]
GRing.Theory.addrNK [in mathcomp.algebra.ssralg]
@@ -1170,6 +1173,7 @@ GRing.Theory.subKr [in mathcomp.algebra.ssralg]
GRing.Theory.subrI [in mathcomp.algebra.ssralg]
GRing.Theory.subrK [in mathcomp.algebra.ssralg]
+GRing.Theory.subrKA [in mathcomp.algebra.ssralg]
GRing.Theory.subrr [in mathcomp.algebra.ssralg]
GRing.Theory.subrXX [in mathcomp.algebra.ssralg]
GRing.Theory.subrXX_comm [in mathcomp.algebra.ssralg]
@@ -1289,7 +1293,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -1321,14 +1325,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -1353,7 +1357,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -1385,7 +1389,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -1417,7 +1421,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -1449,7 +1453,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1481,7 +1485,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1513,7 +1517,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1545,14 +1549,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1577,7 +1581,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1609,7 +1613,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1641,7 +1645,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1673,14 +1677,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1705,7 +1709,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_H.html b/docs/htmldoc/index_definition_H.html index 2e37566..b6fbea7 100644 --- a/docs/htmldoc/index_definition_H.html +++ b/docs/htmldoc/index_definition_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 (definition)

diff --git a/docs/htmldoc/index_definition_I.html b/docs/htmldoc/index_definition_I.html index 827b4a5..fb2b931 100644 --- a/docs/htmldoc/index_definition_I.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -475,12 +475,12 @@ id1 [in mathcomp.solvable.burnside_app]
id3 [in mathcomp.solvable.burnside_app]
ifactm [in mathcomp.fingroup.morphism]
-ifnz [in mathcomp.ssreflect.prime]
iinv [in mathcomp.ssreflect.fintype]
image_mem [in mathcomp.ssreflect.fintype]
imprimitivity_system [in mathcomp.solvable.primitive_action]
Imset.imset [in mathcomp.ssreflect.finset]
Imset.imset2 [in mathcomp.ssreflect.finset]
+incr_tally [in mathcomp.ssreflect.seq]
incr_nth [in mathcomp.ssreflect.seq]
index [in mathcomp.ssreflect.seq]
indexg [in mathcomp.fingroup.fingroup]
@@ -490,6 +490,7 @@ indir_iso3l [in mathcomp.solvable.burnside_app]
Ind_Iirr [in mathcomp.character.character]
inE [in mathcomp.ssreflect.seq]
+inE [in mathcomp.ssreflect.ssrbool]
inE [in mathcomp.ssreflect.finset]
inertia [in mathcomp.character.inertia]
inIntSpan [in mathcomp.algebra.intdiv]
@@ -553,7 +554,6 @@ irr_class [in mathcomp.character.character]
irr_def [in mathcomp.character.character]
irr_of_socle [in mathcomp.character.character]
-isnull [in mathcomp.field.closed_field]
isog [in mathcomp.fingroup.morphism]
isom [in mathcomp.fingroup.morphism]
isometries [in mathcomp.solvable.burnside_app]
@@ -580,6 +580,9 @@ iter [in mathcomp.ssreflect.ssrnat]
iteri [in mathcomp.ssreflect.ssrnat]
iterop [in mathcomp.ssreflect.ssrnat]
+itv_intersectioni1 [in mathcomp.algebra.interval]
+itv_intersection1i [in mathcomp.algebra.interval]
+itv_intersection [in mathcomp.algebra.interval]
itv_decompose [in mathcomp.algebra.interval]
itv_rewrite [in mathcomp.algebra.interval]


@@ -613,7 +616,7 @@ - + @@ -645,14 +648,14 @@ - + - + @@ -677,7 +680,7 @@ - + @@ -709,7 +712,7 @@ - + @@ -741,7 +744,7 @@ - + @@ -773,7 +776,7 @@ - + @@ -805,7 +808,7 @@ - + @@ -837,7 +840,7 @@ - + @@ -869,14 +872,14 @@ - + - + @@ -901,7 +904,7 @@ - + @@ -933,7 +936,7 @@ - + @@ -965,7 +968,7 @@ - + @@ -997,14 +1000,14 @@ - + - + @@ -1029,7 +1032,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_definition_J.html b/docs/htmldoc/index_definition_J.html index 7f45476..553825b 100644 --- a/docs/htmldoc/index_definition_J.html +++ b/docs/htmldoc/index_definition_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)

J (definition)

diff --git a/docs/htmldoc/index_definition_K.html b/docs/htmldoc/index_definition_K.html index 33d3f67..5fd2dd0 100644 --- a/docs/htmldoc/index_definition_K.html +++ b/docs/htmldoc/index_definition_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 (definition)

diff --git a/docs/htmldoc/index_definition_L.html b/docs/htmldoc/index_definition_L.html index 9385062..bab8c77 100644 --- a/docs/htmldoc/index_definition_L.html +++ b/docs/htmldoc/index_definition_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,7 +463,7 @@ Z _ other -(185 entries) +(189 entries)

L (definition)

@@ -473,12 +473,15 @@ lcosets [in mathcomp.fingroup.fingroup]
Ldiv [in mathcomp.solvable.abelian]
lead_coef [in mathcomp.algebra.poly]
-lead_coefT [in mathcomp.field.closed_field]
leC_nat [in mathcomp.field.algC]
left_mx_ideal [in mathcomp.algebra.mxalgebra]
leq [in mathcomp.ssreflect.ssrnat]
leqif [in mathcomp.ssreflect.ssrnat]
lersif [in mathcomp.algebra.interval]
+lersif_sub_addl [in mathcomp.algebra.interval]
+lersif_sub_addr [in mathcomp.algebra.interval]
+lersif_add2 [in mathcomp.algebra.interval]
+lersif_oppE [in mathcomp.algebra.interval]
le_rat [in mathcomp.algebra.rat]
le_boundr [in mathcomp.algebra.interval]
le_boundl [in mathcomp.algebra.interval]
@@ -493,11 +496,11 @@ lfun_lmodMixin [in mathcomp.algebra.vector]
lfun_zmodMixin [in mathcomp.algebra.vector]
lfun_choiceMixin [in mathcomp.algebra.vector]
+lfun_eqMixin [in mathcomp.algebra.vector]
lfun_preim [in mathcomp.algebra.vector]
lfun_img [in mathcomp.algebra.vector]
lfun_img_def [in mathcomp.algebra.vector]
lift [in mathcomp.ssreflect.fintype]
-lift [in mathcomp.field.closed_field]
lift_perm [in mathcomp.fingroup.perm]
lift_perm_fun [in mathcomp.fingroup.perm]
lift0_mx [in mathcomp.algebra.matrix]
@@ -527,7 +530,6 @@ ltmx [in mathcomp.algebra.mxalgebra]
ltn [in mathcomp.ssreflect.ssrnat]
lt_rat [in mathcomp.algebra.rat]
-lt_sizeT [in mathcomp.field.closed_field]


@@ -559,7 +561,7 @@ - + @@ -591,14 +593,14 @@ - + - + @@ -623,7 +625,7 @@ - + @@ -655,7 +657,7 @@ - + @@ -687,7 +689,7 @@ - + @@ -719,7 +721,7 @@ - + @@ -751,7 +753,7 @@ - + @@ -783,7 +785,7 @@ - + @@ -815,14 +817,14 @@ - + - + @@ -847,7 +849,7 @@ - + @@ -879,7 +881,7 @@ - + @@ -911,7 +913,7 @@ - + @@ -943,14 +945,14 @@ - + - + @@ -975,7 +977,7 @@ - +
Global IndexZ _ 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_definition_M.html b/docs/htmldoc/index_definition_M.html index 406a76f..e8019a7 100644 --- a/docs/htmldoc/index_definition_M.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -592,7 +592,6 @@ muln [in mathcomp.ssreflect.ssrnat]
muln_grepr [in mathcomp.character.character]
muln_rec [in mathcomp.ssreflect.ssrnat]
-mulpT [in mathcomp.field.closed_field]
mulq [in mathcomp.algebra.rat]
mulq_subdef [in mathcomp.algebra.rat]
mulsmx [in mathcomp.algebra.mxalgebra]
@@ -659,7 +658,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -691,14 +690,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -723,7 +722,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -755,7 +754,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -787,7 +786,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -819,7 +818,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -851,7 +850,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -883,7 +882,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -915,14 +914,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -947,7 +946,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -979,7 +978,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1011,7 +1010,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1043,14 +1042,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1075,7 +1074,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_N.html b/docs/htmldoc/index_definition_N.html index 34ebe97..d617029 100644 --- a/docs/htmldoc/index_definition_N.html +++ b/docs/htmldoc/index_definition_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,11 +463,10 @@ Z _ other -(185 entries) +(189 entries)

N (definition)

-natmulpT [in mathcomp.field.closed_field]
natsum_of_int [in mathcomp.algebra.ssrint]
NatTrec.add [in mathcomp.ssreflect.ssrnat]
NatTrec.add_mul [in mathcomp.ssreflect.ssrnat]
@@ -493,6 +492,11 @@ nilp [in mathcomp.ssreflect.seq]
nilpotent [in mathcomp.solvable.nilpotent]
nil_class [in mathcomp.solvable.nilpotent]
+NonPropType.call [in mathcomp.ssreflect.ssreflect]
+NonPropType.check [in mathcomp.ssreflect.ssreflect]
+NonPropType.maybeProp [in mathcomp.ssreflect.ssreflect]
+NonPropType.test_negative [in mathcomp.ssreflect.ssreflect]
+NonPropType.test_Prop [in mathcomp.ssreflect.ssreflect]
normal [in mathcomp.fingroup.fingroup]
normalField [in mathcomp.field.galois]
normalField_cast [in mathcomp.field.galois]
@@ -627,7 +631,8 @@ Num.RealField.eqType [in mathcomp.algebra.ssrnum]
Num.RealField.fieldType [in mathcomp.algebra.ssrnum]
Num.RealField.idomainType [in mathcomp.algebra.ssrnum]
-Num.RealField.join_realDomainType [in mathcomp.algebra.ssrnum]
+Num.RealField.join_numFieldType [in mathcomp.algebra.ssrnum]
+Num.RealField.join_fieldType [in mathcomp.algebra.ssrnum]
Num.RealField.numDomainType [in mathcomp.algebra.ssrnum]
Num.RealField.numFieldType [in mathcomp.algebra.ssrnum]
Num.RealField.pack [in mathcomp.algebra.ssrnum]
@@ -641,6 +646,8 @@ Num.real_axiom [in mathcomp.algebra.ssrnum]
Num.Theory.addr_gt0 [in mathcomp.algebra.ssrnum]
Num.Theory.argCle [in mathcomp.algebra.ssrnum]
+Num.Theory.arg_maxr [in mathcomp.algebra.ssrnum]
+Num.Theory.arg_minr [in mathcomp.algebra.ssrnum]
Num.Theory.conjC [in mathcomp.algebra.ssrnum]
Num.Theory.cpr_add [in mathcomp.algebra.ssrnum]
Num.Theory.eqr_norm_idVN [in mathcomp.algebra.ssrnum]
@@ -768,7 +775,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -800,14 +807,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -832,7 +839,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -864,7 +871,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -896,7 +903,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -928,7 +935,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -960,7 +967,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -992,7 +999,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1024,14 +1031,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1056,7 +1063,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1088,7 +1095,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1120,7 +1127,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1152,14 +1159,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1184,7 +1191,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_O.html b/docs/htmldoc/index_definition_O.html index f13abe7..f22a33b 100644 --- a/docs/htmldoc/index_definition_O.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -477,7 +477,6 @@ opair_of_sum [in mathcomp.ssreflect.choice]
opp [in mathcomp.solvable.burnside_app]
oppmx [in mathcomp.algebra.matrix]
-opppT [in mathcomp.field.closed_field]
oppq [in mathcomp.algebra.rat]
oppq_subdef [in mathcomp.algebra.rat]
oppz_add [in mathcomp.algebra.ssrint]
@@ -539,7 +538,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -571,14 +570,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -603,7 +602,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -635,7 +634,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -667,7 +666,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -699,7 +698,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -731,7 +730,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -763,7 +762,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -795,14 +794,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -827,7 +826,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -859,7 +858,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -891,7 +890,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -923,14 +922,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -955,7 +954,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_P.html b/docs/htmldoc/index_definition_P.html index 22b3672..6f794ee 100644 --- a/docs/htmldoc/index_definition_P.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -526,6 +526,8 @@ pElem [in mathcomp.solvable.abelian]
PermDef.fun_of_perm [in mathcomp.fingroup.perm]
PermDef.perm [in mathcomp.fingroup.perm]
+perms_rec [in mathcomp.ssreflect.seq]
+permutations [in mathcomp.ssreflect.seq]
perm_on [in mathcomp.fingroup.perm]
perm_of_baseFinGroupMixin [in mathcomp.fingroup.perm]
perm_mul [in mathcomp.fingroup.perm]
@@ -558,8 +560,7 @@ pid_mx [in mathcomp.algebra.matrix]
pinvmx [in mathcomp.algebra.mxalgebra]
pi_of [in mathcomp.ssreflect.prime]
-pi_wrapped_arg [in mathcomp.ssreflect.prime]
-pi_unwrapped_arg [in mathcomp.ssreflect.prime]
+pi_arg [in mathcomp.ssreflect.prime]
pi_phant [in mathcomp.ssreflect.generic_quotient]
Pi.E [in mathcomp.ssreflect.generic_quotient]
Pi.f [in mathcomp.ssreflect.generic_quotient]
@@ -570,13 +571,11 @@ poly [in mathcomp.algebra.poly]
Poly [in mathcomp.algebra.poly]
polyC [in mathcomp.algebra.poly]
-polyF [in mathcomp.field.closed_field]
polynomial_choiceMixin [in mathcomp.algebra.poly]
polynomial_eqMixin [in mathcomp.algebra.poly]
polyOver [in mathcomp.algebra.poly]
polyX [in mathcomp.algebra.poly]
polyX_def [in mathcomp.algebra.poly]
-poly_countMixin [in mathcomp.field.countalg]
poly_rV [in mathcomp.algebra.mxpoly]
poly_XmY [in mathcomp.algebra.polyXY]
poly_XaY [in mathcomp.algebra.polyXY]
@@ -588,6 +587,7 @@ poly_zmodMixin [in mathcomp.algebra.poly]
poly_expanded_def [in mathcomp.algebra.poly]
poly_nil [in mathcomp.algebra.poly]
+poly_countMixin [in mathcomp.algebra.poly]
poly_of [in mathcomp.algebra.poly]
pop_succn [in mathcomp.ssreflect.ssrnat]
pos_of_nat [in mathcomp.ssreflect.ssrnat]
@@ -596,6 +596,7 @@ pprodm [in mathcomp.fingroup.gproduct]
predC1 [in mathcomp.ssreflect.eqtype]
predD1 [in mathcomp.ssreflect.eqtype]
+PredType [in mathcomp.ssreflect.ssrbool]
predU1 [in mathcomp.ssreflect.eqtype]
predX [in mathcomp.ssreflect.eqtype]
pred_of_vspace [in mathcomp.algebra.vector]
@@ -627,6 +628,12 @@ primeChar_vectMixin [in mathcomp.field.finfield]
primeChar_lmodMixin [in mathcomp.field.finfield]
primeChar_scale [in mathcomp.field.finfield]
+PrimeDecompAux.add_totient_factor [in mathcomp.ssreflect.prime]
+PrimeDecompAux.add_divisors [in mathcomp.ssreflect.prime]
+PrimeDecompAux.cons_pfactor [in mathcomp.ssreflect.prime]
+PrimeDecompAux.edivn2 [in mathcomp.ssreflect.prime]
+PrimeDecompAux.elogn2 [in mathcomp.ssreflect.prime]
+PrimeDecompAux.ifnz [in mathcomp.ssreflect.prime]
primes [in mathcomp.ssreflect.prime]
prime_decomp [in mathcomp.ssreflect.prime]
prime_decomp_rec [in mathcomp.ssreflect.prime]
@@ -641,7 +648,6 @@ prod_choiceMixin [in mathcomp.ssreflect.choice]
prod_finMixin [in mathcomp.ssreflect.fintype]
prod_enum [in mathcomp.ssreflect.fintype]
-prod_eqMixin [in mathcomp.ssreflect.eqtype]
prod_tuple [in mathcomp.solvable.burnside_app]
projv [in mathcomp.algebra.vector]
proj_mx [in mathcomp.algebra.mxalgebra]
@@ -688,7 +694,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -720,14 +726,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -752,7 +758,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -784,7 +790,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -816,7 +822,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -848,7 +854,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -880,7 +886,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -912,7 +918,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -944,14 +950,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -976,7 +982,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1008,7 +1014,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1040,7 +1046,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1072,14 +1078,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1104,7 +1110,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_Q.html b/docs/htmldoc/index_definition_Q.html index d92fba5..b5d9171 100644 --- a/docs/htmldoc/index_definition_Q.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -494,7 +494,6 @@ QuotSubType.finMixin [in mathcomp.ssreflect.generic_quotient]
QuotSubType.Sub [in mathcomp.ssreflect.generic_quotient]
QuotType_clone [in mathcomp.ssreflect.generic_quotient]
-QuotType_pack [in mathcomp.ssreflect.generic_quotient]
quo_mx [in mathcomp.character.mxrepresentation]
quo_Iirr [in mathcomp.character.character]


diff --git a/docs/htmldoc/index_definition_R.html b/docs/htmldoc/index_definition_R.html index 0e57c02..bdf8547 100644 --- a/docs/htmldoc/index_definition_R.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -490,15 +490,11 @@ rcons [in mathcomp.ssreflect.seq]
rcoset [in mathcomp.fingroup.fingroup]
rcosets [in mathcomp.fingroup.fingroup]
-rdivpT [in mathcomp.field.closed_field]
-rdvdpT [in mathcomp.field.closed_field]
-redivpT [in mathcomp.field.closed_field]
-redivp_rec_loop [in mathcomp.field.closed_field]
-redivp_rec_loopT [in mathcomp.field.closed_field]
reducebig [in mathcomp.ssreflect.bigop]
refBaseField [in mathcomp.field.fieldext]
regular_mx [in mathcomp.character.mxrepresentation]
regular_vectMixin [in mathcomp.algebra.vector]
+relpre [in mathcomp.ssreflect.ssrbool]
rel_base [in mathcomp.ssreflect.path]
rem [in mathcomp.ssreflect.seq]
remgr [in mathcomp.fingroup.gproduct]
@@ -519,13 +515,7 @@ rfd [in mathcomp.solvable.alt]
rfd_fun [in mathcomp.solvable.alt]
rfix_mx [in mathcomp.character.mxrepresentation]
-rgcdpT [in mathcomp.field.closed_field]
-rgcdpTs [in mathcomp.field.closed_field]
-rgcdp_loopT [in mathcomp.field.closed_field]
-rgcdp_loop [in mathcomp.field.closed_field]
rgd [in mathcomp.solvable.alt]
-rgdcopT [in mathcomp.field.closed_field]
-rgdcop_recT [in mathcomp.field.closed_field]
rgd_fun [in mathcomp.solvable.alt]
rgraph [in mathcomp.ssreflect.fingraph]
right_mx_ideal [in mathcomp.algebra.mxalgebra]
@@ -536,7 +526,6 @@ ring_zmod_quot_class [in mathcomp.algebra.ring_quotient]
ring_quot_class [in mathcomp.algebra.ring_quotient]
rker [in mathcomp.character.mxrepresentation]
-rmodpT [in mathcomp.field.closed_field]
root [in mathcomp.algebra.poly]
root [in mathcomp.ssreflect.fingraph]
roots [in mathcomp.ssreflect.fingraph]
@@ -558,9 +547,6 @@ row_free [in mathcomp.algebra.mxalgebra]
row_ebase [in mathcomp.algebra.mxalgebra]
row' [in mathcomp.algebra.matrix]
-rpoly [in mathcomp.field.closed_field]
-rscalpT [in mathcomp.field.closed_field]
-rseq_poly [in mathcomp.field.closed_field]
rshift [in mathcomp.ssreflect.fintype]
rstab [in mathcomp.character.mxrepresentation]
rstabs [in mathcomp.character.mxrepresentation]
@@ -646,7 +632,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -678,14 +664,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -710,7 +696,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -742,7 +728,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -774,7 +760,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -806,7 +792,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -838,7 +824,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -870,7 +856,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -902,14 +888,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -934,7 +920,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -966,7 +952,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -998,7 +984,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1030,14 +1016,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1062,7 +1048,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_S.html b/docs/htmldoc/index_definition_S.html index 9a3e457..fffbc73 100644 --- a/docs/htmldoc/index_definition_S.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -512,6 +512,7 @@ seqn [in mathcomp.ssreflect.seq]
seqn_rec [in mathcomp.ssreflect.seq]
seqn_type [in mathcomp.ssreflect.seq]
+seq_eqclass [in mathcomp.ssreflect.seq]
seq_countMixin [in mathcomp.ssreflect.choice]
seq_of_opt [in mathcomp.ssreflect.choice]
seq_sub_choiceMixin [in mathcomp.ssreflect.fintype]
@@ -555,8 +556,9 @@ sig_finMixin [in mathcomp.ssreflect.fintype]
sig_eqMixin [in mathcomp.ssreflect.eqtype]
simple [in mathcomp.solvable.gseries]
+SimplRel [in mathcomp.ssreflect.ssrbool]
+simpl_rel [in mathcomp.ssreflect.ssrbool]
size [in mathcomp.ssreflect.seq]
-sizeT [in mathcomp.field.closed_field]
sizeY [in mathcomp.algebra.polyXY]
Socle [in mathcomp.character.mxrepresentation]
socle_finMixin [in mathcomp.character.mxrepresentation]
@@ -660,6 +662,7 @@ subnormal [in mathcomp.solvable.gseries]
subn_rec [in mathcomp.ssreflect.ssrnat]
subq [in mathcomp.algebra.rat]
+subr_lersif0 [in mathcomp.algebra.interval]
subseq [in mathcomp.ssreflect.seq]
subseries_repr [in mathcomp.character.mxrepresentation]
SubsetDef.subset [in mathcomp.ssreflect.fintype]
@@ -683,7 +686,6 @@ sub_enum [in mathcomp.ssreflect.fintype]
sub_eqMixin [in mathcomp.ssreflect.eqtype]
sumn [in mathcomp.ssreflect.seq]
-sumpT [in mathcomp.field.closed_field]
sumv_pi_for [in mathcomp.algebra.vector]
sum_countMixin [in mathcomp.ssreflect.choice]
sum_choiceMixin [in mathcomp.ssreflect.choice]
@@ -763,7 +765,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -795,14 +797,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -827,7 +829,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -859,7 +861,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -891,7 +893,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -923,7 +925,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -955,7 +957,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -987,7 +989,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1019,14 +1021,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1051,7 +1053,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1083,7 +1085,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1115,7 +1117,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1147,14 +1149,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1179,7 +1181,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_T.html b/docs/htmldoc/index_definition_T.html index 2fd4063..8faaa9b 100644 --- a/docs/htmldoc/index_definition_T.html +++ b/docs/htmldoc/index_definition_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,13 +463,10 @@ Z _ other -(185 entries) +(189 entries)

T (definition)

-tag [in mathcomp.ssreflect.eqtype]
-Tagged [in mathcomp.ssreflect.eqtype]
-tagged [in mathcomp.ssreflect.eqtype]
tagged_as [in mathcomp.ssreflect.eqtype]
tag_countMixin [in mathcomp.ssreflect.choice]
tag_of_pair [in mathcomp.ssreflect.choice]
@@ -477,11 +474,16 @@ tag_enum [in mathcomp.ssreflect.fintype]
tag_eq [in mathcomp.ssreflect.eqtype]
take [in mathcomp.ssreflect.seq]
+tally [in mathcomp.ssreflect.seq]
+tally_seq [in mathcomp.ssreflect.seq]
tcast [in mathcomp.ssreflect.tuple]
+tfgraph [in mathcomp.ssreflect.finfun]
+tfgraph_inv [in mathcomp.ssreflect.finfun]
thead [in mathcomp.ssreflect.tuple]
tnth [in mathcomp.ssreflect.tuple]
to [in mathcomp.solvable.burnside_app]
TotalAction [in mathcomp.fingroup.action]
+total_fun [in mathcomp.ssreflect.finfun]
totient [in mathcomp.ssreflect.prime]
to_dirr [in mathcomp.character.vcharacter]
to_g [in mathcomp.solvable.burnside_app]
@@ -504,6 +506,7 @@ trunc_log [in mathcomp.ssreflect.prime]
tsize [in mathcomp.ssreflect.tuple]
tuple [in mathcomp.ssreflect.tuple]
+tuple_finMixin [in mathcomp.ssreflect.tuple]
tuple_countMixin [in mathcomp.ssreflect.tuple]
tuple_choiceMixin [in mathcomp.ssreflect.tuple]
tuple_eqMixin [in mathcomp.ssreflect.tuple]
@@ -538,7 +541,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -570,14 +573,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -602,7 +605,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -634,7 +637,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -666,7 +669,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -698,7 +701,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -730,7 +733,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -762,7 +765,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -794,14 +797,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -826,7 +829,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -858,7 +861,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -890,7 +893,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -922,14 +925,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -954,7 +957,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_U.html b/docs/htmldoc/index_definition_U.html index 1df0627..10d6bf4 100644 --- a/docs/htmldoc/index_definition_U.html +++ b/docs/htmldoc/index_definition_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 (definition)

@@ -542,7 +542,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -574,14 +574,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -606,7 +606,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -638,7 +638,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -670,7 +670,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -702,7 +702,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -734,7 +734,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -766,7 +766,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -798,14 +798,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -830,7 +830,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -862,7 +862,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -894,7 +894,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -926,14 +926,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -958,7 +958,7 @@ Z _ other -(185 entries) +(189 entries) diff --git a/docs/htmldoc/index_definition_V.html b/docs/htmldoc/index_definition_V.html index fed4da7..73677c3 100644 --- a/docs/htmldoc/index_definition_V.html +++ b/docs/htmldoc/index_definition_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 (definition)

diff --git a/docs/htmldoc/index_definition_W.html b/docs/htmldoc/index_definition_W.html index bd3d8a1..d2f33bd 100644 --- a/docs/htmldoc/index_definition_W.html +++ b/docs/htmldoc/index_definition_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,12 +463,13 @@ Z _ other -(185 entries) +(189 entries)

W (definition)

Wedderburn_id [in mathcomp.character.mxrepresentation]
Wedderburn_subring [in mathcomp.character.mxrepresentation]
+wf_tally [in mathcomp.ssreflect.seq]
widen_ord [in mathcomp.ssreflect.fintype]


diff --git a/docs/htmldoc/index_definition_X.html b/docs/htmldoc/index_definition_X.html index bcffd3d..84071b7 100644 --- a/docs/htmldoc/index_definition_X.html +++ b/docs/htmldoc/index_definition_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)

X (definition)

diff --git a/docs/htmldoc/index_definition_Y.html b/docs/htmldoc/index_definition_Y.html index c9bd28e..ecb788b 100644 --- a/docs/htmldoc/index_definition_Y.html +++ b/docs/htmldoc/index_definition_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_definition_Z.html b/docs/htmldoc/index_definition_Z.html index 788e6e6..727ea53 100644 --- a/docs/htmldoc/index_definition_Z.html +++ b/docs/htmldoc/index_definition_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 (definition)

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