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_abbreviation_*.html | 478 +++++++++++++++ docs/htmldoc/index_abbreviation_A.html | 961 +++++++++++++++++++++++++++++ docs/htmldoc/index_abbreviation_B.html | 489 +++++++++++++++ docs/htmldoc/index_abbreviation_C.html | 983 +++++++++++++++++++++++++++++ docs/htmldoc/index_abbreviation_D.html | 487 +++++++++++++++ docs/htmldoc/index_abbreviation_E.html | 962 +++++++++++++++++++++++++++++ docs/htmldoc/index_abbreviation_F.html | 1028 +++++++++++++++++++++++++++++++ docs/htmldoc/index_abbreviation_G.html | 1056 ++++++++++++++++++++++++++++++++ docs/htmldoc/index_abbreviation_H.html | 486 +++++++++++++++ docs/htmldoc/index_abbreviation_I.html | 502 +++++++++++++++ docs/htmldoc/index_abbreviation_J.html | 481 +++++++++++++++ docs/htmldoc/index_abbreviation_K.html | 480 +++++++++++++++ docs/htmldoc/index_abbreviation_L.html | 490 +++++++++++++++ docs/htmldoc/index_abbreviation_M.html | 977 +++++++++++++++++++++++++++++ docs/htmldoc/index_abbreviation_N.html | 990 ++++++++++++++++++++++++++++++ docs/htmldoc/index_abbreviation_O.html | 480 +++++++++++++++ docs/htmldoc/index_abbreviation_P.html | 969 +++++++++++++++++++++++++++++ docs/htmldoc/index_abbreviation_Q.html | 494 +++++++++++++++ docs/htmldoc/index_abbreviation_R.html | 974 +++++++++++++++++++++++++++++ docs/htmldoc/index_abbreviation_S.html | 965 +++++++++++++++++++++++++++++ docs/htmldoc/index_abbreviation_T.html | 487 +++++++++++++++ docs/htmldoc/index_abbreviation_U.html | 484 +++++++++++++++ docs/htmldoc/index_abbreviation_V.html | 484 +++++++++++++++ docs/htmldoc/index_abbreviation_W.html | 481 +++++++++++++++ docs/htmldoc/index_abbreviation_X.html | 489 +++++++++++++++ docs/htmldoc/index_abbreviation_Y.html | 478 +++++++++++++++ docs/htmldoc/index_abbreviation_Z.html | 487 +++++++++++++++ docs/htmldoc/index_abbreviation__.html | 478 +++++++++++++++ 28 files changed, 18600 insertions(+) create mode 100644 docs/htmldoc/index_abbreviation_*.html create mode 100644 docs/htmldoc/index_abbreviation_A.html create mode 100644 docs/htmldoc/index_abbreviation_B.html create mode 100644 docs/htmldoc/index_abbreviation_C.html create mode 100644 docs/htmldoc/index_abbreviation_D.html create mode 100644 docs/htmldoc/index_abbreviation_E.html create mode 100644 docs/htmldoc/index_abbreviation_F.html create mode 100644 docs/htmldoc/index_abbreviation_G.html create mode 100644 docs/htmldoc/index_abbreviation_H.html create mode 100644 docs/htmldoc/index_abbreviation_I.html create mode 100644 docs/htmldoc/index_abbreviation_J.html create mode 100644 docs/htmldoc/index_abbreviation_K.html create mode 100644 docs/htmldoc/index_abbreviation_L.html create mode 100644 docs/htmldoc/index_abbreviation_M.html create mode 100644 docs/htmldoc/index_abbreviation_N.html create mode 100644 docs/htmldoc/index_abbreviation_O.html create mode 100644 docs/htmldoc/index_abbreviation_P.html create mode 100644 docs/htmldoc/index_abbreviation_Q.html create mode 100644 docs/htmldoc/index_abbreviation_R.html create mode 100644 docs/htmldoc/index_abbreviation_S.html create mode 100644 docs/htmldoc/index_abbreviation_T.html create mode 100644 docs/htmldoc/index_abbreviation_U.html create mode 100644 docs/htmldoc/index_abbreviation_V.html create mode 100644 docs/htmldoc/index_abbreviation_W.html create mode 100644 docs/htmldoc/index_abbreviation_X.html create mode 100644 docs/htmldoc/index_abbreviation_Y.html create mode 100644 docs/htmldoc/index_abbreviation_Z.html create mode 100644 docs/htmldoc/index_abbreviation__.html (limited to 'docs/htmldoc/index_abbreviation_*.html') diff --git a/docs/htmldoc/index_abbreviation_*.html b/docs/htmldoc/index_abbreviation_*.html new file mode 100644 index 0000000..c9bd28e --- /dev/null +++ b/docs/htmldoc/index_abbreviation_*.html @@ -0,0 +1,478 @@ + + + + + +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)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_A.html b/docs/htmldoc/index_abbreviation_A.html new file mode 100644 index 0000000..176c27f --- /dev/null +++ b/docs/htmldoc/index_abbreviation_A.html @@ -0,0 +1,961 @@ + + + + + +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)
+

A (abbreviation)

+a [in mathcomp.character.integral_char]
+a [in mathcomp.character.integral_char]
+abstrX_bigmul [in mathcomp.field.closed_field]
+ab_rV_P [in mathcomp.character.mxabelem]
+actp [in mathcomp.solvable.extraspecial]
+actT [in mathcomp.fingroup.action]
+Ad [in mathcomp.algebra.mxpoly]
+addV [in mathcomp.algebra.vector]
+aG [in mathcomp.character.mxrepresentation]
+aG [in mathcomp.character.mxrepresentation]
+algCF [in mathcomp.character.character]
+Algebraics.Exports.algC [in mathcomp.field.algC]
+Algebraics.Exports.algCeq [in mathcomp.field.algC]
+Algebraics.Exports.algCfield [in mathcomp.field.algC]
+Algebraics.Exports.algCnum [in mathcomp.field.algC]
+Algebraics.Exports.algCnumClosedField [in mathcomp.field.algC]
+Algebraics.Exports.algCnumField [in mathcomp.field.algC]
+Algebraics.Exports.algCring [in mathcomp.field.algC]
+Algebraics.Exports.algCuring [in mathcomp.field.algC]
+Algebraics.Exports.algCzmod [in mathcomp.field.algC]
+Algebraics.Exports.Creal [in mathcomp.field.algC]
+Algebraics.Implementation.pQtoL [in mathcomp.field.algC]
+Algebraics.Internals.algC [in mathcomp.field.algC]
+Algebraics.Internals.Creal [in mathcomp.field.algC]
+Algebraics.Internals.pQtoC [in mathcomp.field.algC]
+Algebraics.Internals.QtoC [in mathcomp.field.algC]
+Algebraics.Internals.QtoCm [in mathcomp.field.algC]
+Algebraics.Internals.ZtoC [in mathcomp.field.algC]
+Algebraics.Internals.ZtoQ [in mathcomp.field.algC]
+And [in mathcomp.character.mxrepresentation]
+AtoB [in mathcomp.character.inertia]
+A' [in mathcomp.solvable.hall]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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 diff --git a/docs/htmldoc/index_abbreviation_B.html b/docs/htmldoc/index_abbreviation_B.html new file mode 100644 index 0000000..fe5ebd2 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_B.html @@ -0,0 +1,489 @@ + + + + + +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)
+

B (abbreviation)

+band [in mathcomp.algebra.mxpoly]
+baseFieldType [in mathcomp.field.fieldext]
+BClose [in mathcomp.algebra.interval]
+BClose [in mathcomp.algebra.interval]
+bigmap_id [in mathcomp.field.closed_field]
+bigop [in mathcomp.ssreflect.bigop]
+BIG_P [in mathcomp.ssreflect.bigop]
+BIG_F [in mathcomp.ssreflect.bigop]
+BOpen [in mathcomp.algebra.interval]
+BOpen [in mathcomp.algebra.interval]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_C.html b/docs/htmldoc/index_abbreviation_C.html new file mode 100644 index 0000000..3c5f1a2 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_C.html @@ -0,0 +1,983 @@ + + + + + +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)
+

C (abbreviation)

+c [in mathcomp.character.character]
+C [in mathcomp.solvable.center]
+capV [in mathcomp.algebra.vector]
+card_def [in mathcomp.ssreflect.fintype]
+card_type [in mathcomp.ssreflect.fintype]
+cfConjC_closed [in mathcomp.character.classfun]
+cfdotr [in mathcomp.character.classfun]
+cfnorm [in mathcomp.character.classfun]
+CH [in mathcomp.solvable.center]
+Choice.Exports.choiceMixin [in mathcomp.ssreflect.choice]
+Choice.Exports.ChoiceType [in mathcomp.ssreflect.choice]
+Choice.Exports.choiceType [in mathcomp.ssreflect.choice]
+Choice.xclass [in mathcomp.ssreflect.choice]
+CK [in mathcomp.solvable.center]
+closed [in mathcomp.ssreflect.fingraph]
+closure [in mathcomp.ssreflect.fingraph]
+coefp [in mathcomp.algebra.poly]
+coerced_frel [in mathcomp.ssreflect.eqtype]
+col_cubes [in mathcomp.solvable.burnside_app]
+col_squares [in mathcomp.solvable.burnside_app]
+compo [in mathcomp.solvable.jordanholder]
+compU [in mathcomp.character.mxrepresentation]
+Cons [in mathcomp.ssreflect.seq]
+ConsPred [in mathcomp.solvable.pgroup]
+Countable.Exports.CountChoiceMixin [in mathcomp.ssreflect.choice]
+Countable.Exports.CountMixin [in mathcomp.ssreflect.choice]
+Countable.Exports.CountType [in mathcomp.ssreflect.choice]
+Countable.Exports.countType [in mathcomp.ssreflect.choice]
+Countable.xclass [in mathcomp.ssreflect.choice]
+CountRing.ClosedField.Exports.countClosedFieldType [in mathcomp.field.countalg]
+CountRing.ClosedField.xclass [in mathcomp.field.countalg]
+CountRing.cnt_ [in mathcomp.field.countalg]
+CountRing.ComRing.Exports.countComRingType [in mathcomp.field.countalg]
+CountRing.ComRing.xclass [in mathcomp.field.countalg]
+CountRing.ComUnitRing.Exports.countComUnitRingType [in mathcomp.field.countalg]
+CountRing.ComUnitRing.xclass [in mathcomp.field.countalg]
+CountRing.DecidableField.Exports.countDecFieldType [in mathcomp.field.countalg]
+CountRing.DecidableField.xclass [in mathcomp.field.countalg]
+CountRing.do_pack [in mathcomp.field.countalg]
+CountRing.Field.Exports.countFieldType [in mathcomp.field.countalg]
+CountRing.Field.xclass [in mathcomp.field.countalg]
+CountRing.IntegralDomain.Exports.countIdomainType [in mathcomp.field.countalg]
+CountRing.IntegralDomain.xclass [in mathcomp.field.countalg]
+CountRing.mixin_of [in mathcomp.field.countalg]
+CountRing.Ring.Exports.countRingType [in mathcomp.field.countalg]
+CountRing.Ring.xclass [in mathcomp.field.countalg]
+CountRing.UnitRing.Exports.countUnitRingType [in mathcomp.field.countalg]
+CountRing.UnitRing.xclass [in mathcomp.field.countalg]
+CountRing.Zmodule.Exports.countZmodType [in mathcomp.field.countalg]
+CountRing.Zmodule.xclass [in mathcomp.field.countalg]
+count_mem [in mathcomp.ssreflect.seq]
+cprod [in mathcomp.fingroup.gproduct]
+cprod [in mathcomp.fingroup.gproduct]
+CtoQ [in mathcomp.field.algC]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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 diff --git a/docs/htmldoc/index_abbreviation_D.html b/docs/htmldoc/index_abbreviation_D.html new file mode 100644 index 0000000..1ecbd59 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_D.html @@ -0,0 +1,487 @@ + + + + + +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)
+

D (abbreviation)

+d [in mathcomp.algebra.mxpoly]
+dc [in mathcomp.ssreflect.choice]
+defHgX [in mathcomp.solvable.finmodule]
+directv [in mathcomp.algebra.vector]
+directv [in mathcomp.algebra.vector]
+dom [in mathcomp.fingroup.action]
+dprod [in mathcomp.fingroup.gproduct]
+dprod [in mathcomp.fingroup.gproduct]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_E.html b/docs/htmldoc/index_abbreviation_E.html new file mode 100644 index 0000000..2d95f29 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_E.html @@ -0,0 +1,962 @@ + + + + + +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)
+

E (abbreviation)

+eC [in mathcomp.ssreflect.generic_quotient]
+ED [in mathcomp.solvable.extremal]
+EncModRel [in mathcomp.ssreflect.generic_quotient]
+EncModRelClass [in mathcomp.ssreflect.generic_quotient]
+enum [in mathcomp.ssreflect.fintype]
+enumF [in mathcomp.ssreflect.fintype]
+eqcfP [in mathcomp.character.classfun]
+EqQuotType [in mathcomp.ssreflect.generic_quotient]
+Equality.class_of [in mathcomp.ssreflect.eqtype]
+Equality.Exports.EqMixin [in mathcomp.ssreflect.eqtype]
+Equality.Exports.EqType [in mathcomp.ssreflect.eqtype]
+Equality.Exports.eqType [in mathcomp.ssreflect.eqtype]
+equivf [in mathcomp.algebra.fraction]
+EquivQuot.eC [in mathcomp.ssreflect.generic_quotient]
+EquivQuot.encDE [in mathcomp.ssreflect.generic_quotient]
+EquivQuot.encDP [in mathcomp.ssreflect.generic_quotient]
+EquivQuot.qT [in mathcomp.ssreflect.generic_quotient]
+EquivRel [in mathcomp.ssreflect.generic_quotient]
+eqxx [in mathcomp.ssreflect.eqtype]
+ErV [in mathcomp.character.mxabelem]
+eval [in mathcomp.character.mxrepresentation]
+eval [in mathcomp.algebra.polyXY]
+eval_bigmul [in mathcomp.field.closed_field]
+ev_ax [in mathcomp.ssreflect.eqtype]
+extgK [in mathcomp.solvable.extremal]
+Extremal.B [in mathcomp.solvable.extremal]
+E_G [in mathcomp.character.mxrepresentation]
+E_ [in mathcomp.character.mxrepresentation]
+E_G [in mathcomp.character.mxrepresentation]
+E_G [in mathcomp.character.mxrepresentation]
+e' [in mathcomp.ssreflect.generic_quotient]
+e'E [in mathcomp.ssreflect.generic_quotient]
+e0 [in mathcomp.character.mxrepresentation]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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 diff --git a/docs/htmldoc/index_abbreviation_F.html b/docs/htmldoc/index_abbreviation_F.html new file mode 100644 index 0000000..10704f6 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_F.html @@ -0,0 +1,1028 @@ + + + + + +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)
+

F (abbreviation)

+F [in mathcomp.field.finfield]
+f [in mathcomp.fingroup.gproduct]
+f [in mathcomp.fingroup.automorphism]
+fA [in mathcomp.fingroup.morphism]
+Falgebra.Exports.FalgType [in mathcomp.field.falgebra]
+Falgebra.Exports.FalgUnitRingType [in mathcomp.field.falgebra]
+Falgebra.xclass [in mathcomp.field.falgebra]
+family [in mathcomp.ssreflect.finfun]
+fcard [in mathcomp.ssreflect.fingraph]
+fcard_mem [in mathcomp.ssreflect.fingraph]
+fclosed [in mathcomp.ssreflect.fingraph]
+fclosure [in mathcomp.ssreflect.fingraph]
+fconnect [in mathcomp.ssreflect.fingraph]
+fcycle [in mathcomp.ssreflect.path]
+fE [in mathcomp.fingroup.automorphism]
+fF [in mathcomp.field.closed_field]
+ff [in mathcomp.fingroup.morphism]
+ffT [in mathcomp.ssreflect.finfun]
+ffun_on [in mathcomp.ssreflect.finfun]
+fGisom [in mathcomp.fingroup.action]
+fH [in mathcomp.fingroup.quotient]
+fHisom [in mathcomp.fingroup.action]
+fH_G [in mathcomp.fingroup.quotient]
+FieldExt.Exports.fieldExtType [in mathcomp.field.fieldext]
+FieldExt.xclass [in mathcomp.field.fieldext]
+FinFieldExtType [in mathcomp.field.finfield]
+finfun [in mathcomp.ssreflect.finfun]
+finfun_def [in mathcomp.ssreflect.finfun]
+FinGroup.class [in mathcomp.fingroup.fingroup]
+FinGroup.Exports.BaseFinGroupType [in mathcomp.fingroup.fingroup]
+FinGroup.Exports.baseFinGroupType [in mathcomp.fingroup.fingroup]
+FinGroup.Exports.FinGroupType [in mathcomp.fingroup.fingroup]
+FinGroup.Exports.finGroupType [in mathcomp.fingroup.fingroup]
+FinGroup.rT [in mathcomp.fingroup.fingroup]
+FinGroup.T [in mathcomp.fingroup.fingroup]
+FiniteModule.fmodA [in mathcomp.solvable.finmodule]
+FiniteModule.valA [in mathcomp.solvable.finmodule]
+Finite.enum [in mathcomp.ssreflect.fintype]
+Finite.Exports.FinMixin [in mathcomp.ssreflect.fintype]
+Finite.Exports.FinType [in mathcomp.ssreflect.fintype]
+Finite.Exports.finType [in mathcomp.ssreflect.fintype]
+Finite.Exports.UniqFinMixin [in mathcomp.ssreflect.fintype]
+Finite.xclass [in mathcomp.ssreflect.fintype]
+FinRing.Algebra.Exports.finAlgType [in mathcomp.algebra.finalg]
+FinRing.Algebra.xclass [in mathcomp.algebra.finalg]
+FinRing.base_group [in mathcomp.algebra.finalg]
+FinRing.ComRing.Exports.finComRingType [in mathcomp.algebra.finalg]
+FinRing.ComRing.xclass [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.Exports.finComUnitRingType [in mathcomp.algebra.finalg]
+FinRing.ComUnitRing.xclass [in mathcomp.algebra.finalg]
+FinRing.do_pack [in mathcomp.algebra.finalg]
+FinRing.Field.Exports.finFieldType [in mathcomp.algebra.finalg]
+FinRing.Field.xclass [in mathcomp.algebra.finalg]
+FinRing.fin_group [in mathcomp.algebra.finalg]
+FinRing.fin_ [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.Exports.finIdomainType [in mathcomp.algebra.finalg]
+FinRing.IntegralDomain.xclass [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.Exports.finLalgType [in mathcomp.algebra.finalg]
+FinRing.Lalgebra.xclass [in mathcomp.algebra.finalg]
+FinRing.Lmodule.Exports.finLmodType [in mathcomp.algebra.finalg]
+FinRing.Lmodule.xclass [in mathcomp.algebra.finalg]
+FinRing.mixin_of [in mathcomp.algebra.finalg]
+FinRing.Ring.Exports.finRingType [in mathcomp.algebra.finalg]
+FinRing.Ring.xclass [in mathcomp.algebra.finalg]
+FinRing.unit [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.Exports.finUnitAlgType [in mathcomp.algebra.finalg]
+FinRing.UnitAlgebra.xclass [in mathcomp.algebra.finalg]
+FinRing.UnitRing.Exports.finUnitRingType [in mathcomp.algebra.finalg]
+FinRing.UnitRing.xclass [in mathcomp.algebra.finalg]
+FinRing.uT [in mathcomp.algebra.finalg]
+FinRing.Zmodule.Exports.finZmodType [in mathcomp.algebra.finalg]
+FinRing.Zmodule.xclass [in mathcomp.algebra.finalg]
+finset [in mathcomp.ssreflect.finset]
+finset_def [in mathcomp.ssreflect.finset]
+FinSplittingFieldAxiom [in mathcomp.field.finfield]
+FinSplittingFieldType [in mathcomp.field.finfield]
+fmod [in mathcomp.solvable.finmodule]
+fp [in mathcomp.algebra.mxpoly]
+fp [in mathcomp.algebra.mxpoly]
+fp [in mathcomp.algebra.mxpoly]
+fpath [in mathcomp.ssreflect.path]
+FracField.dom [in mathcomp.algebra.fraction]
+FracField.domP [in mathcomp.algebra.fraction]
+FracField.equivf_notation [in mathcomp.algebra.fraction]
+FracField.frac [in mathcomp.algebra.fraction]
+Frobenius_aut [in mathcomp.algebra.ssralg]
+froot [in mathcomp.ssreflect.fingraph]
+froots [in mathcomp.ssreflect.fingraph]
+fsH [in mathcomp.fingroup.gproduct]
+fsK [in mathcomp.fingroup.gproduct]
+fT [in mathcomp.ssreflect.finfun]
+fT [in mathcomp.ssreflect.finfun]
+fT [in mathcomp.ssreflect.finfun]
+fun_of_perm [in mathcomp.fingroup.perm]
+fun_of_perm_def [in mathcomp.fingroup.perm]
+fun_of_fin [in mathcomp.ssreflect.finfun]
+fun_of_fin_def [in mathcomp.ssreflect.finfun]
+fun_adjunction [in mathcomp.ssreflect.fingraph]
+F1 [in mathcomp.field.fieldext]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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 diff --git a/docs/htmldoc/index_abbreviation_G.html b/docs/htmldoc/index_abbreviation_G.html new file mode 100644 index 0000000..d254e2a --- /dev/null +++ b/docs/htmldoc/index_abbreviation_G.html @@ -0,0 +1,1056 @@ + + + + + +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 (abbreviation)

+g [in mathcomp.character.character]
+G [in mathcomp.character.inertia]
+G [in mathcomp.character.classfun]
+G [in mathcomp.character.classfun]
+G [in mathcomp.character.classfun]
+GaussE [in mathcomp.algebra.mxalgebra]
+Gcl [in mathcomp.fingroup.fingroup]
+gH [in mathcomp.fingroup.gproduct]
+gK [in mathcomp.fingroup.gproduct]
+gof [in mathcomp.fingroup.morphism]
+GRing.Additive.Exports.Additive [in mathcomp.algebra.ssralg]
+GRing.Additive.Exports.additive [in mathcomp.algebra.ssralg]
+GRing.Algebra.Exports.AlgType [in mathcomp.algebra.ssralg]
+GRing.Algebra.Exports.algType [in mathcomp.algebra.ssralg]
+GRing.Algebra.Exports.CommAlgType [in mathcomp.algebra.ssralg]
+GRing.Algebra.xclass [in mathcomp.algebra.ssralg]
+GRing.ClosedField.Exports.ClosedFieldType [in mathcomp.algebra.ssralg]
+GRing.ClosedField.Exports.closedFieldType [in mathcomp.algebra.ssralg]
+GRing.ClosedField.xclass [in mathcomp.algebra.ssralg]
+GRing.ComRing.Exports.ComRingMixin [in mathcomp.algebra.ssralg]
+GRing.ComRing.Exports.ComRingType [in mathcomp.algebra.ssralg]
+GRing.ComRing.Exports.comRingType [in mathcomp.algebra.ssralg]
+GRing.ComRing.xclass [in mathcomp.algebra.ssralg]
+GRing.ComUnitRing.Exports.ComUnitRingMixin [in mathcomp.algebra.ssralg]
+GRing.ComUnitRing.Exports.comUnitRingType [in mathcomp.algebra.ssralg]
+GRing.ComUnitRing.xclass [in mathcomp.algebra.ssralg]
+GRing.DecidableField.Exports.DecFieldMixin [in mathcomp.algebra.ssralg]
+GRing.DecidableField.Exports.DecFieldType [in mathcomp.algebra.ssralg]
+GRing.DecidableField.Exports.decFieldType [in mathcomp.algebra.ssralg]
+GRing.DecidableField.xclass [in mathcomp.algebra.ssralg]
+GRing.False [in mathcomp.algebra.ssralg]
+GRing.fE [in mathcomp.algebra.ssralg]
+GRing.Field.Exports.FieldIdomainMixin [in mathcomp.algebra.ssralg]
+GRing.Field.Exports.FieldMixin [in mathcomp.algebra.ssralg]
+GRing.Field.Exports.FieldType [in mathcomp.algebra.ssralg]
+GRing.Field.Exports.fieldType [in mathcomp.algebra.ssralg]
+GRing.Field.Exports.FieldUnitMixin [in mathcomp.algebra.ssralg]
+GRing.Field.xclass [in mathcomp.algebra.ssralg]
+GRing.IntegralDomain.Exports.IdomainType [in mathcomp.algebra.ssralg]
+GRing.IntegralDomain.Exports.idomainType [in mathcomp.algebra.ssralg]
+GRing.IntegralDomain.xclass [in mathcomp.algebra.ssralg]
+GRing.in_alg [in mathcomp.algebra.ssralg]
+GRing.in_alg_loc [in mathcomp.algebra.ssralg]
+GRing.Lalgebra.Exports.LalgType [in mathcomp.algebra.ssralg]
+GRing.Lalgebra.Exports.lalgType [in mathcomp.algebra.ssralg]
+GRing.Lalgebra.xclass [in mathcomp.algebra.ssralg]
+GRing.Linear.Exports.AddLinear [in mathcomp.algebra.ssralg]
+GRing.Linear.Exports.Linear [in mathcomp.algebra.ssralg]
+GRing.Linear.Exports.linear [in mathcomp.algebra.ssralg]
+GRing.Linear.Exports.linear_for [in mathcomp.algebra.ssralg]
+GRing.Linear.Exports.lmorphism [in mathcomp.algebra.ssralg]
+GRing.Linear.Exports.lmorphism_for [in mathcomp.algebra.ssralg]
+GRing.Linear.Exports.scalable [in mathcomp.algebra.ssralg]
+GRing.Linear.Exports.scalable_for [in mathcomp.algebra.ssralg]
+GRing.Linear.Exports.scalar [in mathcomp.algebra.ssralg]
+GRing.Linear.mapUV [in mathcomp.algebra.ssralg]
+GRing.Lmodule.Exports.LmodMixin [in mathcomp.algebra.ssralg]
+GRing.Lmodule.Exports.LmodType [in mathcomp.algebra.ssralg]
+GRing.Lmodule.Exports.lmodType [in mathcomp.algebra.ssralg]
+GRing.Lmodule.xclass [in mathcomp.algebra.ssralg]
+GRing.LRMorphism.Exports.AddLRMorphism [in mathcomp.algebra.ssralg]
+GRing.LRMorphism.Exports.LRMorphism [in mathcomp.algebra.ssralg]
+GRing.LRMorphism.Exports.lrmorphism [in mathcomp.algebra.ssralg]
+GRing.LRMorphism.Exports.lrmorphism_for [in mathcomp.algebra.ssralg]
+GRing.null_fun [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.addrPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.addr_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.divalgPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.divalg_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.divringPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.divring_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.divrPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.divr_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.invr_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.linear_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.mulrPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.mulr_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.opprPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.oppr_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.scaler_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.sdivrPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.sdivr_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.semiringPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.semiring_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.smulrPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.smulr_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.subalgPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.subalg_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.submodPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.submod_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.subringPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.subring_closed [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.zmodPred [in mathcomp.algebra.ssralg]
+GRing.Pred.Exports.zmod_closed [in mathcomp.algebra.ssralg]
+GRing.Ring.Exports.RingMixin [in mathcomp.algebra.ssralg]
+GRing.Ring.Exports.RingType [in mathcomp.algebra.ssralg]
+GRing.Ring.Exports.ringType [in mathcomp.algebra.ssralg]
+GRing.Ring.xclass [in mathcomp.algebra.ssralg]
+GRing.RMorphism.Exports.AddRMorphism [in mathcomp.algebra.ssralg]
+GRing.RMorphism.Exports.multiplicative [in mathcomp.algebra.ssralg]
+GRing.RMorphism.Exports.RMorphism [in mathcomp.algebra.ssralg]
+GRing.RMorphism.Exports.rmorphism [in mathcomp.algebra.ssralg]
+GRing.Scale.s_op [in mathcomp.algebra.ssralg]
+GRing.sign [in mathcomp.algebra.ssralg]
+GRing.Theory.in_alg [in mathcomp.algebra.ssralg]
+GRing.Theory.null_fun [in mathcomp.algebra.ssralg]
+GRing.True [in mathcomp.algebra.ssralg]
+GRing.UnitAlgebra.Exports.unitAlgType [in mathcomp.algebra.ssralg]
+GRing.UnitAlgebra.xclass [in mathcomp.algebra.ssralg]
+GRing.UnitRing.Exports.UnitRingMixin [in mathcomp.algebra.ssralg]
+GRing.UnitRing.Exports.UnitRingType [in mathcomp.algebra.ssralg]
+GRing.UnitRing.Exports.unitRingType [in mathcomp.algebra.ssralg]
+GRing.UnitRing.xclass [in mathcomp.algebra.ssralg]
+GRing.Zmodule.Exports.ZmodMixin [in mathcomp.algebra.ssralg]
+GRing.Zmodule.Exports.ZmodType [in mathcomp.algebra.ssralg]
+GRing.Zmodule.Exports.zmodType [in mathcomp.algebra.ssralg]
+GRing.Zmodule.xclass [in mathcomp.algebra.ssralg]
+groupT [in mathcomp.solvable.gseries]
+groupT [in mathcomp.fingroup.fingroup]
+gsort [in mathcomp.fingroup.fingroup]
+gT [in mathcomp.fingroup.action]
+gTg [in mathcomp.solvable.jordanholder]
+gTr [in mathcomp.fingroup.fingroup]
+gtype [in mathcomp.solvable.extraspecial]
+G_ [in mathcomp.solvable.center]
+G' [in mathcomp.solvable.hall]
+G1 [in mathcomp.character.classfun]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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 diff --git a/docs/htmldoc/index_abbreviation_H.html b/docs/htmldoc/index_abbreviation_H.html new file mode 100644 index 0000000..5e53fc9 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_H.html @@ -0,0 +1,486 @@ + + + + + +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)
+

H (abbreviation)

+H [in mathcomp.fingroup.quotient]
+H [in mathcomp.character.classfun]
+H [in mathcomp.character.classfun]
+H [in mathcomp.character.classfun]
+HG [in mathcomp.solvable.finmodule]
+holds [in mathcomp.character.mxrepresentation]
+Hom_G [in mathcomp.character.mxrepresentation]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_I.html b/docs/htmldoc/index_abbreviation_I.html new file mode 100644 index 0000000..5c74f83 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_I.html @@ -0,0 +1,502 @@ + + + + + +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)
+

I (abbreviation)

+iC [in mathcomp.character.character]
+iG [in mathcomp.character.mxrepresentation]
+Iirr [in mathcomp.character.character]
+image [in mathcomp.ssreflect.fintype]
+ImaginaryMixin [in mathcomp.algebra.ssrnum]
+imset [in mathcomp.ssreflect.finset]
+imset_def [in mathcomp.ssreflect.finset]
+imset2 [in mathcomp.ssreflect.finset]
+imset2_def [in mathcomp.ssreflect.finset]
+inA [in mathcomp.solvable.hall]
+infE [in mathcomp.solvable.burnside_app]
+infH [in mathcomp.fingroup.action]
+inG [in mathcomp.solvable.hall]
+inH [in mathcomp.fingroup.action]
+inlined_new_rect [in mathcomp.ssreflect.eqtype]
+inlined_sub_rect [in mathcomp.ssreflect.eqtype]
+intOrdered.normz [in mathcomp.algebra.ssrint]
+intr [in mathcomp.algebra.ssrint]
+intrp [in mathcomp.field.algC]
+intrp [in mathcomp.field.cyclotomic]
+intrp [in mathcomp.field.algnum]
+iotaPz [in mathcomp.field.fieldext]
+isob [in mathcomp.solvable.center]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_J.html b/docs/htmldoc/index_abbreviation_J.html new file mode 100644 index 0000000..b1be3ca --- /dev/null +++ b/docs/htmldoc/index_abbreviation_J.html @@ -0,0 +1,481 @@ + + + + + +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)
+

J (abbreviation)

+joinGT [in mathcomp.fingroup.fingroup]
+joingT [in mathcomp.fingroup.fingroup]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_K.html b/docs/htmldoc/index_abbreviation_K.html new file mode 100644 index 0000000..3f1e828 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_K.html @@ -0,0 +1,480 @@ + + + + + +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)
+

K (abbreviation)

+K_F [in mathcomp.field.fieldext]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_L.html b/docs/htmldoc/index_abbreviation_L.html new file mode 100644 index 0000000..440904e --- /dev/null +++ b/docs/htmldoc/index_abbreviation_L.html @@ -0,0 +1,490 @@ + + + + + +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)
+

L (abbreviation)

+lcn_neq0 [in mathcomp.field.separable]
+lift_embed [in mathcomp.ssreflect.generic_quotient]
+lift_cst [in mathcomp.ssreflect.generic_quotient]
+lift_op11 [in mathcomp.ssreflect.generic_quotient]
+lift_fun2 [in mathcomp.ssreflect.generic_quotient]
+lift_fun1 [in mathcomp.ssreflect.generic_quotient]
+lift_op2 [in mathcomp.ssreflect.generic_quotient]
+lift_op1 [in mathcomp.ssreflect.generic_quotient]
+limg [in mathcomp.algebra.vector]
+L_F [in mathcomp.field.fieldext]
+L0 [in mathcomp.field.fieldext]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_M.html b/docs/htmldoc/index_abbreviation_M.html new file mode 100644 index 0000000..519ecae --- /dev/null +++ b/docs/htmldoc/index_abbreviation_M.html @@ -0,0 +1,977 @@ + + + + + +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)
+

M (abbreviation)

+MatrixFormula.Add [in mathcomp.algebra.mxpoly]
+MatrixFormula.And [in mathcomp.algebra.mxpoly]
+MatrixFormula.Bool [in mathcomp.algebra.mxpoly]
+MatrixFormula.eval [in mathcomp.algebra.mxpoly]
+MatrixFormula.False [in mathcomp.algebra.mxpoly]
+MatrixFormula.form [in mathcomp.algebra.mxpoly]
+MatrixFormula.holds [in mathcomp.algebra.mxpoly]
+MatrixFormula.morphAnd [in mathcomp.algebra.mxpoly]
+MatrixFormula.qf_eval [in mathcomp.algebra.mxpoly]
+MatrixFormula.qf_form [in mathcomp.algebra.mxpoly]
+MatrixFormula.term [in mathcomp.algebra.mxpoly]
+MatrixFormula.True [in mathcomp.algebra.mxpoly]
+MatrixGenField.Ad [in mathcomp.character.mxrepresentation]
+MatrixGenField.Ad [in mathcomp.character.mxrepresentation]
+MatrixGenField.Bool [in mathcomp.character.mxrepresentation]
+MatrixGenField.d [in mathcomp.character.mxrepresentation]
+MatrixGenField.d [in mathcomp.character.mxrepresentation]
+MatrixGenField.FA [in mathcomp.character.mxrepresentation]
+MatrixGenField.FA [in mathcomp.character.mxrepresentation]
+MatrixGenField.FA [in mathcomp.character.mxrepresentation]
+MatrixGenField.False [in mathcomp.character.mxrepresentation]
+MatrixGenField.form [in mathcomp.character.mxrepresentation]
+MatrixGenField.inFA [in mathcomp.character.mxrepresentation]
+MatrixGenField.irr [in mathcomp.character.mxrepresentation]
+MatrixGenField.m [in mathcomp.character.mxrepresentation]
+MatrixGenField.morphAnd [in mathcomp.character.mxrepresentation]
+MatrixGenField.n [in mathcomp.character.mxrepresentation]
+MatrixGenField.n [in mathcomp.character.mxrepresentation]
+MatrixGenField.n [in mathcomp.character.mxrepresentation]
+MatrixGenField.pA [in mathcomp.character.mxrepresentation]
+MatrixGenField.rGA [in mathcomp.character.mxrepresentation]
+MatrixGenField.term [in mathcomp.character.mxrepresentation]
+MatrixGenField.True [in mathcomp.character.mxrepresentation]
+mG [in mathcomp.character.mxrepresentation]
+mid [in mathcomp.algebra.interval]
+mk_mon [in mathcomp.algebra.mxpoly]
+Mmn [in mathcomp.character.mxabelem]
+modG [in mathcomp.character.mxrepresentation]
+morphAnd [in mathcomp.character.mxrepresentation]
+morPhantom [in mathcomp.fingroup.morphism]
+mulgT [in mathcomp.fingroup.fingroup]
+mulgT [in mathcomp.fingroup.fingroup]
+mulmxr [in mathcomp.algebra.matrix]
+mulmxr [in mathcomp.algebra.matrix]
+MV [in mathcomp.algebra.matrix]
+mxdirect [in mathcomp.algebra.mxalgebra]
+mxdirect [in mathcomp.algebra.mxalgebra]
+mx_series [in mathcomp.character.mxrepresentation]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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 diff --git a/docs/htmldoc/index_abbreviation_N.html b/docs/htmldoc/index_abbreviation_N.html new file mode 100644 index 0000000..ec84d2b --- /dev/null +++ b/docs/htmldoc/index_abbreviation_N.html @@ -0,0 +1,990 @@ + + + + + +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)
+

N (abbreviation)

+n [in mathcomp.field.fieldext]
+n [in mathcomp.field.fieldext]
+n [in mathcomp.character.mxrepresentation]
+n [in mathcomp.character.mxrepresentation]
+n [in mathcomp.algebra.matrix]
+n [in mathcomp.algebra.matrix]
+n [in mathcomp.algebra.matrix]
+n [in mathcomp.algebra.mxpoly]
+n [in mathcomp.algebra.mxpoly]
+n [in mathcomp.ssreflect.fintype]
+n [in mathcomp.character.mxabelem]
+n [in mathcomp.character.mxabelem]
+natTrecE [in mathcomp.ssreflect.ssrnat]
+NatTrec.doublen [in mathcomp.ssreflect.ssrnat]
+NatTrec.oddn [in mathcomp.ssreflect.ssrnat]
+nG [in mathcomp.character.mxrepresentation]
+nG [in mathcomp.character.mxrepresentation]
+Nil [in mathcomp.ssreflect.seq]
+Nirr [in mathcomp.character.character]
+nth [in mathcomp.ssreflect.seq]
+Num.ArchimedeanField.Exports.ArchiFieldType [in mathcomp.algebra.ssrnum]
+Num.ArchimedeanField.Exports.archiFieldType [in mathcomp.algebra.ssrnum]
+Num.ArchimedeanField.xclass [in mathcomp.algebra.ssrnum]
+Num.bound [in mathcomp.algebra.ssrnum]
+Num.ClosedField.Exports.NumClosedFieldType [in mathcomp.algebra.ssrnum]
+Num.ClosedField.Exports.numClosedFieldType [in mathcomp.algebra.ssrnum]
+Num.ClosedField.xclass [in mathcomp.algebra.ssrnum]
+Num.ge [in mathcomp.algebra.ssrnum]
+Num.gt [in mathcomp.algebra.ssrnum]
+Num.le [in mathcomp.algebra.ssrnum]
+Num.lt [in mathcomp.algebra.ssrnum]
+Num.max [in mathcomp.algebra.ssrnum]
+Num.min [in mathcomp.algebra.ssrnum]
+Num.neg [in mathcomp.algebra.ssrnum]
+Num.nneg [in mathcomp.algebra.ssrnum]
+Num.norm [in mathcomp.algebra.ssrnum]
+Num.NumDomain.Exports.NumDomainType [in mathcomp.algebra.ssrnum]
+Num.NumDomain.Exports.numDomainType [in mathcomp.algebra.ssrnum]
+Num.NumDomain.Exports.NumMixin [in mathcomp.algebra.ssrnum]
+Num.NumDomain.xclass [in mathcomp.algebra.ssrnum]
+Num.NumField.Exports.numFieldType [in mathcomp.algebra.ssrnum]
+Num.NumField.xclass [in mathcomp.algebra.ssrnum]
+Num.num_for [in mathcomp.algebra.ssrnum]
+Num.pos [in mathcomp.algebra.ssrnum]
+Num.real [in mathcomp.algebra.ssrnum]
+Num.RealClosedField.Exports.RcfType [in mathcomp.algebra.ssrnum]
+Num.RealClosedField.Exports.rcfType [in mathcomp.algebra.ssrnum]
+Num.RealClosedField.xclass [in mathcomp.algebra.ssrnum]
+Num.RealDomain.Exports.RealDomainType [in mathcomp.algebra.ssrnum]
+Num.RealDomain.Exports.realDomainType [in mathcomp.algebra.ssrnum]
+Num.RealDomain.xclass [in mathcomp.algebra.ssrnum]
+Num.RealField.Exports.realFieldType [in mathcomp.algebra.ssrnum]
+Num.RealField.xclass [in mathcomp.algebra.ssrnum]
+Num.ring_for [in mathcomp.algebra.ssrnum]
+Num.sg [in mathcomp.algebra.ssrnum]
+Num.sqrt [in mathcomp.algebra.ssrnum]
+Num.Theory.mid [in mathcomp.algebra.ssrnum]
+Num.Theory.sqrtC [in mathcomp.algebra.ssrnum]
+Num.Theory.sqrtC [in mathcomp.algebra.ssrnum]
+n_comp [in mathcomp.ssreflect.fingraph]
+n' [in mathcomp.character.mxabelem]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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 diff --git a/docs/htmldoc/index_abbreviation_O.html b/docs/htmldoc/index_abbreviation_O.html new file mode 100644 index 0000000..eb06c36 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_O.html @@ -0,0 +1,480 @@ + + + + + +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)
+

O (abbreviation)

+orbit_rel [in mathcomp.fingroup.action]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_P.html b/docs/htmldoc/index_abbreviation_P.html new file mode 100644 index 0000000..5c9886d --- /dev/null +++ b/docs/htmldoc/index_abbreviation_P.html @@ -0,0 +1,969 @@ + + + + + +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)
+

P (abbreviation)

+p [in mathcomp.algebra.zmodp]
+p [in mathcomp.algebra.zmodp]
+P [in mathcomp.ssreflect.finset]
+perm [in mathcomp.fingroup.perm]
+perm_def [in mathcomp.fingroup.perm]
+perm_eqr [in mathcomp.ssreflect.seq]
+perm_eql [in mathcomp.ssreflect.seq]
+perm_eqr [in mathcomp.ssreflect.seq]
+perm_eql [in mathcomp.ssreflect.seq]
+pfamily [in mathcomp.ssreflect.finfun]
+pffun_on [in mathcomp.ssreflect.finfun]
+pFtoE [in mathcomp.algebra.polyXY]
+PiConst [in mathcomp.ssreflect.generic_quotient]
+piE [in mathcomp.ssreflect.generic_quotient]
+PiEmbed [in mathcomp.ssreflect.generic_quotient]
+PiMono1 [in mathcomp.ssreflect.generic_quotient]
+PiMono2 [in mathcomp.ssreflect.generic_quotient]
+PiMorph [in mathcomp.ssreflect.generic_quotient]
+PiMorph1 [in mathcomp.ssreflect.generic_quotient]
+PiMorph11 [in mathcomp.ssreflect.generic_quotient]
+PiMorph2 [in mathcomp.ssreflect.generic_quotient]
+pprod [in mathcomp.fingroup.gproduct]
+pprod [in mathcomp.fingroup.gproduct]
+pQtoC [in mathcomp.field.algC]
+pQtoC [in mathcomp.field.cyclotomic]
+pQtoC [in mathcomp.field.algnum]
+predn [in mathcomp.ssreflect.ssrnat]
+predOfType [in mathcomp.ssreflect.finset]
+pred_of_set [in mathcomp.ssreflect.finset]
+pred_of_set_def [in mathcomp.ssreflect.finset]
+pT [in mathcomp.fingroup.perm]
+Px [in mathcomp.field.galois]
+pZtoC [in mathcomp.field.algC]
+pZtoC [in mathcomp.field.cyclotomic]
+pZtoC [in mathcomp.field.algnum]
+pZtoQ [in mathcomp.field.algC]
+pZtoQ [in mathcomp.algebra.intdiv]
+pZtoQ [in mathcomp.field.cyclotomic]
+pZtoQ [in mathcomp.field.algnum]
+p_A [in mathcomp.algebra.mxpoly]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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 diff --git a/docs/htmldoc/index_abbreviation_Q.html b/docs/htmldoc/index_abbreviation_Q.html new file mode 100644 index 0000000..2aadf99 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_Q.html @@ -0,0 +1,494 @@ + + + + + +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)
+

Q (abbreviation)

+QEdecFieldMixin [in mathcomp.algebra.ssralg]
+qf [in mathcomp.field.closed_field]
+qf_eval [in mathcomp.character.mxrepresentation]
+qf_form [in mathcomp.character.mxrepresentation]
+Qmorphism [in mathcomp.field.algebraics_fundamentals]
+QtoC [in mathcomp.field.algC]
+QtoC [in mathcomp.field.cyclotomic]
+QtoC [in mathcomp.field.algnum]
+QtoCm [in mathcomp.field.algC]
+QtoCm [in mathcomp.field.algnum]
+QtoC_M [in mathcomp.field.cyclotomic]
+Quotient.type [in mathcomp.algebra.ring_quotient]
+QuotType [in mathcomp.ssreflect.generic_quotient]
+quot_class_of [in mathcomp.ssreflect.generic_quotient]
+quot_class_of [in mathcomp.ssreflect.generic_quotient]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_R.html b/docs/htmldoc/index_abbreviation_R.html new file mode 100644 index 0000000..8eb8653 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_R.html @@ -0,0 +1,974 @@ + + + + + +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)
+

R (abbreviation)

+R [in mathcomp.field.finfield]
+R [in mathcomp.field.finfield]
+r [in mathcomp.character.mxabelem]
+range [in mathcomp.fingroup.action]
+RealLeAxiom [in mathcomp.algebra.ssrnum]
+RealLeMixin [in mathcomp.algebra.ssrnum]
+RealLtMixin [in mathcomp.algebra.ssrnum]
+rel_adjunction [in mathcomp.ssreflect.fingraph]
+rel_adjunction [in mathcomp.ssreflect.fingraph]
+repr [in mathcomp.ssreflect.generic_quotient]
+reprG [in mathcomp.character.mxrepresentation]
+reprG [in mathcomp.character.character]
+reprG [in mathcomp.character.character]
+rF [in mathcomp.character.mxrepresentation]
+rG [in mathcomp.character.mxrepresentation]
+rG [in mathcomp.character.mxrepresentation]
+rG [in mathcomp.character.mxabelem]
+rGB [in mathcomp.character.mxrepresentation]
+rGB [in mathcomp.character.mxrepresentation]
+rGf [in mathcomp.character.mxrepresentation]
+rGf [in mathcomp.character.mxrepresentation]
+rGf [in mathcomp.character.mxrepresentation]
+rGf [in mathcomp.character.mxrepresentation]
+rGH [in mathcomp.character.mxrepresentation]
+rGH [in mathcomp.character.mxrepresentation]
+rH [in mathcomp.character.mxrepresentation]
+rH [in mathcomp.character.mxrepresentation]
+rH [in mathcomp.character.mxrepresentation]
+rH [in mathcomp.character.mxrepresentation]
+rH [in mathcomp.character.mxabelem]
+rHG [in mathcomp.character.mxabelem]
+RingQuotMixin [in mathcomp.algebra.ring_quotient]
+RingQuotType [in mathcomp.algebra.ring_quotient]
+rsimC [in mathcomp.character.mxrepresentation]
+rsimT [in mathcomp.character.mxrepresentation]
+rT [in mathcomp.fingroup.fingroup]
+rU [in mathcomp.character.mxrepresentation]
+rU' [in mathcomp.character.mxrepresentation]
+rVn [in mathcomp.character.mxabelem]
+rVn [in mathcomp.character.mxabelem]
+rVn [in mathcomp.character.mxabelem]
+rV_E [in mathcomp.character.mxabelem]
+R_G [in mathcomp.character.integral_char]
+R_G [in mathcomp.character.mxrepresentation]
+R_G [in mathcomp.character.mxrepresentation]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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 diff --git a/docs/htmldoc/index_abbreviation_S.html b/docs/htmldoc/index_abbreviation_S.html new file mode 100644 index 0000000..117757f --- /dev/null +++ b/docs/htmldoc/index_abbreviation_S.html @@ -0,0 +1,965 @@ + + + + + +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)
+

S (abbreviation)

+S [in mathcomp.character.mxrepresentation]
+sdprod [in mathcomp.fingroup.gproduct]
+sdprod [in mathcomp.fingroup.gproduct]
+sdT [in mathcomp.fingroup.gproduct]
+sdval [in mathcomp.fingroup.gproduct]
+separable [in mathcomp.field.separable]
+seq [in mathcomp.ssreflect.seq]
+setT [in mathcomp.ssreflect.finset]
+sG [in mathcomp.character.mxrepresentation]
+sgr [in mathcomp.algebra.rat]
+sgr [in mathcomp.algebra.ssrint]
+simp [in mathcomp.algebra.matrix]
+simp [in mathcomp.algebra.polydiv]
+simp [in mathcomp.algebra.poly]
+simp [in mathcomp.algebra.mxalgebra]
+soc [in mathcomp.character.character]
+SplittingField.Exports.SplittingFieldType [in mathcomp.field.galois]
+SplittingField.Exports.splittingFieldType [in mathcomp.field.galois]
+SplittingField.xclass [in mathcomp.field.galois]
+sr [in mathcomp.character.mxrepresentation]
+ssimS [in mathcomp.character.mxrepresentation]
+sT [in mathcomp.ssreflect.fintype]
+sT [in mathcomp.fingroup.fingroup]
+sT [in mathcomp.ssreflect.finset]
+subdom [in mathcomp.fingroup.action]
+subset_def [in mathcomp.ssreflect.fintype]
+subset_type [in mathcomp.ssreflect.fintype]
+subV [in mathcomp.algebra.vector]
+succn [in mathcomp.ssreflect.ssrnat]
+sumKx [in mathcomp.field.fieldext]
+sumV [in mathcomp.algebra.vector]
+sumv_pi [in mathcomp.algebra.vector]
+support [in mathcomp.algebra.ssralg]
+sval [in mathcomp.ssreflect.eqtype]
+SwizzleAdd [in mathcomp.algebra.matrix]
+SwizzleLin [in mathcomp.algebra.matrix]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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 diff --git a/docs/htmldoc/index_abbreviation_T.html b/docs/htmldoc/index_abbreviation_T.html new file mode 100644 index 0000000..6baad63 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_T.html @@ -0,0 +1,487 @@ + + + + + +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)
+

T (abbreviation)

+T [in mathcomp.character.inertia]
+term [in mathcomp.character.mxrepresentation]
+tG [in mathcomp.character.mxrepresentation]
+theta [in mathcomp.character.inertia]
+tofrac [in mathcomp.algebra.fraction]
+True [in mathcomp.character.mxrepresentation]
+type [in mathcomp.field.finfield]
+T' [in mathcomp.solvable.alt]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_U.html b/docs/htmldoc/index_abbreviation_U.html new file mode 100644 index 0000000..072b09d --- /dev/null +++ b/docs/htmldoc/index_abbreviation_U.html @@ -0,0 +1,484 @@ + + + + + +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)
+

U (abbreviation)

+ufcycle [in mathcomp.ssreflect.path]
+UnitRingQuotMixin [in mathcomp.algebra.ring_quotient]
+UnitRingQuotType [in mathcomp.algebra.ring_quotient]
+UnityRootTheory.prim_expr_order [in mathcomp.algebra.poly]
+UnityRootTheory.prim_order_gt0 [in mathcomp.algebra.poly]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_V.html b/docs/htmldoc/index_abbreviation_V.html new file mode 100644 index 0000000..c03d398 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_V.html @@ -0,0 +1,484 @@ + + + + + +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)
+

V (abbreviation)

+Vector.axiom [in mathcomp.algebra.vector]
+Vector.Exports.VectMixin [in mathcomp.algebra.vector]
+Vector.Exports.VectType [in mathcomp.algebra.vector]
+Vector.Exports.vectType [in mathcomp.algebra.vector]
+Vector.xclass [in mathcomp.algebra.vector]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_W.html b/docs/htmldoc/index_abbreviation_W.html new file mode 100644 index 0000000..9e23118 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_W.html @@ -0,0 +1,481 @@ + + + + + +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)
+

W (abbreviation)

+W [in mathcomp.character.character]
+W [in mathcomp.character.character]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_X.html b/docs/htmldoc/index_abbreviation_X.html new file mode 100644 index 0000000..f19d131 --- /dev/null +++ b/docs/htmldoc/index_abbreviation_X.html @@ -0,0 +1,489 @@ + + + + + +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)
+

X (abbreviation)

+X [in mathcomp.character.character]
+xcfun_r [in mathcomp.character.character]
+xcfun_r [in mathcomp.character.character]
+xpredC1 [in mathcomp.ssreflect.eqtype]
+xpredD1 [in mathcomp.ssreflect.eqtype]
+xpredU1 [in mathcomp.ssreflect.eqtype]
+xpred1 [in mathcomp.ssreflect.eqtype]
+xpred2 [in mathcomp.ssreflect.eqtype]
+xpred3 [in mathcomp.ssreflect.eqtype]
+xpred4 [in mathcomp.ssreflect.eqtype]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_Y.html b/docs/htmldoc/index_abbreviation_Y.html new file mode 100644 index 0000000..c9bd28e --- /dev/null +++ b/docs/htmldoc/index_abbreviation_Y.html @@ -0,0 +1,478 @@ + + + + + +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)
+
+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_Z.html b/docs/htmldoc/index_abbreviation_Z.html new file mode 100644 index 0000000..39b632e --- /dev/null +++ b/docs/htmldoc/index_abbreviation_Z.html @@ -0,0 +1,487 @@ + + + + + +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)
+

Z (abbreviation)

+ZmodQuotMixin [in mathcomp.algebra.ring_quotient]
+ZmodQuotType [in mathcomp.algebra.ring_quotient]
+ZtoC [in mathcomp.field.algC]
+ZtoC [in mathcomp.field.cyclotomic]
+ZtoC [in mathcomp.field.algnum]
+ZtoQ [in mathcomp.field.algC]
+ZtoQ [in mathcomp.field.cyclotomic]
+ZtoQ [in mathcomp.field.algnum]
+

+ + + +
+ + + \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation__.html b/docs/htmldoc/index_abbreviation__.html new file mode 100644 index 0000000..c9bd28e --- /dev/null +++ b/docs/htmldoc/index_abbreviation__.html @@ -0,0 +1,478 @@ + + + + + +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)
+
+ + + +
+ + + \ No newline at end of file -- cgit v1.2.3