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_S.html | 94 +++++++++++++++++++++++------------------
1 file changed, 54 insertions(+), 40 deletions(-)
(limited to 'docs/htmldoc/index_lemma_S.html')
diff --git a/docs/htmldoc/index_lemma_S.html b/docs/htmldoc/index_lemma_S.html
index 72d70ad..1ef1855 100644
--- a/docs/htmldoc/index_lemma_S.html
+++ b/docs/htmldoc/index_lemma_S.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) |
S (lemma)
@@ -642,13 +642,13 @@
seqs1 [in mathcomp.solvable.burnside_app]
seqv_sub_adjoin [in mathcomp.field.falgebra]
seq_tnthP [in mathcomp.ssreflect.tuple]
+seq_ind2 [in mathcomp.ssreflect.seq]
seq_choiceMixin [in mathcomp.ssreflect.choice]
seq_of_optK [in mathcomp.ssreflect.choice]
seq_sub_axiom [in mathcomp.ssreflect.fintype]
seq_sub_pickleK [in mathcomp.ssreflect.fintype]
seq1_basis [in mathcomp.algebra.vector]
seq1_free [in mathcomp.algebra.vector]
-seq2_ind [in mathcomp.ssreflect.seq]
series_sol [in mathcomp.solvable.nilpotent]
setactE [in mathcomp.fingroup.action]
setactJ [in mathcomp.fingroup.action]
@@ -835,8 +835,7 @@
simple_compsP [in mathcomp.solvable.jordanholder]
simple_maxnormal [in mathcomp.solvable.gseries]
simple_sol_prime [in mathcomp.solvable.maximal]
-sizeTP [in mathcomp.field.closed_field]
-sizeT_qf [in mathcomp.field.closed_field]
+simpl_pred_sortE [in mathcomp.ssreflect.ssrbool]
sizeYE [in mathcomp.algebra.polyXY]
sizeY_mulX [in mathcomp.algebra.polyXY]
sizeY_eq0 [in mathcomp.algebra.polyXY]
@@ -857,7 +856,10 @@
size_poly_XaY [in mathcomp.algebra.polyXY]
size_Cyclotomic [in mathcomp.field.cyclotomic]
size_cyclotomic [in mathcomp.field.cyclotomic]
+size_permutations [in mathcomp.ssreflect.seq]
+size_tally_seq [in mathcomp.ssreflect.seq]
size_allpairs [in mathcomp.ssreflect.seq]
+size_allpairs_dep [in mathcomp.ssreflect.seq]
size_reshape [in mathcomp.ssreflect.seq]
size_flatten [in mathcomp.ssreflect.seq]
size_zip [in mathcomp.ssreflect.seq]
@@ -898,6 +900,10 @@
size_comp_poly2 [in mathcomp.algebra.poly]
size_comp_poly [in mathcomp.algebra.poly]
size_exp [in mathcomp.algebra.poly]
+size_prod_eq1 [in mathcomp.algebra.poly]
+size_prod_seq_eq1 [in mathcomp.algebra.poly]
+size_mul_eq1 [in mathcomp.algebra.poly]
+size_prod_seq [in mathcomp.algebra.poly]
size_prod [in mathcomp.algebra.poly]
size_Cmul [in mathcomp.algebra.poly]
size_scale [in mathcomp.algebra.poly]
@@ -929,6 +935,7 @@
size_addl [in mathcomp.algebra.poly]
size_add [in mathcomp.algebra.poly]
size_opp [in mathcomp.algebra.poly]
+size_polyC_leq1 [in mathcomp.algebra.poly]
size_poly1P [in mathcomp.algebra.poly]
size_poly_gt0 [in mathcomp.algebra.poly]
size_poly_leq0P [in mathcomp.algebra.poly]
@@ -975,9 +982,12 @@
sol_coprime_Sylow_exists [in mathcomp.solvable.hall]
sol_prime_factor_exists [in mathcomp.solvable.maximal]
sol_der1_proper [in mathcomp.solvable.nilpotent]
+Some_inj [in mathcomp.ssreflect.ssrfun]
sop_morph [in mathcomp.solvable.burnside_app]
sop_spec [in mathcomp.solvable.burnside_app]
sop_inj [in mathcomp.solvable.burnside_app]
+sorted_le_nth [in mathcomp.ssreflect.path]
+sorted_lt_nth [in mathcomp.ssreflect.path]
sorted_uniq [in mathcomp.ssreflect.path]
sorted_filter [in mathcomp.ssreflect.path]
sorted_divisors_ltn [in mathcomp.ssreflect.prime]
@@ -1143,6 +1153,8 @@
subn2 [in mathcomp.ssreflect.ssrnat]
SubP [in mathcomp.ssreflect.eqtype]
subq_ge0 [in mathcomp.algebra.rat]
+subr_lersif0r [in mathcomp.algebra.interval]
+subr_lersifr0 [in mathcomp.algebra.interval]
subseqP [in mathcomp.ssreflect.seq]
subseq_sorted [in mathcomp.ssreflect.path]
subseq_order_path [in mathcomp.ssreflect.path]
@@ -1151,8 +1163,8 @@
subseq_uniq [in mathcomp.ssreflect.seq]
subseq_rcons [in mathcomp.ssreflect.seq]
subseq_cons [in mathcomp.ssreflect.seq]
-subseq_refl [in mathcomp.ssreflect.seq]
subseq_trans [in mathcomp.ssreflect.seq]
+subseq_refl [in mathcomp.ssreflect.seq]
subseq0 [in mathcomp.ssreflect.seq]
subsetC [in mathcomp.ssreflect.finset]
subsetD [in mathcomp.ssreflect.finset]
@@ -1352,8 +1364,10 @@
summx_sub_sums [in mathcomp.algebra.mxalgebra]
summx_sub [in mathcomp.algebra.mxalgebra]
sumMz [in mathcomp.algebra.ssrint]
+sumnE [in mathcomp.ssreflect.bigop]
sumn_flatten [in mathcomp.ssreflect.seq]
sumn_rev [in mathcomp.ssreflect.seq]
+sumn_rot [in mathcomp.ssreflect.seq]
sumn_rcons [in mathcomp.ssreflect.seq]
sumn_count [in mathcomp.ssreflect.seq]
sumn_cat [in mathcomp.ssreflect.seq]
@@ -1389,7 +1403,7 @@
sum_eqP [in mathcomp.ssreflect.eqtype]
sum_totient_dvd [in mathcomp.solvable.cyclic]
sum_ncycle_totient [in mathcomp.solvable.cyclic]
-sum_nat_dep_const [in mathcomp.ssreflect.finset]
+sum_nat_cond_const [in mathcomp.ssreflect.finset]
sum1dep_card [in mathcomp.ssreflect.finset]
sum1_size [in mathcomp.ssreflect.bigop]
sum1_count [in mathcomp.ssreflect.bigop]
@@ -1481,7 +1495,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -1513,14 +1527,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1545,7 +1559,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -1577,7 +1591,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -1609,7 +1623,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -1641,7 +1655,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -1673,7 +1687,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -1705,7 +1719,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -1737,14 +1751,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1769,7 +1783,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -1801,7 +1815,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -1833,7 +1847,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -1865,14 +1879,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1897,7 +1911,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3