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_global_B.html | 85 +++++++++++++++++++++------------------- 1 file changed, 45 insertions(+), 40 deletions(-) (limited to 'docs/htmldoc/index_global_B.html') diff --git a/docs/htmldoc/index_global_B.html b/docs/htmldoc/index_global_B.html index c3560c6..d382d4d 100644 --- a/docs/htmldoc/index_global_B.html +++ b/docs/htmldoc/index_global_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

@@ -491,7 +491,7 @@ BaseField.F0ZEZ [variable, in mathcomp.field.fieldext]
BaseField.L [variable, in mathcomp.field.fieldext]
BaseField.n [variable, in mathcomp.field.fieldext]
-_ *F0: _ [notation, in mathcomp.field.fieldext]
+_ *F0: _ [notation, in mathcomp.field.fieldext]
BaseSetMulDef [section, in mathcomp.fingroup.fingroup]
BaseSetMulDef.gT [variable, in mathcomp.fingroup.fingroup]
BaseSetMulProp [section, in mathcomp.fingroup.fingroup]
@@ -537,7 +537,6 @@ basis_free [lemma, in mathcomp.algebra.vector]
basis_of [definition, in mathcomp.algebra.vector]
BClose [abbreviation, in mathcomp.algebra.interval]
-BClose [abbreviation, in mathcomp.algebra.interval]
before_find [lemma, in mathcomp.ssreflect.seq]
behead [definition, in mathcomp.ssreflect.seq]
behead_tupleP [lemma, in mathcomp.ssreflect.tuple]
@@ -622,7 +621,6 @@ biggcdn_inf [lemma, in mathcomp.ssreflect.bigop]
bigID [lemma, in mathcomp.ssreflect.bigop]
biglcmn_sup [lemma, in mathcomp.ssreflect.bigop]
-bigmap_id [abbreviation, in mathcomp.field.closed_field]
bigmax_eq_arg [lemma, in mathcomp.ssreflect.bigop]
bigmax_sup [lemma, in mathcomp.ssreflect.bigop]
bigmax_leqP [lemma, in mathcomp.ssreflect.bigop]
@@ -674,11 +672,16 @@ big_pred1 [lemma, in mathcomp.ssreflect.bigop]
big_pred1_eq [lemma, in mathcomp.ssreflect.bigop]
big_allpairs [lemma, in mathcomp.ssreflect.bigop]
+big_allpairs_dep [lemma, in mathcomp.ssreflect.bigop]
big_cat [lemma, in mathcomp.ssreflect.bigop]
big_mkcondl [lemma, in mathcomp.ssreflect.bigop]
big_mkcondr [lemma, in mathcomp.ssreflect.bigop]
big_mkcond [lemma, in mathcomp.ssreflect.bigop]
big_seq1 [lemma, in mathcomp.ssreflect.bigop]
+big_image_id [lemma, in mathcomp.ssreflect.bigop]
+big_image_cond_id [lemma, in mathcomp.ssreflect.bigop]
+big_image [lemma, in mathcomp.ssreflect.bigop]
+big_image_cond [lemma, in mathcomp.ssreflect.bigop]
big_nseq [lemma, in mathcomp.ssreflect.bigop]
big_nseq_cond [lemma, in mathcomp.ssreflect.bigop]
big_const_ord [lemma, in mathcomp.ssreflect.bigop]
@@ -708,6 +711,7 @@ big_nat_cond [lemma, in mathcomp.ssreflect.bigop]
big_seq [lemma, in mathcomp.ssreflect.bigop]
big_seq_cond [lemma, in mathcomp.ssreflect.bigop]
+big_map_id [lemma, in mathcomp.ssreflect.bigop]
big_const_seq [lemma, in mathcomp.ssreflect.bigop]
big_catr [lemma, in mathcomp.ssreflect.bigop]
big_catl [lemma, in mathcomp.ssreflect.bigop]
@@ -737,11 +741,12 @@ big_ord1 [lemma, in mathcomp.algebra.zmodp]
big_trivIset [lemma, in mathcomp.ssreflect.finset]
big_trivIset_cond [lemma, in mathcomp.ssreflect.finset]
+big_imset_cond [lemma, in mathcomp.ssreflect.finset]
big_imset [lemma, in mathcomp.ssreflect.finset]
big_setU1 [lemma, in mathcomp.ssreflect.finset]
big_setD1 [lemma, in mathcomp.ssreflect.finset]
+big_setIDcond [lemma, in mathcomp.ssreflect.finset]
big_setID [lemma, in mathcomp.ssreflect.finset]
-big_setIDdep [lemma, in mathcomp.ssreflect.finset]
big_set1 [lemma, in mathcomp.ssreflect.finset]
big_set0 [lemma, in mathcomp.ssreflect.finset]
big1 [lemma, in mathcomp.ssreflect.bigop]
@@ -800,12 +805,12 @@ bool_enumP [lemma, in mathcomp.ssreflect.fintype]
bool_irrelevance [lemma, in mathcomp.ssreflect.eqtype]
BOpen [abbreviation, in mathcomp.algebra.interval]
-BOpen [abbreviation, in mathcomp.algebra.interval]
BOpen_if [constructor, in mathcomp.algebra.interval]
boundl_in_itv [lemma, in mathcomp.algebra.interval]
boundr_in_itv [lemma, in mathcomp.algebra.interval]
bound_in_itv [definition, in mathcomp.algebra.interval]
bound_extremal_groups [lemma, in mathcomp.solvable.extremal]
+bsCA [abbreviation, in mathcomp.ssreflect.seq]
BuildIsometries [section, in mathcomp.character.classfun]
BuildIsometries.G [variable, in mathcomp.character.classfun]
BuildIsometries.gT [variable, in mathcomp.character.classfun]
@@ -856,7 +861,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -888,14 +893,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -920,7 +925,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -952,7 +957,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -984,7 +989,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -1016,7 +1021,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1048,7 +1053,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1080,7 +1085,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1112,14 +1117,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1144,7 +1149,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1176,7 +1181,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1208,7 +1213,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1240,14 +1245,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1272,7 +1277,7 @@ Z _ other -(185 entries) +(189 entries) -- cgit v1.2.3