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_lemma_A.html | 89 +++++++++++++++++++++++------------------ 1 file changed, 51 insertions(+), 38 deletions(-) (limited to 'docs/htmldoc/index_lemma_A.html') diff --git a/docs/htmldoc/index_lemma_A.html b/docs/htmldoc/index_lemma_A.html index fa3086e..ba5d7b7 100644 --- a/docs/htmldoc/index_lemma_A.html +++ b/docs/htmldoc/index_lemma_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 (lemma)

@@ -509,6 +509,7 @@ abelian_type_abelem [in mathcomp.solvable.abelian]
abelian_type_homocyclic [in mathcomp.solvable.abelian]
abelian_rank1_cyclic [in mathcomp.solvable.abelian]
+abelian_type_pgroup [in mathcomp.solvable.abelian]
abelian_structure [in mathcomp.solvable.abelian]
abelian_type_sorted [in mathcomp.solvable.abelian]
abelian_type_gt1 [in mathcomp.solvable.abelian]
@@ -523,9 +524,6 @@ abelian_nil [in mathcomp.solvable.nilpotent]
abelian_gen [in mathcomp.fingroup.fingroup]
abelian1 [in mathcomp.fingroup.fingroup]
-abstrXP [in mathcomp.field.closed_field]
-abstrX_mulM [in mathcomp.field.closed_field]
-abstrX1 [in mathcomp.field.closed_field]
abszE [in mathcomp.algebra.ssrint]
abszEsg [in mathcomp.algebra.ssrint]
abszEsign [in mathcomp.algebra.ssrint]
@@ -614,9 +612,12 @@ addmx_sub_adds [in mathcomp.algebra.mxalgebra]
addmx_sub [in mathcomp.algebra.mxalgebra]
addnA [in mathcomp.ssreflect.ssrnat]
+addnABC [in mathcomp.ssreflect.ssrnat]
addnAC [in mathcomp.ssreflect.ssrnat]
addnACA [in mathcomp.ssreflect.ssrnat]
addnBA [in mathcomp.ssreflect.ssrnat]
+addnBAC [in mathcomp.ssreflect.ssrnat]
+addnBCA [in mathcomp.ssreflect.ssrnat]
addnC [in mathcomp.ssreflect.ssrnat]
addnCA [in mathcomp.ssreflect.ssrnat]
addnE [in mathcomp.ssreflect.ssrnat]
@@ -868,12 +869,21 @@ alg_integral [in mathcomp.field.algebraics_fundamentals]
allP [in mathcomp.ssreflect.seq]
allpairsP [in mathcomp.ssreflect.seq]
+allpairsPdep [in mathcomp.ssreflect.seq]
allpairs_tupleP [in mathcomp.ssreflect.tuple]
allpairs_uniq [in mathcomp.ssreflect.seq]
+allpairs_f [in mathcomp.ssreflect.seq]
+allpairs_uniq_dep [in mathcomp.ssreflect.seq]
allpairs_catr [in mathcomp.ssreflect.seq]
+allpairs_f_dep [in mathcomp.ssreflect.seq]
+allpairs_mapr [in mathcomp.ssreflect.seq]
+allpairs_mapl [in mathcomp.ssreflect.seq]
allpairs_cat [in mathcomp.ssreflect.seq]
allPn [in mathcomp.ssreflect.seq]
+allPP [in mathcomp.ssreflect.seq]
all_tnthP [in mathcomp.ssreflect.tuple]
+all_iffP [in mathcomp.ssreflect.seq]
+all_iffLR [in mathcomp.ssreflect.seq]
all_map [in mathcomp.ssreflect.seq]
all_nthP [in mathcomp.ssreflect.seq]
all_pred1_nseq [in mathcomp.ssreflect.seq]
@@ -893,6 +903,7 @@ all_filterP [in mathcomp.ssreflect.seq]
all_count [in mathcomp.ssreflect.seq]
all_roots_prod_XsubC [in mathcomp.algebra.poly]
+all2E [in mathcomp.ssreflect.seq]
Alt_trans [in mathcomp.solvable.alt]
Alt_index [in mathcomp.solvable.alt]
Alt_norm [in mathcomp.solvable.alt]
@@ -910,6 +921,8 @@ amulr_inj [in mathcomp.field.falgebra]
annihilator_mxP [in mathcomp.character.mxrepresentation]
anti_leq [in mathcomp.ssreflect.ssrnat]
+anti_mono [in mathcomp.ssreflect.eqtype]
+anti_mono_in [in mathcomp.ssreflect.eqtype]
apermE [in mathcomp.fingroup.perm]
aperm_faithful [in mathcomp.solvable.alt]
aperm_is_action [in mathcomp.fingroup.action]
@@ -1074,7 +1087,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -1106,14 +1119,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -1138,7 +1151,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -1170,7 +1183,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -1202,7 +1215,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -1234,7 +1247,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1266,7 +1279,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1298,7 +1311,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1330,14 +1343,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1362,7 +1375,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1394,7 +1407,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1426,7 +1439,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1458,14 +1471,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1490,7 +1503,7 @@ Z _ other -(185 entries) +(189 entries) -- cgit v1.2.3