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_D.html | 112 ++++++++++++++++++++++++--------------- 1 file changed, 70 insertions(+), 42 deletions(-) (limited to 'docs/htmldoc/index_global_D.html') diff --git a/docs/htmldoc/index_global_D.html b/docs/htmldoc/index_global_D.html index 2ea16b9..ff53eda 100644 --- a/docs/htmldoc/index_global_D.html +++ b/docs/htmldoc/index_global_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

@@ -493,6 +493,8 @@ DecideRed.gT [variable, in mathcomp.character.mxrepresentation]
DecideRed.n [variable, in mathcomp.character.mxrepresentation]
DecideRed.rG [variable, in mathcomp.character.mxrepresentation]
+decrn_inj_in [lemma, in mathcomp.ssreflect.ssrnat]
+decrn_inj [lemma, in mathcomp.ssreflect.ssrnat]
DecSocleType [lemma, in mathcomp.character.mxrepresentation]
dec_mx_reducible_semisimple [lemma, in mathcomp.character.mxrepresentation]
dec_mxsimple_exists [lemma, in mathcomp.character.mxrepresentation]
@@ -525,7 +527,7 @@ Defs.gT [variable, in mathcomp.solvable.maximal]
Defs.gT [variable, in mathcomp.character.classfun]
Defs.gT [variable, in mathcomp.solvable.center]
-'1_ _ (ring_scope) [notation, in mathcomp.character.classfun]
+'1_ _ (ring_scope) [notation, in mathcomp.character.classfun]
def_pnElem [lemma, in mathcomp.solvable.abelian]
def_pblock [lemma, in mathcomp.ssreflect.finset]
Def.aT [variable, in mathcomp.ssreflect.finfun]
@@ -556,6 +558,29 @@ denq_lt0 [lemma, in mathcomp.algebra.rat]
denq_ge0 [definition, in mathcomp.algebra.rat]
denq_gt0 [lemma, in mathcomp.algebra.rat]
+DepPlainTheory [section, in mathcomp.ssreflect.finfun]
+DepPlainTheory.aT [variable, in mathcomp.ssreflect.finfun]
+DepPlainTheory.F [variable, in mathcomp.ssreflect.finfun]
+DepPlainTheory.pT [variable, in mathcomp.ssreflect.finfun]
+DepPlainTheory.rT [variable, in mathcomp.ssreflect.finfun]
+Deprecation [module, in mathcomp.ssreflect.ssreflect]
+Deprecation.Exports [module, in mathcomp.ssreflect.ssreflect]
+Deprecation.Exports.deprecate [abbreviation, in mathcomp.ssreflect.ssreflect]
+Deprecation.exposed [definition, in mathcomp.ssreflect.ssreflect]
+Deprecation.hidden [definition, in mathcomp.ssreflect.ssreflect]
+Deprecation.hide [definition, in mathcomp.ssreflect.ssreflect]
+Deprecation.hint [projection, in mathcomp.ssreflect.ssreflect]
+Deprecation.Hint [constructor, in mathcomp.ssreflect.ssreflect]
+Deprecation.hinted [record, in mathcomp.ssreflect.ssreflect]
+Deprecation.Reject [module, in mathcomp.ssreflect.ssreflect]
+Deprecation.Reject [constructor, in mathcomp.ssreflect.ssreflect]
+Deprecation.reject [inductive, in mathcomp.ssreflect.ssreflect]
+Deprecation.reject_hint [definition, in mathcomp.ssreflect.ssreflect]
+Deprecation.Silent [module, in mathcomp.ssreflect.ssreflect]
+Deprecation.Silent [constructor, in mathcomp.ssreflect.ssreflect]
+Deprecation.silent [inductive, in mathcomp.ssreflect.ssreflect]
+Deprecation.silent_hint [definition, in mathcomp.ssreflect.ssreflect]
+Deprecation.statement [projection, in mathcomp.ssreflect.ssreflect]
dergS [lemma, in mathcomp.solvable.commutator]
dergSn [lemma, in mathcomp.solvable.commutator]
derg0 [lemma, in mathcomp.solvable.commutator]
@@ -666,6 +691,8 @@ det0 [lemma, in mathcomp.algebra.matrix]
det0P [lemma, in mathcomp.algebra.matrix]
det1 [lemma, in mathcomp.algebra.matrix]
+dffun_aT [abbreviation, in mathcomp.ssreflect.finfun]
+dfinfun_of [definition, in mathcomp.ssreflect.finfun]
dfs [definition, in mathcomp.ssreflect.fingraph]
dfsP [lemma, in mathcomp.ssreflect.fingraph]
DfsPath [constructor, in mathcomp.ssreflect.fingraph]
@@ -796,12 +823,12 @@ Distributivity.R [variable, in mathcomp.ssreflect.bigop]
Distributivity.times [variable, in mathcomp.ssreflect.bigop]
Distributivity.zero [variable, in mathcomp.ssreflect.bigop]
-_ + _ [notation, in mathcomp.ssreflect.bigop]
-_ * _ [notation, in mathcomp.ssreflect.bigop]
-*%M [notation, in mathcomp.ssreflect.bigop]
-+%M [notation, in mathcomp.ssreflect.bigop]
-0 [notation, in mathcomp.ssreflect.bigop]
-1 [notation, in mathcomp.ssreflect.bigop]
+_ + _ [notation, in mathcomp.ssreflect.bigop]
+_ * _ [notation, in mathcomp.ssreflect.bigop]
+*%M [notation, in mathcomp.ssreflect.bigop]
++%M [notation, in mathcomp.ssreflect.bigop]
+0 [notation, in mathcomp.ssreflect.bigop]
+1 [notation, in mathcomp.ssreflect.bigop]
div [library]
divgI [lemma, in mathcomp.fingroup.fingroup]
divgr [definition, in mathcomp.fingroup.gproduct]
@@ -981,6 +1008,7 @@ dprod1g [lemma, in mathcomp.fingroup.gproduct]
drop [definition, in mathcomp.ssreflect.seq]
drop_tupleP [lemma, in mathcomp.ssreflect.tuple]
+drop_subseq [lemma, in mathcomp.ssreflect.seq]
drop_rev [lemma, in mathcomp.ssreflect.seq]
drop_nth [lemma, in mathcomp.ssreflect.seq]
drop_rcons [lemma, in mathcomp.ssreflect.seq]
@@ -1147,7 +1175,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -1179,14 +1207,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -1211,7 +1239,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -1243,7 +1271,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -1275,7 +1303,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -1307,7 +1335,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1339,7 +1367,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1371,7 +1399,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1403,14 +1431,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1435,7 +1463,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1467,7 +1495,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1499,7 +1527,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1531,14 +1559,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1563,7 +1591,7 @@ Z _ other -(185 entries) +(189 entries) -- cgit v1.2.3