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_F.html | 82 ++++++++++++++++++++++-------------------
1 file changed, 45 insertions(+), 37 deletions(-)
(limited to 'docs/htmldoc/index_lemma_F.html')
diff --git a/docs/htmldoc/index_lemma_F.html b/docs/htmldoc/index_lemma_F.html
index 97a2f94..537c384 100644
--- a/docs/htmldoc/index_lemma_F.html
+++ b/docs/htmldoc/index_lemma_F.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) |
F (lemma)
@@ -561,8 +561,11 @@
ffun_addA [in mathcomp.algebra.ssralg]
ffun_vect_iso [in mathcomp.algebra.vector]
ffun_onP [in mathcomp.ssreflect.finfun]
+ffun0 [in mathcomp.ssreflect.finfun]
ffun1_nonzero [in mathcomp.algebra.ssralg]
+fgraphK [in mathcomp.ssreflect.finfun]
fgraph_codom [in mathcomp.ssreflect.finfun]
+fgraph_ffun0 [in mathcomp.ssreflect.finfun]
Fid [in mathcomp.solvable.burnside_app]
Fid3 [in mathcomp.solvable.burnside_app]
fieldExt_hornerZ [in mathcomp.field.fieldext]
@@ -601,6 +604,7 @@
filter_pred0 [in mathcomp.ssreflect.seq]
filter_rcons [in mathcomp.ssreflect.seq]
filter_cat [in mathcomp.ssreflect.seq]
+filter_nseq [in mathcomp.ssreflect.seq]
filter_id [in mathcomp.ssreflect.seq]
filter_all [in mathcomp.ssreflect.seq]
filter_pairwise_orthogonal [in mathcomp.character.classfun]
@@ -620,6 +624,8 @@
finField_galois [in mathcomp.field.finfield]
finField_is_abelem [in mathcomp.field.finfield]
finField_genPoly [in mathcomp.field.finfield]
+FinfunDef.finfunE [in mathcomp.ssreflect.finfun]
+FinfunK [in mathcomp.ssreflect.finfun]
FinGroup.mk_invMg [in mathcomp.fingroup.fingroup]
FinGroup.mk_invgK [in mathcomp.fingroup.fingroup]
FiniteModule.actAr [in mathcomp.solvable.finmodule]
@@ -756,13 +762,17 @@
fmorph_primitive_root [in mathcomp.algebra.poly]
fmorph_unity_root [in mathcomp.algebra.poly]
fmorph_root [in mathcomp.algebra.poly]
+foldlE [in mathcomp.ssreflect.bigop]
foldl_cat [in mathcomp.ssreflect.seq]
foldl_rev [in mathcomp.ssreflect.seq]
+foldl_idx [in mathcomp.ssreflect.bigop]
+foldrE [in mathcomp.ssreflect.bigop]
foldr_map [in mathcomp.ssreflect.seq]
foldr_cat [in mathcomp.ssreflect.seq]
forallb_tnth [in mathcomp.ssreflect.tuple]
forallP [in mathcomp.ssreflect.fintype]
forallPP [in mathcomp.ssreflect.fintype]
+forall_inPP [in mathcomp.ssreflect.fintype]
forall_inP [in mathcomp.ssreflect.fintype]
fpathP [in mathcomp.ssreflect.path]
fpath_traject [in mathcomp.ssreflect.path]
@@ -857,8 +867,6 @@
froot_id [in mathcomp.ssreflect.fingraph]
fst_morphM [in mathcomp.fingroup.gproduct]
Fundamental_Theorem_of_Algebraics [in mathcomp.field.algebraics_fundamentals]
-FunFinfun.finfunE [in mathcomp.ssreflect.finfun]
-FunFinfun.fun_of_finE [in mathcomp.ssreflect.finfun]
fun_of_lfunK [in mathcomp.algebra.vector]
f_invF [in mathcomp.ssreflect.fintype]
f_iinv [in mathcomp.ssreflect.fintype]
@@ -925,7 +933,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -957,14 +965,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -989,7 +997,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -1021,7 +1029,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -1053,7 +1061,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -1085,7 +1093,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -1117,7 +1125,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -1149,7 +1157,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -1181,14 +1189,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1213,7 +1221,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -1245,7 +1253,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -1277,7 +1285,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -1309,14 +1317,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1341,7 +1349,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3