From 748d716efb2f2f75946c8386e441ce1789806a39 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 22 May 2019 13:43:08 +0200
Subject: htmldoc regenerated
---
docs/htmldoc/index_notation_F.html | 232 ++++++++++++++++++-------------------
1 file changed, 116 insertions(+), 116 deletions(-)
(limited to 'docs/htmldoc/index_notation_F.html')
diff --git a/docs/htmldoc/index_notation_F.html b/docs/htmldoc/index_notation_F.html
index cb016d7..9818469 100644
--- a/docs/htmldoc/index_notation_F.html
+++ b/docs/htmldoc/index_notation_F.html
@@ -4,7 +4,7 @@
-mathcomp.ssreflect.tuple
+mathcomp.test_suite.hierarchy_test
@@ -47,7 +47,7 @@
| Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -79,14 +79,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -111,7 +111,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -143,7 +143,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -175,7 +175,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -207,7 +207,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -239,7 +239,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -271,7 +271,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -303,14 +303,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -335,7 +335,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -367,7 +367,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -399,7 +399,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -431,14 +431,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -463,91 +463,91 @@
Z |
_ |
other |
-(185 entries) |
+(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]
+{ 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 Index |
@@ -579,7 +579,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -611,14 +611,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -643,7 +643,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -675,7 +675,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -707,7 +707,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -739,7 +739,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -771,7 +771,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -803,7 +803,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -835,14 +835,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -867,7 +867,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -899,7 +899,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -931,7 +931,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -963,14 +963,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -995,7 +995,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3