From 6b59540a2460633df4e3d8347cb4dfe2fb3a3afb Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Wed, 16 Oct 2019 11:26:43 +0200 Subject: removing everything but index which redirects to the new page --- docs/htmldoc/index_notation_F.html | 1010 ------------------------------------ 1 file changed, 1010 deletions(-) delete mode 100644 docs/htmldoc/index_notation_F.html (limited to 'docs/htmldoc/index_notation_F.html') diff --git a/docs/htmldoc/index_notation_F.html b/docs/htmldoc/index_notation_F.html deleted file mode 100644 index 9818469..0000000 --- a/docs/htmldoc/index_notation_F.html +++ /dev/null @@ -1,1010 +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 (notation)

-{ aspace _ } (type_scope) [in mathcomp.field.falgebra]
-'Z ( _ ) (vspace_scope) [in mathcomp.field.falgebra]
-'C ( _ ) (vspace_scope) [in mathcomp.field.falgebra]
-'C [ _ ] (vspace_scope) [in mathcomp.field.falgebra]
-_ ^+ _ (vspace_scope) [in mathcomp.field.falgebra]
-_ * _ (vspace_scope) [in mathcomp.field.falgebra]
-[ FalgType _ of _ for _ ] (form_scope) [in mathcomp.field.falgebra]
-[ FalgType _ of _ ] (form_scope) [in mathcomp.field.falgebra]
-_ ^u [in mathcomp.character.classfun]
-[ fieldExtType _ of _ for _ ] (form_scope) [in mathcomp.field.fieldext]
-[ fieldExtType _ of _ ] (form_scope) [in mathcomp.field.fieldext]
-{ subfield _ } (type_scope) [in mathcomp.field.fieldext]
-_ *F: _ [in mathcomp.field.fieldext]
-'Cl (action_scope) [in mathcomp.character.mxrepresentation]
-'e_ _ (group_ring_scope) [in mathcomp.character.mxrepresentation]
-'R_ _ (group_ring_scope) [in mathcomp.character.mxrepresentation]
-'n_ _ (group_ring_scope) [in mathcomp.character.mxrepresentation]
-1 (irrType_scope) [in mathcomp.character.mxrepresentation]
-[ 1 _ ] (irrType_scope) [in mathcomp.character.mxrepresentation]
-_ %| _ [in mathcomp.field.finfield]
-_ ^%:A (ring_scope) [in mathcomp.field.finfield]
-'Zm (action_scope) [in mathcomp.character.mxabelem]
-[ finGroupType of _ ] (form_scope) [in mathcomp.fingroup.fingroup]
-[ baseFinGroupType of _ ] (form_scope) [in mathcomp.fingroup.fingroup]
-_ ^-1 [in mathcomp.fingroup.fingroup]
-_ * _ [in mathcomp.fingroup.fingroup]
-1 [in mathcomp.fingroup.fingroup]
-'M (action_scope) [in mathcomp.solvable.finmodule]
-'M (groupAction_scope) [in mathcomp.solvable.finmodule]
-_ ^@ _ (ring_scope) [in mathcomp.solvable.finmodule]
-'M (action_scope) [in mathcomp.solvable.finmodule]
-'M (groupAction_scope) [in mathcomp.solvable.finmodule]
-_ ^@ _ (ring_scope) [in mathcomp.solvable.finmodule]
-, exists _ : _ in _ _ (bool_scope) [in mathcomp.ssreflect.fintype]
-, exists _ in _ _ (bool_scope) [in mathcomp.ssreflect.fintype]
-[ exists _ : _ in _ _ ] (bool_scope) [in mathcomp.ssreflect.fintype]
-[ exists _ in _ _ ] (bool_scope) [in mathcomp.ssreflect.fintype]
-[ exists ( _ : _ | _ ) _ ] (bool_scope) [in mathcomp.ssreflect.fintype]
-[ exists ( _ | _ ) _ ] (bool_scope) [in mathcomp.ssreflect.fintype]
-[ exists _ : _ _ ] (bool_scope) [in mathcomp.ssreflect.fintype]
-[ exists _ _ ] (bool_scope) [in mathcomp.ssreflect.fintype]
-, forall _ : _ in _ _ (bool_scope) [in mathcomp.ssreflect.fintype]
-, forall _ in _ _ (bool_scope) [in mathcomp.ssreflect.fintype]
-[ forall _ : _ in _ _ ] (bool_scope) [in mathcomp.ssreflect.fintype]
-[ forall _ in _ _ ] (bool_scope) [in mathcomp.ssreflect.fintype]
-[ forall ( _ : _ | _ ) _ ] (bool_scope) [in mathcomp.ssreflect.fintype]
-[ forall ( _ | _ ) _ ] (bool_scope) [in mathcomp.ssreflect.fintype]
-[ forall _ : _ _ ] (bool_scope) [in mathcomp.ssreflect.fintype]
-[ forall _ _ ] (bool_scope) [in mathcomp.ssreflect.fintype]
-, exists ( _ : _ | _ ) _ (fin_quant_scope) [in mathcomp.ssreflect.fintype]
-, exists ( _ | _ ) _ (fin_quant_scope) [in mathcomp.ssreflect.fintype]
-, exists _ : _ _ (fin_quant_scope) [in mathcomp.ssreflect.fintype]
-, exists _ _ (fin_quant_scope) [in mathcomp.ssreflect.fintype]
-, forall ( _ : _ | _ ) _ (fin_quant_scope) [in mathcomp.ssreflect.fintype]
-, forall ( _ | _ ) _ (fin_quant_scope) [in mathcomp.ssreflect.fintype]
-, forall _ : _ _ (fin_quant_scope) [in mathcomp.ssreflect.fintype]
-, forall _ _ (fin_quant_scope) [in mathcomp.ssreflect.fintype]
-, _ (fin_quant_scope) [in mathcomp.ssreflect.fintype]
-_ ^~ [in mathcomp.ssreflect.fintype]
-_ ^* [in mathcomp.ssreflect.fintype]
-[ _ : _ | _ ] [in mathcomp.ssreflect.fintype]
-[ _ | _ ] [in mathcomp.ssreflect.fintype]
-[ finType of _ ] (form_scope) [in mathcomp.ssreflect.fintype]
-[ finType of _ for _ ] (form_scope) [in mathcomp.ssreflect.fintype]
-[ finAlgType _ of _ ] (form_scope) [in mathcomp.algebra.finalg]
-[ finComRingType of _ ] (form_scope) [in mathcomp.algebra.finalg]
-[ finComUnitRingType of _ ] (form_scope) [in mathcomp.algebra.finalg]
-[ finFieldType of _ ] (form_scope) [in mathcomp.algebra.finalg]
-[ finIdomainType of _ ] (form_scope) [in mathcomp.algebra.finalg]
-[ finLalgType _ of _ ] (form_scope) [in mathcomp.algebra.finalg]
-[ finLmodType _ of _ ] (form_scope) [in mathcomp.algebra.finalg]
-[ finRingType of _ ] (form_scope) [in mathcomp.algebra.finalg]
-[ finUnitAlgType _ of _ ] (form_scope) [in mathcomp.algebra.finalg]
-[ finUnitRingType of _ ] (form_scope) [in mathcomp.algebra.finalg]
-[ finGroupType of _ for +%R ] (form_scope) [in mathcomp.algebra.finalg]
-[ baseFinGroupType of _ for +%R ] (form_scope) [in mathcomp.algebra.finalg]
-[ finZmodType of _ ] (form_scope) [in mathcomp.algebra.finalg]
-{ ratio _ } [in mathcomp.algebra.fraction]
-_ %:F [in mathcomp.algebra.fraction]
-_ %:F [in mathcomp.algebra.fraction]
-{ fraction _ } [in mathcomp.algebra.fraction]
-

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
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