From 6b59540a2460633df4e3d8347cb4dfe2fb3a3afb Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Wed, 16 Oct 2019 11:26:43 +0200 Subject: removing everything but index which redirects to the new page --- docs/htmldoc/index_abbreviation_*.html | 478 --------------- docs/htmldoc/index_abbreviation_A.html | 960 ----------------------------- docs/htmldoc/index_abbreviation_B.html | 487 --------------- docs/htmldoc/index_abbreviation_C.html | 995 ------------------------------ docs/htmldoc/index_abbreviation_D.html | 489 --------------- docs/htmldoc/index_abbreviation_E.html | 962 ----------------------------- docs/htmldoc/index_abbreviation_F.html | 1027 ------------------------------- docs/htmldoc/index_abbreviation_G.html | 1054 -------------------------------- 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 | 491 --------------- docs/htmldoc/index_abbreviation_M.html | 977 ----------------------------- docs/htmldoc/index_abbreviation_N.html | 992 ------------------------------ docs/htmldoc/index_abbreviation_O.html | 480 --------------- docs/htmldoc/index_abbreviation_P.html | 989 ------------------------------ docs/htmldoc/index_abbreviation_Q.html | 493 --------------- docs/htmldoc/index_abbreviation_R.html | 975 ----------------------------- docs/htmldoc/index_abbreviation_S.html | 966 ----------------------------- docs/htmldoc/index_abbreviation_T.html | 489 --------------- docs/htmldoc/index_abbreviation_U.html | 485 --------------- docs/htmldoc/index_abbreviation_V.html | 485 --------------- docs/htmldoc/index_abbreviation_W.html | 481 --------------- docs/htmldoc/index_abbreviation_X.html | 490 --------------- docs/htmldoc/index_abbreviation_Y.html | 478 --------------- docs/htmldoc/index_abbreviation_Z.html | 487 --------------- docs/htmldoc/index_abbreviation__.html | 478 --------------- 28 files changed, 18637 deletions(-) delete mode 100644 docs/htmldoc/index_abbreviation_*.html delete mode 100644 docs/htmldoc/index_abbreviation_A.html delete mode 100644 docs/htmldoc/index_abbreviation_B.html delete mode 100644 docs/htmldoc/index_abbreviation_C.html delete mode 100644 docs/htmldoc/index_abbreviation_D.html delete mode 100644 docs/htmldoc/index_abbreviation_E.html delete mode 100644 docs/htmldoc/index_abbreviation_F.html delete mode 100644 docs/htmldoc/index_abbreviation_G.html delete mode 100644 docs/htmldoc/index_abbreviation_H.html delete mode 100644 docs/htmldoc/index_abbreviation_I.html delete mode 100644 docs/htmldoc/index_abbreviation_J.html delete mode 100644 docs/htmldoc/index_abbreviation_K.html delete mode 100644 docs/htmldoc/index_abbreviation_L.html delete mode 100644 docs/htmldoc/index_abbreviation_M.html delete mode 100644 docs/htmldoc/index_abbreviation_N.html delete mode 100644 docs/htmldoc/index_abbreviation_O.html delete mode 100644 docs/htmldoc/index_abbreviation_P.html delete mode 100644 docs/htmldoc/index_abbreviation_Q.html delete mode 100644 docs/htmldoc/index_abbreviation_R.html delete mode 100644 docs/htmldoc/index_abbreviation_S.html delete mode 100644 docs/htmldoc/index_abbreviation_T.html delete mode 100644 docs/htmldoc/index_abbreviation_U.html delete mode 100644 docs/htmldoc/index_abbreviation_V.html delete mode 100644 docs/htmldoc/index_abbreviation_W.html delete mode 100644 docs/htmldoc/index_abbreviation_X.html delete mode 100644 docs/htmldoc/index_abbreviation_Y.html delete mode 100644 docs/htmldoc/index_abbreviation_Z.html delete 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 deleted file mode 100644 index ecb788b..0000000 --- a/docs/htmldoc/index_abbreviation_*.html +++ /dev/null @@ -1,478 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_A.html b/docs/htmldoc/index_abbreviation_A.html deleted file mode 100644 index 1ce2441..0000000 --- a/docs/htmldoc/index_abbreviation_A.html +++ /dev/null @@ -1,960 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

A (abbreviation)

-a [in mathcomp.character.integral_char]
-a [in mathcomp.character.integral_char]
-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(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_B.html b/docs/htmldoc/index_abbreviation_B.html deleted file mode 100644 index 4359cd6..0000000 --- a/docs/htmldoc/index_abbreviation_B.html +++ /dev/null @@ -1,487 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

B (abbreviation)

-band [in mathcomp.algebra.mxpoly]
-baseFieldType [in mathcomp.field.fieldext]
-BClose [in mathcomp.algebra.interval]
-bigop [in mathcomp.ssreflect.bigop]
-BIG_P [in mathcomp.ssreflect.bigop]
-BIG_F [in mathcomp.ssreflect.bigop]
-BOpen [in mathcomp.algebra.interval]
-bsCA [in mathcomp.ssreflect.seq]
-

- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_C.html b/docs/htmldoc/index_abbreviation_C.html deleted file mode 100644 index 5627dfb..0000000 --- a/docs/htmldoc/index_abbreviation_C.html +++ /dev/null @@ -1,995 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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]
-ClosedFieldQE.abstrX_bigmul [in mathcomp.field.closed_field]
-ClosedFieldQE.bigmap_id [in mathcomp.field.closed_field]
-ClosedFieldQE.cps [in mathcomp.field.closed_field]
-ClosedFieldQE.eval [in mathcomp.field.closed_field]
-ClosedFieldQE.eval_bigmul [in mathcomp.field.closed_field]
-ClosedFieldQE.fF [in mathcomp.field.closed_field]
-ClosedFieldQE.qf [in mathcomp.field.closed_field]
-ClosedFieldQE.qf_eval [in mathcomp.field.closed_field]
-ClosedFieldQE.rterm [in mathcomp.field.closed_field]
-ClosedFieldQE.tF [in mathcomp.field.closed_field]
-closed_field_QEMixin [in mathcomp.field.closed_field]
-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]
-cons_perms [in mathcomp.ssreflect.seq]
-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.algebra.countalg]
-CountRing.ClosedField.xclass [in mathcomp.algebra.countalg]
-CountRing.cnt_ [in mathcomp.algebra.countalg]
-CountRing.ComRing.Exports.countComRingType [in mathcomp.algebra.countalg]
-CountRing.ComRing.xclass [in mathcomp.algebra.countalg]
-CountRing.ComUnitRing.Exports.countComUnitRingType [in mathcomp.algebra.countalg]
-CountRing.ComUnitRing.xclass [in mathcomp.algebra.countalg]
-CountRing.DecidableField.Exports.countDecFieldType [in mathcomp.algebra.countalg]
-CountRing.DecidableField.xclass [in mathcomp.algebra.countalg]
-CountRing.do_pack [in mathcomp.algebra.countalg]
-CountRing.Field.Exports.countFieldType [in mathcomp.algebra.countalg]
-CountRing.Field.xclass [in mathcomp.algebra.countalg]
-CountRing.IntegralDomain.Exports.countIdomainType [in mathcomp.algebra.countalg]
-CountRing.IntegralDomain.xclass [in mathcomp.algebra.countalg]
-CountRing.mixin_of [in mathcomp.algebra.countalg]
-CountRing.Ring.Exports.countRingType [in mathcomp.algebra.countalg]
-CountRing.Ring.xclass [in mathcomp.algebra.countalg]
-CountRing.UnitRing.Exports.countUnitRingType [in mathcomp.algebra.countalg]
-CountRing.UnitRing.xclass [in mathcomp.algebra.countalg]
-CountRing.Zmodule.Exports.countZmodType [in mathcomp.algebra.countalg]
-CountRing.Zmodule.xclass [in mathcomp.algebra.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(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_D.html b/docs/htmldoc/index_abbreviation_D.html deleted file mode 100644 index 8692d5f..0000000 --- a/docs/htmldoc/index_abbreviation_D.html +++ /dev/null @@ -1,489 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

D (abbreviation)

-d [in mathcomp.algebra.mxpoly]
-dc [in mathcomp.ssreflect.choice]
-defHgX [in mathcomp.solvable.finmodule]
-Deprecation.Exports.deprecate [in mathcomp.ssreflect.ssreflect]
-dffun_aT [in mathcomp.ssreflect.finfun]
-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 deleted file mode 100644 index 361efd5..0000000 --- a/docs/htmldoc/index_abbreviation_E.html +++ /dev/null @@ -1,962 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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]
-eq_big_perm [in mathcomp.ssreflect.bigop]
-ErV [in mathcomp.character.mxabelem]
-eval [in mathcomp.character.mxrepresentation]
-eval [in mathcomp.algebra.polyXY]
-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(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_F.html b/docs/htmldoc/index_abbreviation_F.html deleted file mode 100644 index 2292932..0000000 --- a/docs/htmldoc/index_abbreviation_F.html +++ /dev/null @@ -1,1027 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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.fingroup.morphism]
-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]
-finPi [in mathcomp.ssreflect.finfun]
-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]
-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_adjunction [in mathcomp.ssreflect.fingraph]
-F1 [in mathcomp.field.fieldext]
-

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_G.html b/docs/htmldoc/index_abbreviation_G.html deleted file mode 100644 index 98138ca..0000000 --- a/docs/htmldoc/index_abbreviation_G.html +++ /dev/null @@ -1,1054 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

G (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]
-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]
-gtype [in mathcomp.solvable.extraspecial]
-G_ [in mathcomp.solvable.center]
-G' [in mathcomp.solvable.hall]
-G1 [in mathcomp.character.classfun]
-

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_H.html b/docs/htmldoc/index_abbreviation_H.html deleted file mode 100644 index f37afc9..0000000 --- a/docs/htmldoc/index_abbreviation_H.html +++ /dev/null @@ -1,486 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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 deleted file mode 100644 index a780d8a..0000000 --- a/docs/htmldoc/index_abbreviation_I.html +++ /dev/null @@ -1,502 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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 deleted file mode 100644 index fce5808..0000000 --- a/docs/htmldoc/index_abbreviation_J.html +++ /dev/null @@ -1,481 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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 deleted file mode 100644 index 212e8ef..0000000 --- a/docs/htmldoc/index_abbreviation_K.html +++ /dev/null @@ -1,480 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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 deleted file mode 100644 index 08c7724..0000000 --- a/docs/htmldoc/index_abbreviation_L.html +++ /dev/null @@ -1,491 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

L (abbreviation)

-lcn_neq0 [in mathcomp.field.separable]
-leq_size_perm [in mathcomp.ssreflect.seq]
-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 deleted file mode 100644 index b90a2cf..0000000 --- a/docs/htmldoc/index_abbreviation_M.html +++ /dev/null @@ -1,977 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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.morphAnd [in mathcomp.character.mxrepresentation]
-MatrixGenField.n [in mathcomp.character.mxrepresentation]
-MatrixGenField.n [in mathcomp.character.mxrepresentation]
-MatrixGenField.n [in mathcomp.character.mxrepresentation]
-MatrixGenField.nA [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(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_N.html b/docs/htmldoc/index_abbreviation_N.html deleted file mode 100644 index 53dd8d3..0000000 --- a/docs/htmldoc/index_abbreviation_N.html +++ /dev/null @@ -1,992 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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]
-NonPropType.Exports.nonPropType [in mathcomp.ssreflect.ssreflect]
-NonPropType.Exports.notProp [in mathcomp.ssreflect.ssreflect]
-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(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_O.html b/docs/htmldoc/index_abbreviation_O.html deleted file mode 100644 index 6c3f260..0000000 --- a/docs/htmldoc/index_abbreviation_O.html +++ /dev/null @@ -1,480 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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 deleted file mode 100644 index a130120..0000000 --- a/docs/htmldoc/index_abbreviation_P.html +++ /dev/null @@ -1,989 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

P (abbreviation)

-p [in mathcomp.algebra.zmodp]
-p [in mathcomp.algebra.zmodp]
-P [in mathcomp.ssreflect.finset]
-perm [in mathcomp.fingroup.perm]
-perms [in mathcomp.ssreflect.seq]
-perm_def [in mathcomp.fingroup.perm]
-perm_undup_count [in mathcomp.ssreflect.seq]
-perm_eq_iotaP [in mathcomp.ssreflect.seq]
-perm_eq_consP [in mathcomp.ssreflect.seq]
-perm_eq_nilP [in mathcomp.ssreflect.seq]
-perm_eq_small [in mathcomp.ssreflect.seq]
-perm_eq_all [in mathcomp.ssreflect.seq]
-perm_eq_flatten [in mathcomp.ssreflect.seq]
-perm_eq_rev [in mathcomp.ssreflect.seq]
-perm_eq_uniq [in mathcomp.ssreflect.seq]
-perm_eq_mem [in mathcomp.ssreflect.seq]
-perm_eq_size [in mathcomp.ssreflect.seq]
-perm_eq_trans [in mathcomp.ssreflect.seq]
-perm_eq_sym [in mathcomp.ssreflect.seq]
-perm_eq_refl [in mathcomp.ssreflect.seq]
-perm_eqlE [in mathcomp.ssreflect.seq]
-perm_eqrP [in mathcomp.ssreflect.seq]
-perm_eqlP [in mathcomp.ssreflect.seq]
-perm_eqP [in mathcomp.ssreflect.seq]
-perm_tseq [in mathcomp.ssreflect.seq]
-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(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_Q.html b/docs/htmldoc/index_abbreviation_Q.html deleted file mode 100644 index bb9cabe..0000000 --- a/docs/htmldoc/index_abbreviation_Q.html +++ /dev/null @@ -1,493 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

Q (abbreviation)

-QEdecFieldMixin [in mathcomp.algebra.ssralg]
-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 deleted file mode 100644 index ec43dd5..0000000 --- a/docs/htmldoc/index_abbreviation_R.html +++ /dev/null @@ -1,975 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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]
-reindex_perm [in mathcomp.fingroup.perm]
-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(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_S.html b/docs/htmldoc/index_abbreviation_S.html deleted file mode 100644 index ee82fb6..0000000 --- a/docs/htmldoc/index_abbreviation_S.html +++ /dev/null @@ -1,966 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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]
-Sub [in mathcomp.ssreflect.eqtype]
-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(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_T.html b/docs/htmldoc/index_abbreviation_T.html deleted file mode 100644 index 2fe14be..0000000 --- a/docs/htmldoc/index_abbreviation_T.html +++ /dev/null @@ -1,489 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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]
-tseq [in mathcomp.ssreflect.seq]
-tuple_perm_eqP [in mathcomp.fingroup.perm]
-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 deleted file mode 100644 index 98e1212..0000000 --- a/docs/htmldoc/index_abbreviation_U.html +++ /dev/null @@ -1,485 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

U (abbreviation)

-ufcycle [in mathcomp.ssreflect.path]
-uniq_perm_eq [in mathcomp.ssreflect.seq]
-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 deleted file mode 100644 index f7be5e3..0000000 --- a/docs/htmldoc/index_abbreviation_V.html +++ /dev/null @@ -1,485 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

V (abbreviation)

-val [in mathcomp.ssreflect.eqtype]
-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 deleted file mode 100644 index f4d725a..0000000 --- a/docs/htmldoc/index_abbreviation_W.html +++ /dev/null @@ -1,481 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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 deleted file mode 100644 index 7387626..0000000 --- a/docs/htmldoc/index_abbreviation_X.html +++ /dev/null @@ -1,490 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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]
-xrelpre [in mathcomp.ssreflect.ssrbool]
-

- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_Y.html b/docs/htmldoc/index_abbreviation_Y.html deleted file mode 100644 index ecb788b..0000000 --- a/docs/htmldoc/index_abbreviation_Y.html +++ /dev/null @@ -1,478 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file diff --git a/docs/htmldoc/index_abbreviation_Z.html b/docs/htmldoc/index_abbreviation_Z.html deleted file mode 100644 index c76a833..0000000 --- a/docs/htmldoc/index_abbreviation_Z.html +++ /dev/null @@ -1,487 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-

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 deleted file mode 100644 index ecb788b..0000000 --- a/docs/htmldoc/index_abbreviation__.html +++ /dev/null @@ -1,478 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file -- cgit v1.2.3