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_global_N.html | 334 +++++++++++++++++++++++++--------------
1 file changed, 213 insertions(+), 121 deletions(-)
(limited to 'docs/htmldoc/index_global_N.html')
diff --git a/docs/htmldoc/index_global_N.html b/docs/htmldoc/index_global_N.html
index 46ac872..38c24c8 100644
--- a/docs/htmldoc/index_global_N.html
+++ b/docs/htmldoc/index_global_N.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,7 +463,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
N
@@ -490,7 +490,6 @@
NatConst [section, in mathcomp.ssreflect.bigop]
NatConst.A [variable, in mathcomp.ssreflect.bigop]
NatConst.I [variable, in mathcomp.ssreflect.bigop]
-natmulpT [definition, in mathcomp.field.closed_field]
natnseq0P [lemma, in mathcomp.ssreflect.seq]
NatPreds [section, in mathcomp.ssreflect.prime]
NatPreds.n [variable, in mathcomp.ssreflect.prime]
@@ -519,10 +518,10 @@
NatTrec.oddE [lemma, in mathcomp.ssreflect.ssrnat]
NatTrec.oddn [abbreviation, in mathcomp.ssreflect.ssrnat]
NatTrec.trecE [definition, in mathcomp.ssreflect.ssrnat]
-_ .*2 (nat_scope) [notation, in mathcomp.ssreflect.ssrnat]
-_ ^ _ (nat_scope) [notation, in mathcomp.ssreflect.ssrnat]
-_ * _ (nat_scope) [notation, in mathcomp.ssreflect.ssrnat]
-_ + _ (nat_scope) [notation, in mathcomp.ssreflect.ssrnat]
+_ .*2 (nat_scope) [notation, in mathcomp.ssreflect.ssrnat]
+_ ^ _ (nat_scope) [notation, in mathcomp.ssreflect.ssrnat]
+_ * _ (nat_scope) [notation, in mathcomp.ssreflect.ssrnat]
+_ + _ (nat_scope) [notation, in mathcomp.ssreflect.ssrnat]
natz [lemma, in mathcomp.algebra.ssrint]
nat_pred [definition, in mathcomp.ssreflect.prime]
nat_countMixin [definition, in mathcomp.ssreflect.choice]
@@ -534,8 +533,9 @@
nat_of_exp_bin [lemma, in mathcomp.ssreflect.ssrnat]
nat_of_mul_bin [lemma, in mathcomp.ssreflect.ssrnat]
nat_of_add_bin [lemma, in mathcomp.ssreflect.ssrnat]
-nat_of_addn_gt0 [lemma, in mathcomp.ssreflect.ssrnat]
-nat_of_succ_gt0 [lemma, in mathcomp.ssreflect.ssrnat]
+nat_of_mul_pos [lemma, in mathcomp.ssreflect.ssrnat]
+nat_of_add_pos [lemma, in mathcomp.ssreflect.ssrnat]
+nat_of_succ_pos [lemma, in mathcomp.ssreflect.ssrnat]
nat_of_binK [lemma, in mathcomp.ssreflect.ssrnat]
nat_of_pos [definition, in mathcomp.ssreflect.ssrnat]
nat_AGM2 [lemma, in mathcomp.ssreflect.ssrnat]
@@ -611,6 +611,8 @@
next_at [definition, in mathcomp.ssreflect.path]
nG [abbreviation, in mathcomp.character.mxrepresentation]
nG [abbreviation, in mathcomp.character.mxrepresentation]
+nhomo_inj_lt_in [lemma, in mathcomp.ssreflect.ssrnat]
+nhomo_inj_lt [lemma, in mathcomp.ssreflect.ssrnat]
Nil [abbreviation, in mathcomp.ssreflect.seq]
nilP [lemma, in mathcomp.ssreflect.seq]
nilp [definition, in mathcomp.ssreflect.seq]
@@ -664,6 +666,26 @@
nmulrz_lgt0 [lemma, in mathcomp.algebra.ssrint]
nonconform_mx [lemma, in mathcomp.algebra.matrix]
nonlinear_irr_vanish [lemma, in mathcomp.character.integral_char]
+NonPropType [module, in mathcomp.ssreflect.ssreflect]
+NonPropType.call [definition, in mathcomp.ssreflect.ssreflect]
+NonPropType.Call [constructor, in mathcomp.ssreflect.ssreflect]
+NonPropType.callee [projection, in mathcomp.ssreflect.ssreflect]
+NonPropType.call_of [record, in mathcomp.ssreflect.ssreflect]
+NonPropType.check [definition, in mathcomp.ssreflect.ssreflect]
+NonPropType.Check [constructor, in mathcomp.ssreflect.ssreflect]
+NonPropType.condition [projection, in mathcomp.ssreflect.ssreflect]
+NonPropType.Exports [module, in mathcomp.ssreflect.ssreflect]
+NonPropType.Exports.nonPropType [abbreviation, in mathcomp.ssreflect.ssreflect]
+NonPropType.Exports.notProp [abbreviation, in mathcomp.ssreflect.ssreflect]
+NonPropType.frame [projection, in mathcomp.ssreflect.ssreflect]
+NonPropType.maybeProp [definition, in mathcomp.ssreflect.ssreflect]
+NonPropType.result [projection, in mathcomp.ssreflect.ssreflect]
+NonPropType.test [projection, in mathcomp.ssreflect.ssreflect]
+NonPropType.Test [constructor, in mathcomp.ssreflect.ssreflect]
+NonPropType.test_negative [definition, in mathcomp.ssreflect.ssreflect]
+NonPropType.test_Prop [definition, in mathcomp.ssreflect.ssreflect]
+NonPropType.test_of [record, in mathcomp.ssreflect.ssreflect]
+NonPropType.type [record, in mathcomp.ssreflect.ssreflect]
nontrivial_gacent_pgroup [lemma, in mathcomp.solvable.sylow]
nonzero1fx [lemma, in mathcomp.field.fieldext]
nonzero1q [lemma, in mathcomp.algebra.rat]
@@ -808,6 +830,7 @@
nseq_tupleP [lemma, in mathcomp.ssreflect.tuple]
nth [abbreviation, in mathcomp.ssreflect.seq]
nth [definition, in mathcomp.ssreflect.seq]
+nthK [lemma, in mathcomp.ssreflect.seq]
nthP [lemma, in mathcomp.ssreflect.seq]
NthTheory [section, in mathcomp.ssreflect.seq]
NthTheory.T [variable, in mathcomp.ssreflect.seq]
@@ -919,8 +942,8 @@
Num.ArchimedeanField.Exports [module, in mathcomp.algebra.ssrnum]
Num.ArchimedeanField.Exports.ArchiFieldType [abbreviation, in mathcomp.algebra.ssrnum]
Num.ArchimedeanField.Exports.archiFieldType [abbreviation, in mathcomp.algebra.ssrnum]
-[ archiFieldType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
-[ archiFieldType of _ for _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ archiFieldType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ archiFieldType of _ for _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
Num.ArchimedeanField.fieldType [definition, in mathcomp.algebra.ssrnum]
Num.ArchimedeanField.idomainType [definition, in mathcomp.algebra.ssrnum]
Num.ArchimedeanField.numDomainType [definition, in mathcomp.algebra.ssrnum]
@@ -959,8 +982,8 @@
Num.ClosedField.Exports [module, in mathcomp.algebra.ssrnum]
Num.ClosedField.Exports.NumClosedFieldType [abbreviation, in mathcomp.algebra.ssrnum]
Num.ClosedField.Exports.numClosedFieldType [abbreviation, in mathcomp.algebra.ssrnum]
-[ numClosedFieldType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
-[ numClosedFieldType of _ for _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ numClosedFieldType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ numClosedFieldType of _ for _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
Num.ClosedField.fieldType [definition, in mathcomp.algebra.ssrnum]
Num.ClosedField.idomainType [definition, in mathcomp.algebra.ssrnum]
Num.ClosedField.imaginary [projection, in mathcomp.algebra.ssrnum]
@@ -983,8 +1006,8 @@
Num.ClosedField.zmodType [definition, in mathcomp.algebra.ssrnum]
Num.Def [module, in mathcomp.algebra.ssrnum]
Num.Def.Def [section, in mathcomp.algebra.ssrnum]
-_ < _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ <= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ < _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ <= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
Num.Def.ger [definition, in mathcomp.algebra.ssrnum]
Num.Def.gtr [definition, in mathcomp.algebra.ssrnum]
Num.Def.ler [definition, in mathcomp.algebra.ssrnum]
@@ -1082,8 +1105,8 @@
Num.NumDomain.Exports.NumDomainType [abbreviation, in mathcomp.algebra.ssrnum]
Num.NumDomain.Exports.numDomainType [abbreviation, in mathcomp.algebra.ssrnum]
Num.NumDomain.Exports.NumMixin [abbreviation, in mathcomp.algebra.ssrnum]
-[ numDomainType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
-[ numDomainType of _ for _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ numDomainType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ numDomainType of _ for _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
Num.NumDomain.idomainType [definition, in mathcomp.algebra.ssrnum]
Num.NumDomain.mixin [projection, in mathcomp.algebra.ssrnum]
Num.NumDomain.pack [definition, in mathcomp.algebra.ssrnum]
@@ -1110,7 +1133,7 @@
Num.NumField.eqType [definition, in mathcomp.algebra.ssrnum]
Num.NumField.Exports [module, in mathcomp.algebra.ssrnum]
Num.NumField.Exports.numFieldType [abbreviation, in mathcomp.algebra.ssrnum]
-[ numFieldType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ numFieldType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
Num.NumField.fieldType [definition, in mathcomp.algebra.ssrnum]
Num.NumField.idomainType [definition, in mathcomp.algebra.ssrnum]
Num.NumField.join_numDomainType [definition, in mathcomp.algebra.ssrnum]
@@ -1145,8 +1168,8 @@
Num.RealClosedField.Exports [module, in mathcomp.algebra.ssrnum]
Num.RealClosedField.Exports.RcfType [abbreviation, in mathcomp.algebra.ssrnum]
Num.RealClosedField.Exports.rcfType [abbreviation, in mathcomp.algebra.ssrnum]
-[ rcfType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
-[ rcfType of _ for _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ rcfType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ rcfType of _ for _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
Num.RealClosedField.fieldType [definition, in mathcomp.algebra.ssrnum]
Num.RealClosedField.idomainType [definition, in mathcomp.algebra.ssrnum]
Num.RealClosedField.numDomainType [definition, in mathcomp.algebra.ssrnum]
@@ -1178,8 +1201,8 @@
Num.RealDomain.Exports [module, in mathcomp.algebra.ssrnum]
Num.RealDomain.Exports.RealDomainType [abbreviation, in mathcomp.algebra.ssrnum]
Num.RealDomain.Exports.realDomainType [abbreviation, in mathcomp.algebra.ssrnum]
-[ realDomainType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
-[ realDomainType of _ for _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ realDomainType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ realDomainType of _ for _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
Num.RealDomain.idomainType [definition, in mathcomp.algebra.ssrnum]
Num.RealDomain.numDomainType [definition, in mathcomp.algebra.ssrnum]
Num.RealDomain.pack [definition, in mathcomp.algebra.ssrnum]
@@ -1206,10 +1229,11 @@
Num.RealField.eqType [definition, in mathcomp.algebra.ssrnum]
Num.RealField.Exports [module, in mathcomp.algebra.ssrnum]
Num.RealField.Exports.realFieldType [abbreviation, in mathcomp.algebra.ssrnum]
-[ realFieldType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ realFieldType of _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
Num.RealField.fieldType [definition, in mathcomp.algebra.ssrnum]
Num.RealField.idomainType [definition, in mathcomp.algebra.ssrnum]
-Num.RealField.join_realDomainType [definition, in mathcomp.algebra.ssrnum]
+Num.RealField.join_numFieldType [definition, in mathcomp.algebra.ssrnum]
+Num.RealField.join_fieldType [definition, in mathcomp.algebra.ssrnum]
Num.RealField.mixin [projection, in mathcomp.algebra.ssrnum]
Num.RealField.numDomainType [definition, in mathcomp.algebra.ssrnum]
Num.RealField.numFieldType [definition, in mathcomp.algebra.ssrnum]
@@ -1264,9 +1288,9 @@
Num.RealMixin.RealMixins.LtMixin.sub_gt0 [variable, in mathcomp.algebra.ssrnum]
Num.RealMixin.RealMixins.norm [variable, in mathcomp.algebra.ssrnum]
Num.RealMixin.RealMixins.R [variable, in mathcomp.algebra.ssrnum]
-`| _ | (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ < _ [notation, in mathcomp.algebra.ssrnum]
-_ <= _ [notation, in mathcomp.algebra.ssrnum]
+`| _ | (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ < _ [notation, in mathcomp.algebra.ssrnum]
+_ <= _ [notation, in mathcomp.algebra.ssrnum]
Num.RealMixin.sub_ge0 [lemma, in mathcomp.algebra.ssrnum]
Num.real_closed_axiom [definition, in mathcomp.algebra.ssrnum]
Num.real_axiom [definition, in mathcomp.algebra.ssrnum]
@@ -1274,34 +1298,34 @@
Num.sg [abbreviation, in mathcomp.algebra.ssrnum]
Num.sqrt [abbreviation, in mathcomp.algebra.ssrnum]
Num.Syntax [module, in mathcomp.algebra.ssrnum]
-_ <= _ ?= iff _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ <= _ ?= iff _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ < _ < _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ <= _ < _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ < _ <= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ <= _ <= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ >= _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ >= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ <= _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ <= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ > _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ > _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ < _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ < _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
->= _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
->= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-<= _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-<= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-> _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-< _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-< _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
- [notation, in mathcomp.algebra.ssrnum]
->=%R (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-<=%R (ring_scope) [notation, in mathcomp.algebra.ssrnum]
->%R (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-<%R (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-`| _ | (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ <= _ ?= iff _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ <= _ ?= iff _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ < _ < _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ <= _ < _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ < _ <= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ <= _ <= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ >= _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ >= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ <= _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ <= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ > _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ > _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ < _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ < _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+>= _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+>= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+<= _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+<= _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+> _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+< _ :> _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+< _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+ [notation, in mathcomp.algebra.ssrnum]
+>=%R (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+<=%R (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+>%R (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+<%R (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+`| _ | (ring_scope) [notation, in mathcomp.algebra.ssrnum]
Num.Theory [module, in mathcomp.algebra.ssrnum]
Num.Theory.addC_rect [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.addr_maxr [lemma, in mathcomp.algebra.ssrnum]
@@ -1318,6 +1342,10 @@
Num.Theory.ArchimedeanFieldTheory.x [variable, in mathcomp.algebra.ssrnum]
Num.Theory.archi_boundP [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.argCle [definition, in mathcomp.algebra.ssrnum]
+Num.Theory.arg_maxrP [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.arg_minrP [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.arg_maxr [definition, in mathcomp.algebra.ssrnum]
+Num.Theory.arg_minr [definition, in mathcomp.algebra.ssrnum]
Num.Theory.Cauchy_root_bound [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.char_num [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ClosedFieldTheory [section, in mathcomp.algebra.ssrnum]
@@ -1326,10 +1354,10 @@
Num.Theory.ClosedFieldTheory.neg_unity_root [variable, in mathcomp.algebra.ssrnum]
Num.Theory.ClosedFieldTheory.nz2 [variable, in mathcomp.algebra.ssrnum]
Num.Theory.ClosedFieldTheory.Re2 [variable, in mathcomp.algebra.ssrnum]
-'Im _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-'Re _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ .-root (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ .-root (ring_core_scope) [notation, in mathcomp.algebra.ssrnum]
+'Im _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+'Re _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ .-root (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ .-root (ring_core_scope) [notation, in mathcomp.algebra.ssrnum]
Num.Theory.comparer [inductive, in mathcomp.algebra.ssrnum]
Num.Theory.ComparerEq [constructor, in mathcomp.algebra.ssrnum]
Num.Theory.ComparerEq0 [constructor, in mathcomp.algebra.ssrnum]
@@ -1357,6 +1385,12 @@
Num.Theory.Creal_Im [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.Creal_Re [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.Crect [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.decnr_inj_inj_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.decnr_inj_inj [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.decrn_inj_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.decrn_inj [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.decr_inj_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.decr_inj [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.distrC [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.divr_gt0 [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.divr_ge0 [lemma, in mathcomp.algebra.ssrnum]
@@ -1446,12 +1480,6 @@
Num.Theory.gtr0_real [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.gtr0_norm [definition, in mathcomp.algebra.ssrnum]
Num.Theory.gt0_cp [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.homo_mono_in [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.homo_mono [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.homo_leq_mono [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.homo_inj_ltn_lt [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.homo_inj_in_lt [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.homo_inj_lt [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ieexprIn [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ieexprn_weq1 [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.Im [definition, in mathcomp.algebra.ssrnum]
@@ -1464,6 +1492,24 @@
Num.Theory.Im_conj [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.Im_i [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.Im_is_additive [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.incnr_inj_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.incnr_inj [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.incrn_inj_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.incrn_inj [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.incr_inj_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.incr_inj [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.inj_nhomo_ltrn_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.inj_homo_ltrn_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.inj_nhomo_ltrn [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.inj_homo_ltrn [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.inj_nhomo_ltnr_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.inj_homo_ltnr_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.inj_nhomo_ltnr [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.inj_homo_ltnr [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.inj_nhomo_ltr_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.inj_homo_ltr_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.inj_nhomo_ltr [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.inj_homo_ltr [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.invCi [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.invC_rect [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.invC_norm [lemma, in mathcomp.algebra.ssrnum]
@@ -1492,10 +1538,14 @@
Num.Theory.IsSqrtr [constructor, in mathcomp.algebra.ssrnum]
Num.Theory.lef_ninv [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.lef_pinv [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.leq_lerW_nmono [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.leq_lerW_mono [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.leq_nmono_inj [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.leq_mono_inj [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lenrW_nmono_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lenrW_mono_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lenrW_nmono [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lenrW_mono [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lenr_nmono_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lenr_mono_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lenr_nmono [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lenr_mono [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.lerifP [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.lerif_rootC_AGM [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.lerif_Re_Creal [lemma, in mathcomp.algebra.ssrnum]
@@ -1521,6 +1571,14 @@
Num.Theory.lerif_refl [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.lerNgt [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.LerNotGt [constructor, in mathcomp.algebra.ssrnum]
+Num.Theory.lernW_nmono_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lernW_mono_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lernW_nmono [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lernW_mono [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lern_nmono_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lern_mono_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lern_nmono [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.lern_mono [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.lern0 [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.lern1 [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.lerN10 [lemma, in mathcomp.algebra.ssrnum]
@@ -1545,6 +1603,10 @@
Num.Theory.ler_normlP [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ler_norml [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ler_norm [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.ler_nmono_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.ler_mono_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.ler_nmono [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.ler_mono [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ler_total [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ler_ndivr_mull [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ler_ndivl_mull [lemma, in mathcomp.algebra.ssrnum]
@@ -1695,12 +1757,18 @@
Num.Theory.lter01 [definition, in mathcomp.algebra.ssrnum]
Num.Theory.ltf_ninv [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ltf_pinv [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.ltn_ltrW_nhomo [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.ltn_ltrW_homo [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.ltnrW_nhomo_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.ltnrW_homo_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.ltnrW_nhomo [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.ltnrW_homo [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ltrgtP [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ltrgt0P [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ltrNge [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.LtrNotGe [constructor, in mathcomp.algebra.ssrnum]
+Num.Theory.ltrnW_nhomo_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.ltrnW_homo_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.ltrnW_nhomo [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.ltrnW_homo [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ltrn0 [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ltrn1 [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ltrN10 [lemma, in mathcomp.algebra.ssrnum]
@@ -1787,8 +1855,8 @@
Num.Theory.ltr_add [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ltr_le_add [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ltr_add2 [definition, in mathcomp.algebra.ssrnum]
-Num.Theory.ltr_add2l [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ltr_add2r [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.ltr_add2l [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ltr_xor_ge [inductive, in mathcomp.algebra.ssrnum]
Num.Theory.ltr_oppl [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.ltr_oppr [lemma, in mathcomp.algebra.ssrnum]
@@ -1866,8 +1934,6 @@
Num.Theory.monic_Cauchy_bound [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.mono_lerif [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.mono_in_lerif [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.mono_inj_in [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.mono_inj [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.mulC_rect [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.mulrIn [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.mulrn_wlt0 [lemma, in mathcomp.algebra.ssrnum]
@@ -1909,16 +1975,8 @@
Num.Theory.neqr0_sign [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.neq0Ci [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.neq0_mulr_lt0 [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.nhomo_mono_in [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.nhomo_mono [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.nhomo_leq_mono [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.nhomo_inj_ltn_lt [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.nhomo_inj_in_lt [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.nhomo_inj_lt [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.nmono_lerif [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.nmono_in_lerif [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.nmono_inj_in [lemma, in mathcomp.algebra.ssrnum]
-Num.Theory.nmono_inj [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.nmulrn_rle0 [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.nmulrn_rge0 [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.nmulrn_rgt0 [lemma, in mathcomp.algebra.ssrnum]
@@ -1985,6 +2043,7 @@
Num.Theory.NumDomainMonotonyTheoryForReals [section, in mathcomp.algebra.ssrnum]
Num.Theory.NumDomainMonotonyTheoryForReals.D [variable, in mathcomp.algebra.ssrnum]
Num.Theory.NumDomainMonotonyTheoryForReals.f [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumDomainMonotonyTheoryForReals.f' [variable, in mathcomp.algebra.ssrnum]
Num.Theory.NumDomainMonotonyTheoryForReals.R [variable, in mathcomp.algebra.ssrnum]
Num.Theory.NumDomainMonotonyTheoryForReals.R' [variable, in mathcomp.algebra.ssrnum]
Num.Theory.NumDomainOperationTheory [section, in mathcomp.algebra.ssrnum]
@@ -1998,9 +2057,30 @@
Num.Theory.NumIntegralDomainMonotonyTheory.AcrossTypes.D [variable, in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.AcrossTypes.D' [variable, in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.AcrossTypes.f [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.geq_total [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.geq_anti [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ger_antiR' [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ger_antiR [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.gtnE [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.gtrE [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.gtr'E [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.leqnn [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.leq_total [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.leq_anti [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ler_antiR' [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ler_antiR [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ltnE [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ltrE [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.ltr'E [variable, in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.NatToR [section, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.NatToR.D [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.NatToR.D' [variable, in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.NatToR.f [variable, in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.R [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.RToNat [section, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.RToNat.D [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.RToNat.D' [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.NumIntegralDomainMonotonyTheory.RToNat.f [variable, in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainMonotonyTheory.R' [variable, in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainTheory [section, in mathcomp.algebra.ssrnum]
Num.Theory.NumIntegralDomainTheory.R [variable, in mathcomp.algebra.ssrnum]
@@ -2053,9 +2133,11 @@
Num.Theory.RealClosedFieldTheory [section, in mathcomp.algebra.ssrnum]
Num.Theory.RealClosedFieldTheory.R [variable, in mathcomp.algebra.ssrnum]
Num.Theory.realD [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.RealDomainArgExtremum [section, in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainMonotony [section, in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainMonotony.D [variable, in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainMonotony.f [variable, in mathcomp.algebra.ssrnum]
+Num.Theory.RealDomainMonotony.f' [variable, in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainMonotony.R [variable, in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainMonotony.R' [variable, in mathcomp.algebra.ssrnum]
Num.Theory.RealDomainOperations [section, in mathcomp.algebra.ssrnum]
@@ -2078,6 +2160,10 @@
Num.Theory.realN [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.realn [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.realNEsign [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.realn_nmono_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.realn_mono_in [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.realn_nmono [lemma, in mathcomp.algebra.ssrnum]
+Num.Theory.realn_mono [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.realrM [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.realrMn [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.realV [lemma, in mathcomp.algebra.ssrnum]
@@ -2237,12 +2323,18 @@
Num.Theory.upper_nthrootP [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.wlog_ltr [lemma, in mathcomp.algebra.ssrnum]
Num.Theory.wlog_ler [lemma, in mathcomp.algebra.ssrnum]
-'Im _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-'Re _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-'i (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ .-root (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-'i (ring_scope) [notation, in mathcomp.algebra.ssrnum]
-_ ^* (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+[ arg maxr_ ( _ > _ ) _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ arg maxr_ ( _ > _ in _ ) _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ arg maxr_ ( _ > _ | _ ) _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ arg minr_ ( _ < _ ) _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ arg minr_ ( _ < _ in _ ) _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+[ arg minr_ ( _ < _ | _ ) _ ] (form_scope) [notation, in mathcomp.algebra.ssrnum]
+'Im _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+'Re _ (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+'i (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ .-root (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+'i (ring_scope) [notation, in mathcomp.algebra.ssrnum]
+_ ^* (ring_scope) [notation, in mathcomp.algebra.ssrnum]
nz_socle [lemma, in mathcomp.character.mxrepresentation]
nz_row_mxsimple [lemma, in mathcomp.character.mxrepresentation]
nz_row_eq0 [lemma, in mathcomp.algebra.matrix]
@@ -2290,7 +2382,7 @@
Z |
_ |
other |
-(23233 entries) |
+(23836 entries) |
| Notation Index |
@@ -2322,14 +2414,14 @@
Z |
_ |
other |
-(1373 entries) |
+(1409 entries) |
| Module Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -2354,7 +2446,7 @@
Z |
_ |
other |
-(213 entries) |
+(221 entries) |
| Variable Index |
@@ -2386,7 +2478,7 @@
Z |
_ |
other |
-(3475 entries) |
+(3574 entries) |
| Library Index |
@@ -2418,7 +2510,7 @@
Z |
_ |
other |
-(89 entries) |
+(90 entries) |
| Lemma Index |
@@ -2450,7 +2542,7 @@
Z |
_ |
other |
-(11853 entries) |
+(12096 entries) |
| Constructor Index |
@@ -2482,7 +2574,7 @@
Z |
_ |
other |
-(359 entries) |
+(368 entries) |
| Axiom Index |
@@ -2514,7 +2606,7 @@
Z |
_ |
other |
-(47 entries) |
+(45 entries) |
| Inductive Index |
@@ -2546,14 +2638,14 @@
Z |
_ |
other |
-(103 entries) |
+(107 entries) |
| Projection Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -2578,7 +2670,7 @@
Z |
_ |
other |
-(266 entries) |
+(273 entries) |
| Section Index |
@@ -2610,7 +2702,7 @@
Z |
_ |
other |
-(1118 entries) |
+(1140 entries) |
| Abbreviation Index |
@@ -2642,7 +2734,7 @@
Z |
_ |
other |
-(691 entries) |
+(728 entries) |
| Definition Index |
@@ -2674,14 +2766,14 @@
Z |
_ |
other |
-(3461 entries) |
+(3596 entries) |
| Record Index |
A |
B |
C |
-D |
+D |
E |
F |
G |
@@ -2706,7 +2798,7 @@
Z |
_ |
other |
-(185 entries) |
+(189 entries) |
--
cgit v1.2.3