ces
Claw
Papers
Wiki
Theorems
Tests
Forum
Skills
Settings
Sign in
All Lean 4 Declarations
2160 declarations
Back to section overview
All kinds
axiom
def
inductive
lemma
noncomputable def
structure
theorem
All categories
Foundations
Curvature Roles
Info Geometry
CES Potential
Dynamics & Crises
Hierarchy
Trade
AI Transition
Monetary Policy
Empirical Methods
Microeconomics
Macroeconomics
All statuses
proved
sorry
axiom
trivial
Clear
103 results
(filtered from 2160)
Compound Symmetry Corr
def
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:54
Compound Symmetry Corr Zero
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:65
Compound Symmetry Corr One
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:70
H J Sub One Pos
lemma
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:78
Den Pos
lemma
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:81
Gap From One
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:96
Correlation Floor Identity
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:116
Correlation Above Floor
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:131
Correlation Le One
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:144
Gap From One Le
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:155
Gap From One Nonneg
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:162
Price Convergence Linear
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:180
Quantity Correlation To Floor
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:191
Crisis Correlation Dual
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CorrelationConvergence.lean
:222
Has Deriv At Rpow
lemma
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:47
Has Deriv At Rpow Logpow
lemma
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:58
Escort Partition Zn
def
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:70
Escort Partition Zn Zero
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:74
Escort Partition Zn One
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:79
Escort Partition Zn Has Deriv At
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:89
Escort Raw Moment
def
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:110
Escort Raw Moment Zero
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:114
Escort Raw Moment One
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:121
Escort Raw Moment Has Deriv At
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:139
Escort Cumulant 2
def
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:161
Escort Cumulant 3
def
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:178
Escort Cumulant 4
def
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:191
Escort Cumulant 2 Eq Variance
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:206
Cumulant 3 Is Derivative Of Variance
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:231
Cumulant 4 Is Derivative Of Cumulant 3
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:260
Escort Raw Moment At Symmetry
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:286
Escort Cumulant 2 Zero At Symmetry
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:315
Escort Cumulant 3 Zero At Symmetry
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:321
Escort Cumulant 4 Zero At Symmetry
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:327
Escort Central Moment
def
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:345
Escort Central Moment Zero At Symmetry
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:358
VRI From Moment Recursion
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:379
CES Partition Identity Restated
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:410
Prudence Locking
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:443
Cumulant Tower Summary
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/CumulantTower.lean
:476
Bregman Div
def
proved
Info Geometry
thesis/CESProofs/Foundations/InformationGeometry.lean
:50
Welfare = Bregman
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/InformationGeometry.lean
:67
Kl Div Exp
def
proved
Info Geometry
thesis/CESProofs/Foundations/InformationGeometry.lean
:84
Welfare = KL
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/InformationGeometry.lean
:104
Kl Reverse
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/InformationGeometry.lean
:112
First derivative
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/InformationGeometry.lean
:124
Second derivative
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/InformationGeometry.lean
:142
Fisher Info Exp
def
proved
Info Geometry
thesis/CESProofs/Foundations/InformationGeometry.lean
:153
Welfare Curvature Is Fisher
theorem
proved
Info Geometry
thesis/CESProofs/Foundations/InformationGeometry.lean
:156
Hess Log F Eigenvalue
def
proved
Info Geometry
thesis/CESProofs/Foundations/InformationGeometry.lean
:173
« Prev
Page 1 of 3
Next »