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_L.html | 136 ++++++++++++++++++++++++++++------------
1 file changed, 97 insertions(+), 39 deletions(-)
(limited to 'docs/htmldoc/index_lemma_L.html')
diff --git a/docs/htmldoc/index_lemma_L.html b/docs/htmldoc/index_lemma_L.html
index 01a0b94..762636e 100644
--- a/docs/htmldoc/index_lemma_L.html
+++ b/docs/htmldoc/index_lemma_L.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) |
L (lemma)
@@ -477,6 +477,7 @@
lastP [in mathcomp.ssreflect.seq]
last_traject [in mathcomp.ssreflect.path]
last_map [in mathcomp.ssreflect.seq]
+last_eq [in mathcomp.ssreflect.seq]
last_nth [in mathcomp.ssreflect.seq]
last_ind [in mathcomp.ssreflect.seq]
last_rcons [in mathcomp.ssreflect.seq]
@@ -556,6 +557,7 @@
lead_coefX [in mathcomp.algebra.poly]
lead_coef_proper_mul [in mathcomp.algebra.poly]
lead_coef1 [in mathcomp.algebra.poly]
+lead_coefDr [in mathcomp.algebra.poly]
lead_coefDl [in mathcomp.algebra.poly]
lead_coef_opp [in mathcomp.algebra.poly]
lead_coef_eq0 [in mathcomp.algebra.poly]
@@ -563,8 +565,6 @@
lead_coef_poly [in mathcomp.algebra.poly]
lead_coefC [in mathcomp.algebra.poly]
lead_coefE [in mathcomp.algebra.poly]
-lead_coefT_qf [in mathcomp.field.closed_field]
-lead_coefTP [in mathcomp.field.closed_field]
left_arc [in mathcomp.ssreflect.path]
left_trans [in mathcomp.ssreflect.generic_quotient]
leNz_nat [in mathcomp.algebra.ssrint]
@@ -584,8 +584,13 @@
leqP [in mathcomp.ssreflect.ssrnat]
leqSpred [in mathcomp.ssreflect.ssrnat]
leqW [in mathcomp.ssreflect.ssrnat]
+leqW_nmono_in [in mathcomp.ssreflect.ssrnat]
+leqW_mono_in [in mathcomp.ssreflect.ssrnat]
+leqW_nmono [in mathcomp.ssreflect.ssrnat]
+leqW_mono [in mathcomp.ssreflect.ssrnat]
leq_quotient [in mathcomp.fingroup.quotient]
leq_bin2l [in mathcomp.ssreflect.binomial]
+leq_index [in mathcomp.ssreflect.path]
leq_divLR [in mathcomp.ssreflect.div]
leq_divDl [in mathcomp.ssreflect.div]
leq_div2l [in mathcomp.ssreflect.div]
@@ -594,12 +599,15 @@
leq_div [in mathcomp.ssreflect.div]
leq_mod [in mathcomp.ssreflect.div]
leq_trunc_div [in mathcomp.ssreflect.div]
-leq_size_perm [in mathcomp.ssreflect.seq]
leq_size_uniq [in mathcomp.ssreflect.seq]
leq_ord [in mathcomp.ssreflect.fintype]
leq_bump2 [in mathcomp.ssreflect.fintype]
leq_bump [in mathcomp.ssreflect.fintype]
leq_image_card [in mathcomp.ssreflect.fintype]
+leq_nmono_in [in mathcomp.ssreflect.ssrnat]
+leq_mono_in [in mathcomp.ssreflect.ssrnat]
+leq_nmono [in mathcomp.ssreflect.ssrnat]
+leq_mono [in mathcomp.ssreflect.ssrnat]
leq_sqr [in mathcomp.ssreflect.ssrnat]
leq_Sdouble [in mathcomp.ssreflect.ssrnat]
leq_double [in mathcomp.ssreflect.ssrnat]
@@ -632,6 +640,7 @@
leq_ltn_trans [in mathcomp.ssreflect.ssrnat]
leq_trans [in mathcomp.ssreflect.ssrnat]
leq_eqVlt [in mathcomp.ssreflect.ssrnat]
+leq_gtF [in mathcomp.ssreflect.ssrnat]
leq_pred [in mathcomp.ssreflect.ssrnat]
leq_sizeP [in mathcomp.algebra.poly]
leq_bigmax [in mathcomp.ssreflect.bigop]
@@ -652,7 +661,43 @@
lersifW [in mathcomp.algebra.interval]
lersifxx [in mathcomp.algebra.interval]
lersif_in_itv [in mathcomp.algebra.interval]
+lersif_ndivr_mull [in mathcomp.algebra.interval]
+lersif_ndivl_mull [in mathcomp.algebra.interval]
+lersif_ndivr_mulr [in mathcomp.algebra.interval]
+lersif_ndivl_mulr [in mathcomp.algebra.interval]
+lersif_pdivr_mull [in mathcomp.algebra.interval]
+lersif_pdivl_mull [in mathcomp.algebra.interval]
+lersif_pdivr_mulr [in mathcomp.algebra.interval]
+lersif_pdivl_mulr [in mathcomp.algebra.interval]
+lersif_maxl [in mathcomp.algebra.interval]
+lersif_maxr [in mathcomp.algebra.interval]
+lersif_minl [in mathcomp.algebra.interval]
+lersif_minr [in mathcomp.algebra.interval]
+lersif_distl [in mathcomp.algebra.interval]
+lersif_normr [in mathcomp.algebra.interval]
+lersif_norml [in mathcomp.algebra.interval]
+lersif_nnormr [in mathcomp.algebra.interval]
+lersif_nmul2r [in mathcomp.algebra.interval]
+lersif_nmul2l [in mathcomp.algebra.interval]
+lersif_pmul2r [in mathcomp.algebra.interval]
+lersif_pmul2l [in mathcomp.algebra.interval]
+lersif_imply [in mathcomp.algebra.interval]
+lersif_orb [in mathcomp.algebra.interval]
+lersif_andb [in mathcomp.algebra.interval]
+lersif_subr_addl [in mathcomp.algebra.interval]
+lersif_subl_addl [in mathcomp.algebra.interval]
+lersif_subr_addr [in mathcomp.algebra.interval]
+lersif_subl_addr [in mathcomp.algebra.interval]
+lersif_add2r [in mathcomp.algebra.interval]
+lersif_add2l [in mathcomp.algebra.interval]
+lersif_opp2 [in mathcomp.algebra.interval]
+lersif_oppr0 [in mathcomp.algebra.interval]
+lersif_0oppr [in mathcomp.algebra.interval]
+lersif_oppr [in mathcomp.algebra.interval]
+lersif_oppl [in mathcomp.algebra.interval]
+lersif_anti [in mathcomp.algebra.interval]
lersif_trans [in mathcomp.algebra.interval]
+lersif01 [in mathcomp.algebra.interval]
lerz0 [in mathcomp.algebra.ssrint]
lerz1 [in mathcomp.algebra.ssrint]
ler_rat [in mathcomp.algebra.rat]
@@ -696,10 +741,16 @@
le_rat0M [in mathcomp.algebra.rat]
le_rat0D [in mathcomp.algebra.rat]
le_rat0 [in mathcomp.algebra.rat]
+le_boundr_total [in mathcomp.algebra.interval]
+le_boundl_total [in mathcomp.algebra.interval]
+le_boundr_anti [in mathcomp.algebra.interval]
+le_boundl_anti [in mathcomp.algebra.interval]
le_boundr_bb [in mathcomp.algebra.interval]
le_boundl_bb [in mathcomp.algebra.interval]
-le_boundl_refl [in mathcomp.algebra.interval]
+le_boundr_trans [in mathcomp.algebra.interval]
+le_boundl_trans [in mathcomp.algebra.interval]
le_boundr_refl [in mathcomp.algebra.interval]
+le_boundl_refl [in mathcomp.algebra.interval]
le_irrelevance [in mathcomp.ssreflect.ssrnat]
le0z_nat [in mathcomp.algebra.ssrint]
lfunE [in mathcomp.algebra.vector]
@@ -846,9 +897,14 @@
ltnS [in mathcomp.ssreflect.ssrnat]
ltnSn [in mathcomp.ssreflect.ssrnat]
ltnW [in mathcomp.ssreflect.ssrnat]
+ltnW_nhomo_in [in mathcomp.ssreflect.ssrnat]
+ltnW_homo_in [in mathcomp.ssreflect.ssrnat]
+ltnW_nhomo [in mathcomp.ssreflect.ssrnat]
+ltnW_homo [in mathcomp.ssreflect.ssrnat]
ltNz_nat [in mathcomp.algebra.ssrint]
ltn_log_quotient [in mathcomp.solvable.pgroup]
ltn_quotient [in mathcomp.fingroup.quotient]
+ltn_index [in mathcomp.ssreflect.path]
ltn_sorted_uniq_leq [in mathcomp.ssreflect.path]
ltn_odd_Frobenius_ker [in mathcomp.solvable.frobenius]
ltn_logl [in mathcomp.ssreflect.prime]
@@ -887,6 +943,7 @@
ltn_add2l [in mathcomp.ssreflect.ssrnat]
ltn_trans [in mathcomp.ssreflect.ssrnat]
ltn_neqAle [in mathcomp.ssreflect.ssrnat]
+ltn_geF [in mathcomp.ssreflect.ssrnat]
ltn_eqF [in mathcomp.ssreflect.ssrnat]
ltn_predK [in mathcomp.ssreflect.ssrnat]
ltn_morphim [in mathcomp.fingroup.morphism]
@@ -894,6 +951,7 @@
ltn0Sn [in mathcomp.ssreflect.ssrnat]
ltP [in mathcomp.ssreflect.ssrnat]
ltrq0 [in mathcomp.algebra.rat]
+ltrW_lersif [in mathcomp.algebra.interval]
ltrz0 [in mathcomp.algebra.ssrint]
ltrz1 [in mathcomp.algebra.ssrint]
ltr_rat [in mathcomp.algebra.rat]
@@ -965,7 +1023,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -997,14 +1055,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1029,7 +1087,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -1061,7 +1119,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -1093,7 +1151,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -1125,7 +1183,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -1157,7 +1215,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -1189,7 +1247,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -1221,14 +1279,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1253,7 +1311,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -1285,7 +1343,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -1317,7 +1375,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -1349,14 +1407,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1381,7 +1439,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3