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_E.html | 100 ++++++++++++++++++++--------------------
1 file changed, 51 insertions(+), 49 deletions(-)
(limited to 'docs/htmldoc/index_lemma_E.html')
diff --git a/docs/htmldoc/index_lemma_E.html b/docs/htmldoc/index_lemma_E.html
index 0e90174..a86d944 100644
--- a/docs/htmldoc/index_lemma_E.html
+++ b/docs/htmldoc/index_lemma_E.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) |
E (lemma)
@@ -471,7 +471,6 @@
edivnP [in mathcomp.ssreflect.div]
edivn_def [in mathcomp.ssreflect.div]
edivn_eq [in mathcomp.ssreflect.div]
-edivn2P [in mathcomp.ssreflect.prime]
egcdnP [in mathcomp.ssreflect.div]
egcdzP [in mathcomp.algebra.intdiv]
egcd0n [in mathcomp.ssreflect.div]
@@ -480,7 +479,6 @@
eigenvalue_root_min [in mathcomp.algebra.mxpoly]
eigenvalue_root_char [in mathcomp.algebra.mxpoly]
eigenvalue_map [in mathcomp.algebra.mxalgebra]
-elogn2P [in mathcomp.ssreflect.prime]
eltmE [in mathcomp.solvable.cyclic]
eltmM [in mathcomp.solvable.cyclic]
eltm_id [in mathcomp.solvable.cyclic]
@@ -578,13 +576,16 @@
eqg_mx_irr [in mathcomp.character.mxrepresentation]
eqg_mx_faithful [in mathcomp.character.mxrepresentation]
eqg_repr_proof [in mathcomp.character.mxrepresentation]
+eqitvP [in mathcomp.algebra.interval]
eqlfunP [in mathcomp.algebra.vector]
eqlfun_inP [in mathcomp.algebra.vector]
+eqMixin [in mathcomp.ssreflect.finfun]
eqmodE [in mathcomp.ssreflect.generic_quotient]
eqmodP [in mathcomp.ssreflect.generic_quotient]
eqmxMfree [in mathcomp.algebra.mxalgebra]
eqmxMfull [in mathcomp.algebra.mxalgebra]
eqmxMr [in mathcomp.algebra.mxalgebra]
+eqmxMunitP [in mathcomp.algebra.mxalgebra]
eqmxP [in mathcomp.algebra.mxalgebra]
eqmx_semisimple [in mathcomp.character.mxrepresentation]
eqmx_iso [in mathcomp.character.mxrepresentation]
@@ -697,10 +698,13 @@
eq_quot_countMixin [in mathcomp.ssreflect.generic_quotient]
eq_op_trans [in mathcomp.ssreflect.generic_quotient]
eq_lock [in mathcomp.ssreflect.generic_quotient]
+eq_itv_boundP [in mathcomp.algebra.interval]
+eq_mktuple [in mathcomp.ssreflect.tuple]
eq_from_tnth [in mathcomp.ssreflect.tuple]
eq_block_mx [in mathcomp.algebra.matrix]
eq_col_mx [in mathcomp.algebra.matrix]
eq_row_mx [in mathcomp.algebra.matrix]
+eq_mx [in mathcomp.algebra.matrix]
eq_Aut [in mathcomp.fingroup.automorphism]
eq_subZnat_irr [in mathcomp.character.character]
eq_addZ_irr [in mathcomp.character.character]
@@ -710,11 +714,15 @@
eq_irr_mem_classP [in mathcomp.character.character]
eq_sum_nth_irr [in mathcomp.character.character]
eq_Mod8_D8 [in mathcomp.solvable.extremal]
+eq_in_allpairs [in mathcomp.ssreflect.seq]
+eq_in_allpairs_dep [in mathcomp.ssreflect.seq]
+eq_allpairs [in mathcomp.ssreflect.seq]
eq_from_flatten_shape [in mathcomp.ssreflect.seq]
eq_mkseq [in mathcomp.ssreflect.seq]
eq_pmap [in mathcomp.ssreflect.seq]
eq_in_map [in mathcomp.ssreflect.seq]
eq_map [in mathcomp.ssreflect.seq]
+eq_uniq [in mathcomp.ssreflect.seq]
eq_all_r [in mathcomp.ssreflect.seq]
eq_has_r [in mathcomp.ssreflect.seq]
eq_in_has [in mathcomp.ssreflect.seq]
@@ -774,11 +782,11 @@
eq_ex_minn [in mathcomp.ssreflect.ssrnat]
eq_leq [in mathcomp.ssreflect.ssrnat]
eq_map_poly [in mathcomp.algebra.poly]
+eq_poly [in mathcomp.algebra.poly]
eq_prim_root_expr [in mathcomp.algebra.poly]
eq_bigmax [in mathcomp.ssreflect.bigop]
eq_bigmax_cond [in mathcomp.ssreflect.bigop]
eq_big_idem [in mathcomp.ssreflect.bigop]
-eq_big_perm [in mathcomp.ssreflect.bigop]
eq_big_idx [in mathcomp.ssreflect.bigop]
eq_big_idx_seq [in mathcomp.ssreflect.bigop]
eq_big_nat [in mathcomp.ssreflect.bigop]
@@ -787,6 +795,8 @@
eq_bigr [in mathcomp.ssreflect.bigop]
eq_bigl [in mathcomp.ssreflect.bigop]
eq_big_op [in mathcomp.ssreflect.bigop]
+eq_ffun [in mathcomp.ssreflect.finfun]
+eq_dffun [in mathcomp.ssreflect.finfun]
eq_Tagged [in mathcomp.ssreflect.eqtype]
eq_tag [in mathcomp.ssreflect.eqtype]
eq_frel [in mathcomp.ssreflect.eqtype]
@@ -828,19 +838,12 @@
eq_in_imset [in mathcomp.ssreflect.finset]
eq_imset [in mathcomp.ssreflect.finset]
eq_preimset [in mathcomp.ssreflect.finset]
+eq_finset [in mathcomp.ssreflect.finset]
Euclid_dvdX [in mathcomp.ssreflect.prime]
Euclid_dvd1 [in mathcomp.ssreflect.prime]
Euclid_dvdM [in mathcomp.ssreflect.prime]
Euler_exp_totient [in mathcomp.solvable.cyclic]
eval_mxmodule [in mathcomp.character.mxrepresentation]
-eval_poly1 [in mathcomp.field.closed_field]
-eval_poly_mulM [in mathcomp.field.closed_field]
-eval_natmulpT [in mathcomp.field.closed_field]
-eval_opppT [in mathcomp.field.closed_field]
-eval_mulpT [in mathcomp.field.closed_field]
-eval_sumpT [in mathcomp.field.closed_field]
-eval_amulXnT [in mathcomp.field.closed_field]
-eval_lift [in mathcomp.field.closed_field]
even_prime [in mathcomp.ssreflect.prime]
exchange_big_nat [in mathcomp.ssreflect.bigop]
exchange_big_dep_nat [in mathcomp.ssreflect.bigop]
@@ -852,6 +855,7 @@
exists_acomps [in mathcomp.solvable.jordanholder]
exists_comps [in mathcomp.solvable.jordanholder]
exists_eq_inP [in mathcomp.ssreflect.fintype]
+exists_inPP [in mathcomp.ssreflect.fintype]
exists_inP [in mathcomp.ssreflect.fintype]
exists_eqP [in mathcomp.ssreflect.fintype]
expand_det_col [in mathcomp.algebra.matrix]
@@ -999,6 +1003,7 @@
Extremal.Grp [in mathcomp.solvable.extremal]
Extremal.gtype_key [in mathcomp.solvable.extremal]
extremal2_structure [in mathcomp.solvable.extremal]
+extremumP [in mathcomp.ssreflect.fintype]
ext_coprime_quotient_cent [in mathcomp.solvable.hall]
ext_coprime_Hall_subset [in mathcomp.solvable.hall]
ext_norm_conj_cent [in mathcomp.solvable.hall]
@@ -1008,9 +1013,6 @@
ex_maxnP [in mathcomp.ssreflect.ssrnat]
ex_maxn_subproof [in mathcomp.ssreflect.ssrnat]
ex_minnP [in mathcomp.ssreflect.ssrnat]
-ex_elim_qf [in mathcomp.field.closed_field]
-ex_elim_seq_qf [in mathcomp.field.closed_field]
-ex_elim_seqP [in mathcomp.field.closed_field]
ex_mingroup [in mathcomp.fingroup.fingroup]
ex_maxgroup [in mathcomp.fingroup.fingroup]
ex_maxset [in mathcomp.ssreflect.finset]
@@ -1046,7 +1048,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -1078,14 +1080,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1110,7 +1112,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -1142,7 +1144,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -1174,7 +1176,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -1206,7 +1208,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -1238,7 +1240,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -1270,7 +1272,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -1302,14 +1304,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1334,7 +1336,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -1366,7 +1368,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -1398,7 +1400,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -1430,14 +1432,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -1462,7 +1464,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3