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_variable_M.html | 108 ++++++++++++++++++++++++------------- 1 file changed, 71 insertions(+), 37 deletions(-) (limited to 'docs/htmldoc/index_variable_M.html') diff --git a/docs/htmldoc/index_variable_M.html b/docs/htmldoc/index_variable_M.html index cf2efac..8f46b25 100644 --- a/docs/htmldoc/index_variable_M.html +++ b/docs/htmldoc/index_variable_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 (variable)

@@ -499,6 +499,7 @@ MapField.aF [in mathcomp.algebra.mxpoly]
MapField.f [in mathcomp.algebra.mxpoly]
MapField.n' [in mathcomp.algebra.mxpoly]
+MapField.p [in mathcomp.algebra.mxpoly]
MapField.rF [in mathcomp.algebra.mxpoly]
MapMatrixSpaces.aF [in mathcomp.algebra.mxalgebra]
MapMatrixSpaces.f [in mathcomp.algebra.mxalgebra]
@@ -629,8 +630,8 @@ MatrixGenField.FiniteGenField.n' [in mathcomp.character.mxrepresentation]
MatrixGenField.FiniteGenField.rG [in mathcomp.character.mxrepresentation]
MatrixGenField.GenField.A [in mathcomp.character.mxrepresentation]
-MatrixGenField.GenField.Bijection.m1 [in mathcomp.character.mxrepresentation]
-MatrixGenField.GenField.Bijection2.m1 [in mathcomp.character.mxrepresentation]
+MatrixGenField.GenField.Bijection.m [in mathcomp.character.mxrepresentation]
+MatrixGenField.GenField.Bijection2.m [in mathcomp.character.mxrepresentation]
MatrixGenField.GenField.cGA [in mathcomp.character.mxrepresentation]
MatrixGenField.GenField.d_gt0 [in mathcomp.character.mxrepresentation]
MatrixGenField.GenField.F [in mathcomp.character.mxrepresentation]
@@ -729,6 +730,26 @@ ModularRepresentation.n [in mathcomp.character.mxabelem]
ModularRepresentation.p [in mathcomp.character.mxabelem]
ModularRepresentation.rG [in mathcomp.character.mxabelem]
+MonoHomoTheory.aR [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.aRE [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.aR_anti [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.aR_refl [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.aR' [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.aR'E [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.aT [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.D [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.f [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.InDom.aR_anti [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.InDom.D [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.InDom.DifferentDom.D' [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.InDom.rR_anti [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rR [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rRE [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rR_anti [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rR_refl [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rR' [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rR'E [in mathcomp.ssreflect.eqtype]
+MonoHomoTheory.rT [in mathcomp.ssreflect.eqtype]
MonoidProperties.Abelian.op [in mathcomp.ssreflect.bigop]
MonoidProperties.idx [in mathcomp.ssreflect.bigop]
MonoidProperties.Plain.op [in mathcomp.ssreflect.bigop]
@@ -754,6 +775,19 @@ MonotonicFunctorTheory.Composition.F2 [in mathcomp.solvable.gfunctor]
MonotonicFunctorTheory.F1 [in mathcomp.solvable.gfunctor]
MonotonicFunctorTheory.F2 [in mathcomp.solvable.gfunctor]
+Monotonicity.NatToNat.anti_geq [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.anti_leq [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.D [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.D' [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.f [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.gtn_neqAge [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.leq_total [in mathcomp.ssreflect.ssrnat]
+Monotonicity.NatToNat.ltn_neqAle [in mathcomp.ssreflect.ssrnat]
+Monotonicity.r [in mathcomp.ssreflect.path]
+Monotonicity.r_refl [in mathcomp.ssreflect.path]
+Monotonicity.r_trans [in mathcomp.ssreflect.path]
+Monotonicity.T [in mathcomp.ssreflect.path]
+Monotonicity.T [in mathcomp.ssreflect.ssrnat]
MoreConstt.G [in mathcomp.character.character]
MoreConstt.gT [in mathcomp.character.character]
MoreConstt.H [in mathcomp.character.character]
@@ -993,7 +1027,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -1025,14 +1059,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -1057,7 +1091,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -1089,7 +1123,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -1121,7 +1155,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -1153,7 +1187,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1185,7 +1219,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1217,7 +1251,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1249,14 +1283,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1281,7 +1315,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1313,7 +1347,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1345,7 +1379,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1377,14 +1411,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1409,7 +1443,7 @@ Z _ other -(185 entries) +(189 entries) -- cgit v1.2.3