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_T.html | 83 +++++++++++++++++++++++------------------
1 file changed, 47 insertions(+), 36 deletions(-)
(limited to 'docs/htmldoc/index_lemma_T.html')
diff --git a/docs/htmldoc/index_lemma_T.html b/docs/htmldoc/index_lemma_T.html
index 7f8e930..deb283e 100644
--- a/docs/htmldoc/index_lemma_T.html
+++ b/docs/htmldoc/index_lemma_T.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,11 +463,12 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
T (lemma)
tagged_choiceMixin [in mathcomp.ssreflect.choice]
+tagged_tfgraph [in mathcomp.ssreflect.finfun]
tagged_asE [in mathcomp.ssreflect.eqtype]
tag_of_pairK [in mathcomp.ssreflect.choice]
tag_enumP [in mathcomp.ssreflect.fintype]
@@ -475,6 +476,7 @@
tag_eqP [in mathcomp.ssreflect.eqtype]
takel_cat [in mathcomp.ssreflect.seq]
take_tupleP [in mathcomp.ssreflect.tuple]
+take_subseq [in mathcomp.ssreflect.seq]
take_rev [in mathcomp.ssreflect.seq]
take_nth [in mathcomp.ssreflect.seq]
take_size_cat [in mathcomp.ssreflect.seq]
@@ -483,12 +485,19 @@
take_size [in mathcomp.ssreflect.seq]
take_oversize [in mathcomp.ssreflect.seq]
take0 [in mathcomp.ssreflect.seq]
+tallyE [in mathcomp.ssreflect.seq]
+tallyEl [in mathcomp.ssreflect.seq]
+tallyK [in mathcomp.ssreflect.seq]
+tallyP [in mathcomp.ssreflect.seq]
+tally_seqK [in mathcomp.ssreflect.seq]
tcastE [in mathcomp.ssreflect.tuple]
tcastK [in mathcomp.ssreflect.tuple]
tcastKV [in mathcomp.ssreflect.tuple]
tcast_trans [in mathcomp.ssreflect.tuple]
tcast_id [in mathcomp.ssreflect.tuple]
textbook_triangular_sum [in mathcomp.ssreflect.binomial]
+tfgraphK [in mathcomp.ssreflect.finfun]
+tfgraph_inj [in mathcomp.ssreflect.finfun]
theadE [in mathcomp.ssreflect.tuple]
thinmx0 [in mathcomp.algebra.matrix]
third_isog [in mathcomp.fingroup.quotient]
@@ -523,6 +532,8 @@
tofrac_is_additive [in mathcomp.algebra.fraction]
tofrac0 [in mathcomp.algebra.fraction]
tofrac1 [in mathcomp.algebra.fraction]
+total_homo_mono [in mathcomp.ssreflect.eqtype]
+total_homo_mono_in [in mathcomp.ssreflect.eqtype]
totientE [in mathcomp.ssreflect.prime]
totient_count_coprime [in mathcomp.ssreflect.prime]
totient_coprime [in mathcomp.ssreflect.prime]
@@ -648,7 +659,7 @@
tr_row_perm [in mathcomp.algebra.matrix]
tupleE [in mathcomp.ssreflect.tuple]
tupleP [in mathcomp.ssreflect.tuple]
-tuple_perm_eqP [in mathcomp.fingroup.perm]
+tuple_permP [in mathcomp.fingroup.perm]
tuple_map_ord [in mathcomp.ssreflect.tuple]
tuple_eta [in mathcomp.ssreflect.tuple]
tuple0 [in mathcomp.ssreflect.tuple]
@@ -684,7 +695,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -716,14 +727,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -748,7 +759,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -780,7 +791,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -812,7 +823,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -844,7 +855,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -876,7 +887,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -908,7 +919,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -940,14 +951,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -972,7 +983,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -1004,7 +1015,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -1036,7 +1047,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -1068,14 +1079,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1100,7 +1111,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3