From 6b59540a2460633df4e3d8347cb4dfe2fb3a3afb Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Wed, 16 Oct 2019 11:26:43 +0200 Subject: removing everything but index which redirects to the new page --- docs/htmldoc/index_notation_G.html | 1054 ------------------------------------ 1 file changed, 1054 deletions(-) delete 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 deleted file mode 100644 index 9287491..0000000 --- a/docs/htmldoc/index_notation_G.html +++ /dev/null @@ -1,1054 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 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(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file -- cgit v1.2.3