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_M.html | 79 +++++++++++++++++++++++------------------
1 file changed, 44 insertions(+), 35 deletions(-)
(limited to 'docs/htmldoc/index_lemma_M.html')
diff --git a/docs/htmldoc/index_lemma_M.html b/docs/htmldoc/index_lemma_M.html
index 72cf96d..a223f25 100644
--- a/docs/htmldoc/index_lemma_M.html
+++ b/docs/htmldoc/index_lemma_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 (lemma)
@@ -547,6 +547,7 @@
map_trmx [in mathcomp.algebra.matrix]
map_mx_key [in mathcomp.algebra.matrix]
map_mx_inv_horner [in mathcomp.algebra.mxpoly]
+map_mx_companion [in mathcomp.algebra.mxpoly]
map_horner_mx [in mathcomp.algebra.mxpoly]
map_powers_mx [in mathcomp.algebra.mxpoly]
map_resultant [in mathcomp.algebra.mxpoly]
@@ -557,6 +558,7 @@
map_div_annihilantP [in mathcomp.algebra.polyXY]
map_sub_annihilantP [in mathcomp.algebra.polyXY]
map_Qnum_poly [in mathcomp.field.algnum]
+map_allpairs [in mathcomp.ssreflect.seq]
map_reshape [in mathcomp.ssreflect.seq]
map_flatten [in mathcomp.ssreflect.seq]
map_pK [in mathcomp.ssreflect.seq]
@@ -889,11 +891,14 @@
mem_Cint_span [in mathcomp.field.algnum]
mem_Crat_span [in mathcomp.field.algnum]
mem_irr [in mathcomp.character.character]
+mem_permutations [in mathcomp.ssreflect.seq]
mem_allpairs [in mathcomp.ssreflect.seq]
+mem_allpairs_dep [in mathcomp.ssreflect.seq]
mem_iota [in mathcomp.ssreflect.seq]
mem_pmap_sub [in mathcomp.ssreflect.seq]
mem_pmap [in mathcomp.ssreflect.seq]
mem_map [in mathcomp.ssreflect.seq]
+mem_rem_uniqF [in mathcomp.ssreflect.seq]
mem_rem_uniq [in mathcomp.ssreflect.seq]
mem_rem [in mathcomp.ssreflect.seq]
mem_subseq [in mathcomp.ssreflect.seq]
@@ -903,6 +908,7 @@
mem_rotr [in mathcomp.ssreflect.seq]
mem_rot [in mathcomp.ssreflect.seq]
mem_undup [in mathcomp.ssreflect.seq]
+mem_nseq [in mathcomp.ssreflect.seq]
mem_rev [in mathcomp.ssreflect.seq]
mem_filter [in mathcomp.ssreflect.seq]
mem_drop [in mathcomp.ssreflect.seq]
@@ -1167,6 +1173,8 @@
Monoid.Theory.mul0m [in mathcomp.ssreflect.bigop]
Monoid.Theory.mul1m [in mathcomp.ssreflect.bigop]
mono_leqif [in mathcomp.ssreflect.ssrnat]
+mono_inj [in mathcomp.ssreflect.eqtype]
+mono_inj_in [in mathcomp.ssreflect.eqtype]
morphicP [in mathcomp.fingroup.morphism]
morphic_aut [in mathcomp.fingroup.automorphism]
morphimD [in mathcomp.fingroup.morphism]
@@ -1426,6 +1434,7 @@
mulmx_sumr [in mathcomp.algebra.matrix]
mulmx_suml [in mathcomp.algebra.matrix]
mulmx_key [in mathcomp.algebra.matrix]
+mulmx_delta_companion [in mathcomp.algebra.mxpoly]
mulmx_ker [in mathcomp.algebra.mxalgebra]
mulmx_sub [in mathcomp.algebra.mxalgebra]
mulmx_coker [in mathcomp.algebra.mxalgebra]
@@ -1827,7 +1836,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -1859,14 +1868,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1891,7 +1900,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -1923,7 +1932,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -1955,7 +1964,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -1987,7 +1996,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -2019,7 +2028,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -2051,7 +2060,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -2083,14 +2092,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -2115,7 +2124,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -2147,7 +2156,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -2179,7 +2188,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -2211,14 +2220,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -2243,7 +2252,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3