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_P.html | 123 +++++++++++++++++++++++-----------------
1 file changed, 72 insertions(+), 51 deletions(-)
(limited to 'docs/htmldoc/index_lemma_P.html')
diff --git a/docs/htmldoc/index_lemma_P.html b/docs/htmldoc/index_lemma_P.html
index 4907493..f9827ec 100644
--- a/docs/htmldoc/index_lemma_P.html
+++ b/docs/htmldoc/index_lemma_P.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) |
P (lemma)
@@ -994,11 +994,19 @@
PermDef.fun_of_permE [in mathcomp.fingroup.perm]
PermDef.permE [in mathcomp.fingroup.perm]
permE [in mathcomp.fingroup.perm]
+permEl [in mathcomp.ssreflect.seq]
permJ [in mathcomp.fingroup.perm]
permK [in mathcomp.fingroup.perm]
permKV [in mathcomp.fingroup.perm]
permM [in mathcomp.fingroup.perm]
permP [in mathcomp.fingroup.perm]
+permP [in mathcomp.ssreflect.seq]
+permPl [in mathcomp.ssreflect.seq]
+permPr [in mathcomp.ssreflect.seq]
+permutationsE [in mathcomp.ssreflect.seq]
+permutationsErot [in mathcomp.ssreflect.seq]
+permutations_all_uniq [in mathcomp.ssreflect.seq]
+permutations_uniq [in mathcomp.ssreflect.seq]
permX [in mathcomp.fingroup.perm]
perm_sortP [in mathcomp.ssreflect.path]
perm_sort [in mathcomp.ssreflect.path]
@@ -1023,40 +1031,49 @@
perm_inE [in mathcomp.fingroup.automorphism]
perm_in_on [in mathcomp.fingroup.automorphism]
perm_in_inj [in mathcomp.fingroup.automorphism]
-perm_undup_count [in mathcomp.ssreflect.seq]
-perm_eq_iotaP [in mathcomp.ssreflect.seq]
+perm_permutations [in mathcomp.ssreflect.seq]
+perm_count_undup [in mathcomp.ssreflect.seq]
+perm_tally_seq [in mathcomp.ssreflect.seq]
+perm_tally [in mathcomp.ssreflect.seq]
+perm_flatten [in mathcomp.ssreflect.seq]
+perm_sumn [in mathcomp.ssreflect.seq]
+perm_iotaP [in mathcomp.ssreflect.seq]
+perm_pmap [in mathcomp.ssreflect.seq]
+perm_map_inj [in mathcomp.ssreflect.seq]
perm_map [in mathcomp.ssreflect.seq]
perm_to_subseq [in mathcomp.ssreflect.seq]
perm_to_rem [in mathcomp.ssreflect.seq]
-perm_eq_uniq [in mathcomp.ssreflect.seq]
+perm_undup [in mathcomp.ssreflect.seq]
perm_uniq [in mathcomp.ssreflect.seq]
-perm_eq_small [in mathcomp.ssreflect.seq]
-perm_eq_size [in mathcomp.ssreflect.seq]
-perm_eq_all [in mathcomp.ssreflect.seq]
-perm_eq_mem [in mathcomp.ssreflect.seq]
+perm_small_eq [in mathcomp.ssreflect.seq]
+perm_all [in mathcomp.ssreflect.seq]
+perm_has [in mathcomp.ssreflect.seq]
+perm_consP [in mathcomp.ssreflect.seq]
+perm_nilP [in mathcomp.ssreflect.seq]
+perm_mem [in mathcomp.ssreflect.seq]
+perm_size [in mathcomp.ssreflect.seq]
perm_filterC [in mathcomp.ssreflect.seq]
perm_filter [in mathcomp.ssreflect.seq]
-perm_eq_rev [in mathcomp.ssreflect.seq]
+perm_rev [in mathcomp.ssreflect.seq]
perm_rotr [in mathcomp.ssreflect.seq]
perm_rot [in mathcomp.ssreflect.seq]
perm_rcons [in mathcomp.ssreflect.seq]
perm_catCA [in mathcomp.ssreflect.seq]
perm_catAC [in mathcomp.ssreflect.seq]
+perm_cat [in mathcomp.ssreflect.seq]
+perm_catr [in mathcomp.ssreflect.seq]
perm_cat2r [in mathcomp.ssreflect.seq]
perm_cons [in mathcomp.ssreflect.seq]
+perm_catl [in mathcomp.ssreflect.seq]
perm_cat2l [in mathcomp.ssreflect.seq]
perm_catC [in mathcomp.ssreflect.seq]
-perm_eqrP [in mathcomp.ssreflect.seq]
-perm_eqlP [in mathcomp.ssreflect.seq]
-perm_eqlE [in mathcomp.ssreflect.seq]
-perm_eq_trans [in mathcomp.ssreflect.seq]
-perm_eq_sym [in mathcomp.ssreflect.seq]
-perm_eq_refl [in mathcomp.ssreflect.seq]
-perm_eqP [in mathcomp.ssreflect.seq]
-perm_eq_abelian_type [in mathcomp.solvable.abelian]
+perm_trans [in mathcomp.ssreflect.seq]
+perm_sym [in mathcomp.ssreflect.seq]
+perm_refl [in mathcomp.ssreflect.seq]
perm_faithful [in mathcomp.fingroup.action]
perm_act1P [in mathcomp.fingroup.action]
perm_mact [in mathcomp.fingroup.action]
+perm_big [in mathcomp.ssreflect.bigop]
perm1 [in mathcomp.fingroup.perm]
pexpIrz [in mathcomp.algebra.ssrint]
pexprz_eq1 [in mathcomp.algebra.ssrint]
@@ -1169,6 +1186,7 @@
pmapS_filter [in mathcomp.ssreflect.seq]
pmap_sub_uniq [in mathcomp.ssreflect.seq]
pmap_uniq [in mathcomp.ssreflect.seq]
+pmap_cat [in mathcomp.ssreflect.seq]
pmap_filter [in mathcomp.ssreflect.seq]
pmaxElemJ [in mathcomp.solvable.abelian]
pmaxElemP [in mathcomp.solvable.abelian]
@@ -1358,6 +1376,9 @@
primeChar_scaleDr [in mathcomp.field.finfield]
primeChar_scale1 [in mathcomp.field.finfield]
primeChar_scaleA [in mathcomp.field.finfield]
+PrimeDecompAux.edivn2P [in mathcomp.ssreflect.prime]
+PrimeDecompAux.elogn2P [in mathcomp.ssreflect.prime]
+PrimeDecompAux.ifnzP [in mathcomp.ssreflect.prime]
primeP [in mathcomp.ssreflect.prime]
primePn [in mathcomp.ssreflect.prime]
primePns [in mathcomp.ssreflect.prime]
@@ -1583,7 +1604,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -1615,14 +1636,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1647,7 +1668,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -1679,7 +1700,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -1711,7 +1732,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -1743,7 +1764,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -1775,7 +1796,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -1807,7 +1828,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -1839,14 +1860,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1871,7 +1892,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -1903,7 +1924,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -1935,7 +1956,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -1967,14 +1988,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1999,7 +2020,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3