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_global_A.html | 130 ++++++++++++++++++++++----------------- 1 file changed, 75 insertions(+), 55 deletions(-) (limited to 'docs/htmldoc/index_global_A.html') diff --git a/docs/htmldoc/index_global_A.html b/docs/htmldoc/index_global_A.html index c576f97..543ecdb 100644 --- a/docs/htmldoc/index_global_A.html +++ b/docs/htmldoc/index_global_A.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)

A

@@ -548,6 +548,7 @@ abelian_type_abelem [lemma, in mathcomp.solvable.abelian]
abelian_type_homocyclic [lemma, in mathcomp.solvable.abelian]
abelian_rank1_cyclic [lemma, in mathcomp.solvable.abelian]
+abelian_type_pgroup [lemma, in mathcomp.solvable.abelian]
abelian_structure [lemma, in mathcomp.solvable.abelian]
abelian_type_sorted [lemma, in mathcomp.solvable.abelian]
abelian_type_gt1 [lemma, in mathcomp.solvable.abelian]
@@ -564,11 +565,6 @@ abelian_nil [lemma, in mathcomp.solvable.nilpotent]
abelian_gen [lemma, in mathcomp.fingroup.fingroup]
abelian1 [lemma, in mathcomp.fingroup.fingroup]
-abstrX [definition, in mathcomp.field.closed_field]
-abstrXP [lemma, in mathcomp.field.closed_field]
-abstrX_bigmul [abbreviation, in mathcomp.field.closed_field]
-abstrX_mulM [lemma, in mathcomp.field.closed_field]
-abstrX1 [lemma, in mathcomp.field.closed_field]
Absz [section, in mathcomp.algebra.ssrint]
absz [definition, in mathcomp.algebra.ssrint]
abszE [lemma, in mathcomp.algebra.ssrint]
@@ -609,7 +605,7 @@ ActBy.R [variable, in mathcomp.fingroup.action]
ActBy.rT [variable, in mathcomp.fingroup.action]
ActBy.to [variable, in mathcomp.fingroup.action]
-<[nRA]> (action_scope) [notation, in mathcomp.fingroup.action]
+<[nRA]> (action_scope) [notation, in mathcomp.fingroup.action]
actCJ [lemma, in mathcomp.fingroup.action]
actCJV [lemma, in mathcomp.fingroup.action]
action [record, in mathcomp.fingroup.action]
@@ -713,9 +709,12 @@ addmx_sub [lemma, in mathcomp.algebra.mxalgebra]
addn [definition, in mathcomp.ssreflect.ssrnat]
addnA [lemma, in mathcomp.ssreflect.ssrnat]
+addnABC [lemma, in mathcomp.ssreflect.ssrnat]
addnAC [lemma, in mathcomp.ssreflect.ssrnat]
addnACA [lemma, in mathcomp.ssreflect.ssrnat]
addnBA [lemma, in mathcomp.ssreflect.ssrnat]
+addnBAC [lemma, in mathcomp.ssreflect.ssrnat]
+addnBCA [lemma, in mathcomp.ssreflect.ssrnat]
addnC [lemma, in mathcomp.ssreflect.ssrnat]
addnCA [lemma, in mathcomp.ssreflect.ssrnat]
addnE [lemma, in mathcomp.ssreflect.ssrnat]
@@ -797,8 +796,6 @@ addv_idPl [lemma, in mathcomp.algebra.vector]
addv0 [lemma, in mathcomp.algebra.vector]
add_pair [definition, in mathcomp.algebra.ssralg]
-add_totient_factor [definition, in mathcomp.ssreflect.prime]
-add_divisors [definition, in mathcomp.ssreflect.prime]
add_sub_fact_mod [lemma, in mathcomp.character.mxrepresentation]
add_lfunE [lemma, in mathcomp.algebra.vector]
add_lfun [definition, in mathcomp.algebra.vector]
@@ -1007,10 +1004,10 @@ Algebraics.Exports.nCdivE [lemma, in mathcomp.field.algC]
Algebraics.Exports.truncC [definition, in mathcomp.field.algC]
Algebraics.Exports.zCdivE [lemma, in mathcomp.field.algC]
-_ != _ %[mod _ ] (C_scope) [notation, in mathcomp.field.algC]
-_ == _ %[mod _ ] (C_scope) [notation, in mathcomp.field.algC]
-_ %| _ (C_scope) [notation, in mathcomp.field.algC]
-_ %| _ (C_expanded_scope) [notation, in mathcomp.field.algC]
+_ != _ %[mod _ ] (C_scope) [notation, in mathcomp.field.algC]
+_ == _ %[mod _ ] (C_scope) [notation, in mathcomp.field.algC]
+_ %| _ (C_scope) [notation, in mathcomp.field.algC]
+_ %| _ (C_expanded_scope) [notation, in mathcomp.field.algC]
Algebraics.Implementation [module, in mathcomp.field.algC]
Algebraics.Implementation.add [definition, in mathcomp.field.algC]
Algebraics.Implementation.addA [lemma, in mathcomp.field.algC]
@@ -1086,7 +1083,7 @@ Algebraics.Internals.QtoCm [abbreviation, in mathcomp.field.algC]
Algebraics.Internals.ZtoC [abbreviation, in mathcomp.field.algC]
Algebraics.Internals.ZtoQ [abbreviation, in mathcomp.field.algC]
-_ ^* (ring_scope) [notation, in mathcomp.field.algC]
+_ ^* (ring_scope) [notation, in mathcomp.field.algC]
Algebraics.Specification [module, in mathcomp.field.algC]
Algebraics.Specification.algebraic [axiom, in mathcomp.field.algC]
Algebraics.Specification.choiceMixin [axiom, in mathcomp.field.algC]
@@ -1130,20 +1127,40 @@ alg_integral [lemma, in mathcomp.field.algebraics_fundamentals]
all [definition, in mathcomp.ssreflect.seq]
all [library]
+AllIff [section, in mathcomp.ssreflect.seq]
+AllIffConj [constructor, in mathcomp.ssreflect.seq]
allP [lemma, in mathcomp.ssreflect.seq]
allpairs [definition, in mathcomp.ssreflect.seq]
-AllPairs [section, in mathcomp.ssreflect.seq]
+AllPairsDep [section, in mathcomp.ssreflect.seq]
+AllPairsDep.R [variable, in mathcomp.ssreflect.seq]
+AllPairsDep.S [variable, in mathcomp.ssreflect.seq]
+AllPairsDep.S' [variable, in mathcomp.ssreflect.seq]
+AllPairsDep.T [variable, in mathcomp.ssreflect.seq]
+AllPairsDep.T' [variable, in mathcomp.ssreflect.seq]
+AllPairsNonDep [section, in mathcomp.ssreflect.seq]
+AllPairsNonDep.f [variable, in mathcomp.ssreflect.seq]
+AllPairsNonDep.R [variable, in mathcomp.ssreflect.seq]
+AllPairsNonDep.S [variable, in mathcomp.ssreflect.seq]
+AllPairsNonDep.T [variable, in mathcomp.ssreflect.seq]
allpairsP [lemma, in mathcomp.ssreflect.seq]
+allpairsPdep [lemma, in mathcomp.ssreflect.seq]
allpairs_tupleP [lemma, in mathcomp.ssreflect.tuple]
allpairs_uniq [lemma, in mathcomp.ssreflect.seq]
+allpairs_f [lemma, in mathcomp.ssreflect.seq]
+allpairs_uniq_dep [lemma, in mathcomp.ssreflect.seq]
allpairs_catr [lemma, in mathcomp.ssreflect.seq]
+allpairs_f_dep [lemma, in mathcomp.ssreflect.seq]
+allpairs_mapr [lemma, in mathcomp.ssreflect.seq]
+allpairs_mapl [lemma, in mathcomp.ssreflect.seq]
allpairs_cat [lemma, in mathcomp.ssreflect.seq]
-AllPairs.f [variable, in mathcomp.ssreflect.seq]
-AllPairs.R [variable, in mathcomp.ssreflect.seq]
-AllPairs.S [variable, in mathcomp.ssreflect.seq]
-AllPairs.T [variable, in mathcomp.ssreflect.seq]
+allpairs_dep [definition, in mathcomp.ssreflect.seq]
allPn [lemma, in mathcomp.ssreflect.seq]
+allPP [lemma, in mathcomp.ssreflect.seq]
all_tnthP [lemma, in mathcomp.ssreflect.tuple]
+all_iffP [lemma, in mathcomp.ssreflect.seq]
+all_iffLR [lemma, in mathcomp.ssreflect.seq]
+all_iff [definition, in mathcomp.ssreflect.seq]
+all_iff_and [inductive, in mathcomp.ssreflect.seq]
all_map [lemma, in mathcomp.ssreflect.seq]
all_nthP [lemma, in mathcomp.ssreflect.seq]
all_pred1_nseq [lemma, in mathcomp.ssreflect.seq]
@@ -1169,6 +1186,8 @@ all_field [library]
all_algebra [library]
all_ssreflect [library]
+all2 [definition, in mathcomp.ssreflect.seq]
+all2E [lemma, in mathcomp.ssreflect.seq]
Alt [definition, in mathcomp.solvable.alt]
alt [library]
Alt_trans [lemma, in mathcomp.solvable.alt]
@@ -1189,11 +1208,12 @@ amulr [definition, in mathcomp.field.falgebra]
amulr_is_lrmorphism [lemma, in mathcomp.field.falgebra]
amulr_inj [lemma, in mathcomp.field.falgebra]
-amulXnT [definition, in mathcomp.field.closed_field]
And [abbreviation, in mathcomp.character.mxrepresentation]
annihilator_mxP [lemma, in mathcomp.character.mxrepresentation]
annihilator_mx [definition, in mathcomp.character.mxrepresentation]
anti_leq [lemma, in mathcomp.ssreflect.ssrnat]
+anti_mono [lemma, in mathcomp.ssreflect.eqtype]
+anti_mono_in [lemma, in mathcomp.ssreflect.eqtype]
aperm [definition, in mathcomp.fingroup.perm]
apermE [lemma, in mathcomp.fingroup.perm]
aperm_faithful [lemma, in mathcomp.solvable.alt]
@@ -1359,7 +1379,7 @@ AutVchar.G [variable, in mathcomp.character.vcharacter]
AutVchar.gT [variable, in mathcomp.character.vcharacter]
AutVchar.u [variable, in mathcomp.character.vcharacter]
-_ ^u [notation, in mathcomp.character.vcharacter]
+_ ^u [notation, in mathcomp.character.vcharacter]
aut_Crat [lemma, in mathcomp.field.algC]
aut_Cint [lemma, in mathcomp.field.algC]
aut_Cnat [lemma, in mathcomp.field.algC]
@@ -1430,7 +1450,7 @@ Z _ other -(23233 entries) +(23836 entries) Notation Index @@ -1462,14 +1482,14 @@ Z _ other -(1373 entries) +(1409 entries) Module Index A B C -D +D E F G @@ -1494,7 +1514,7 @@ Z _ other -(213 entries) +(221 entries) Variable Index @@ -1526,7 +1546,7 @@ Z _ other -(3475 entries) +(3574 entries) Library Index @@ -1558,7 +1578,7 @@ Z _ other -(89 entries) +(90 entries) Lemma Index @@ -1590,7 +1610,7 @@ Z _ other -(11853 entries) +(12096 entries) Constructor Index @@ -1622,7 +1642,7 @@ Z _ other -(359 entries) +(368 entries) Axiom Index @@ -1654,7 +1674,7 @@ Z _ other -(47 entries) +(45 entries) Inductive Index @@ -1686,14 +1706,14 @@ Z _ other -(103 entries) +(107 entries) Projection Index A B C -D +D E F G @@ -1718,7 +1738,7 @@ Z _ other -(266 entries) +(273 entries) Section Index @@ -1750,7 +1770,7 @@ Z _ other -(1118 entries) +(1140 entries) Abbreviation Index @@ -1782,7 +1802,7 @@ Z _ other -(691 entries) +(728 entries) Definition Index @@ -1814,14 +1834,14 @@ Z _ other -(3461 entries) +(3596 entries) Record Index A B C -D +D E F G @@ -1846,7 +1866,7 @@ Z _ other -(185 entries) +(189 entries) -- cgit v1.2.3