From ed05182cece6bb3706e09b2ce14af4a41a2e8141 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 20 Apr 2018 10:54:22 +0200 Subject: generate the documentation for 1.7 --- docs/htmldoc/index_notation_G.html | 1054 ++++++++++++++++++++++++++++++++++++ 1 file changed, 1054 insertions(+) create mode 100644 docs/htmldoc/index_notation_G.html (limited to 'docs/htmldoc/index_notation_G.html') diff --git a/docs/htmldoc/index_notation_G.html b/docs/htmldoc/index_notation_G.html new file mode 100644 index 0000000..0600a7c --- /dev/null +++ b/docs/htmldoc/index_notation_G.html @@ -0,0 +1,1054 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

G (notation)

+'Gal ( _ / _ ) (Group_scope) [in mathcomp.field.galois]
+'Gal ( _ / _ ) (group_scope) [in mathcomp.field.galois]
+'K_ _ (ring_scope) [in mathcomp.character.integral_char]
+[ mgFun of _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ mgFun by _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ pgFun of _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ pgFun by _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ gFun of _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ gFun by _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ igFun of _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ igFun by _ & ! _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ igFun by _ & _ ] (form_scope) [in mathcomp.solvable.gfunctor]
+[ additive of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ additive of _ as _ ] (form_scope) [in mathcomp.algebra.ssralg]
+{ additive _ } (ring_scope) [in mathcomp.algebra.ssralg]
+[ algType _ of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ algType _ of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ closedFieldType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ closedFieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ comRingType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ comRingType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ comUnitRingType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ decFieldType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ decFieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ rec _ , _ ] [in mathcomp.algebra.ssralg]
+[ fieldType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ fieldType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ idomainType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ idomainType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ lalgType _ of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ lalgType _ of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ linear of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ linear of _ as _ ] (form_scope) [in mathcomp.algebra.ssralg]
+_ *^ _ _ (linear_ring_scope) [in mathcomp.algebra.ssralg]
+_ *:^ _ _ (linear_ring_scope) [in mathcomp.algebra.ssralg]
+_ * _ (linear_ring_scope) [in mathcomp.algebra.ssralg]
+_ *: _ (linear_ring_scope) [in mathcomp.algebra.ssralg]
+{ scalar _ } (ring_scope) [in mathcomp.algebra.ssralg]
+{ linear _ } (ring_scope) [in mathcomp.algebra.ssralg]
+{ linear _ | _ } (ring_scope) [in mathcomp.algebra.ssralg]
+*:%R [in mathcomp.algebra.ssralg]
+[ lmodType _ of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ lmodType _ of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ lrmorphism of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+{ lrmorphism _ } (ring_scope) [in mathcomp.algebra.ssralg]
+{ lrmorphism _ | _ } (ring_scope) [in mathcomp.algebra.ssralg]
+_ ^f [in mathcomp.algebra.ssralg]
+[ ringType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ ringType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ rmorphism of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ rmorphism of _ as _ ] (form_scope) [in mathcomp.algebra.ssralg]
+{ rmorphism _ } (ring_scope) [in mathcomp.algebra.ssralg]
+[ fieldMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ idomainMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ unitRingMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ algMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ comRingMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ lalgMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ lmodMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ ringMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ zmodMixin of _ by <: ] (form_scope) [in mathcomp.algebra.ssralg]
+[ unitAlgType _ of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ unitRingType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ unitRingType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ zmodType of _ ] (form_scope) [in mathcomp.algebra.ssralg]
+[ zmodType of _ for _ ] (form_scope) [in mathcomp.algebra.ssralg]
+_ \o* _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ \*o _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ \*: _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ \- _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ \+ _ (ring_scope) [in mathcomp.algebra.ssralg]
+\0 (ring_scope) [in mathcomp.algebra.ssralg]
+_ %:A (ring_scope) [in mathcomp.algebra.ssralg]
+_ *: _ (ring_scope) [in mathcomp.algebra.ssralg]
+[ char _ ] (ring_scope) [in mathcomp.algebra.ssralg]
+_ ^+ _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ * _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ %:R (ring_scope) [in mathcomp.algebra.ssralg]
+- 1 (ring_scope) [in mathcomp.algebra.ssralg]
+1 (ring_scope) [in mathcomp.algebra.ssralg]
+_ `_ _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ *- _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ *+ _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ - _ (ring_scope) [in mathcomp.algebra.ssralg]
+_ + _ (ring_scope) [in mathcomp.algebra.ssralg]
++%R (ring_scope) [in mathcomp.algebra.ssralg]
+- _ (ring_scope) [in mathcomp.algebra.ssralg]
+-%R (ring_scope) [in mathcomp.algebra.ssralg]
+0 (ring_scope) [in mathcomp.algebra.ssralg]
+'forall 'X_ _ , _ (term_scope) [in mathcomp.algebra.ssralg]
+'exists 'X_ _ , _ (term_scope) [in mathcomp.algebra.ssralg]
+_ != _ (term_scope) [in mathcomp.algebra.ssralg]
+~ _ (term_scope) [in mathcomp.algebra.ssralg]
+_ ==> _ (term_scope) [in mathcomp.algebra.ssralg]
+_ \/ _ (term_scope) [in mathcomp.algebra.ssralg]
+_ /\ _ (term_scope) [in mathcomp.algebra.ssralg]
+_ == _ (term_scope) [in mathcomp.algebra.ssralg]
+_ ^+ _ (term_scope) [in mathcomp.algebra.ssralg]
+_ / _ (term_scope) [in mathcomp.algebra.ssralg]
+_ ^-1 (term_scope) [in mathcomp.algebra.ssralg]
+_ *+ _ (term_scope) [in mathcomp.algebra.ssralg]
+_ * _ (term_scope) [in mathcomp.algebra.ssralg]
+_ - _ (term_scope) [in mathcomp.algebra.ssralg]
+- _ (term_scope) [in mathcomp.algebra.ssralg]
+_ + _ (term_scope) [in mathcomp.algebra.ssralg]
+1 (term_scope) [in mathcomp.algebra.ssralg]
+0 (term_scope) [in mathcomp.algebra.ssralg]
+_ %:T (term_scope) [in mathcomp.algebra.ssralg]
+_ %:R (term_scope) [in mathcomp.algebra.ssralg]
+'X_ _ (term_scope) [in mathcomp.algebra.ssralg]
+_ ^o (type_scope) [in mathcomp.algebra.ssralg]
+_ ^c (type_scope) [in mathcomp.algebra.ssralg]
+_ ^- _ [in mathcomp.algebra.ssralg]
+_ / _ [in mathcomp.algebra.ssralg]
+_ ^-1 [in mathcomp.algebra.ssralg]
+*%R [in mathcomp.algebra.ssralg]
+*:%R [in mathcomp.algebra.ssralg]
+\prod_ ( _ <= _ < _ ) _ [in mathcomp.algebra.ssralg]
+\prod_ ( _ in _ ) _ [in mathcomp.algebra.ssralg]
+\prod_ ( _ | _ ) _ [in mathcomp.algebra.ssralg]
+\prod_ ( _ <- _ | _ ) _ [in mathcomp.algebra.ssralg]
+\sum_ ( _ in _ ) _ [in mathcomp.algebra.ssralg]
+\sum_ ( _ < _ ) _ [in mathcomp.algebra.ssralg]
+\sum_ ( _ <= _ < _ ) _ [in mathcomp.algebra.ssralg]
+\sum_ ( _ <- _ | _ ) _ [in mathcomp.algebra.ssralg]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file -- cgit v1.2.3