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
484 results
(filtered from 2160)
Effective Training Productivity
def
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:46
Gc Function
def
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:88
Adoption R0
def
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:104
Baumol Growth Rate
def
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:129
Singularity Time
def
proved
Curvature Roles
thesis/CESProofs/Applications/AITransition.lean
:156
Elasticity Of Substitution
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:52
Factor Share
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:111
Escort Distribution
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:177
Gains From Variety
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:236
ACR Gains From Trade
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:309
Lp Norm
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:401
CES Price Index
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:504
CES Grad Component
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:683
Geometric Mean
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:782
CES Slutky Term
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:885
CES Unit Cost
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:901
CES Demand
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:910
Logit Probability
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:1014
Inclusive Value
def
proved
Foundations
thesis/CESProofs/Applications/Economics.lean
:1022
cesIndirectUtility
def
proved
applications
thesis/CESProofs/Applications/Economics.lean
:1027
cesExpenditureFunction
def
proved
applications
thesis/CESProofs/Applications/Economics.lean
:1035
Estate Tax Revenue
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:39
Per Heir Wealth
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:43
Recipient Tax Revenue
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:48
Dispersion Tax Revenue
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:57
Wealth Dilution Ratio
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:68
Bequest Herfindahl
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:76
CES Capital Share
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:81
Concentration Welfare Cost
def
proved
Curvature Roles
thesis/CESProofs/Applications/FairInheritance.lean
:88
foundationGrowthFactor
def
proved
applications
thesis/CESProofs/Applications/FairInheritance.lean
:472
foundationShareGrowth
def
proved
applications
thesis/CESProofs/Applications/FairInheritance.lean
:481
indexedPayoutRate
def
proved
applications
thesis/CESProofs/Applications/FairInheritance.lean
:487
realBenchmark
def
proved
applications
thesis/CESProofs/Applications/FairInheritance.lean
:609
smoothPayout
def
proved
applications
thesis/CESProofs/Applications/FairInheritance.lean
:613
smoothRetained
def
proved
applications
thesis/CESProofs/Applications/FairInheritance.lean
:617
Diversity Bonus
def
proved
Curvature Roles
thesis/CESProofs/Applications/FirmFailureResilience.lean
:26
Marginal Curvature Loss
def
proved
Curvature Roles
thesis/CESProofs/Applications/FirmFailureResilience.lean
:32
Firm Contribution
def
proved
Curvature Roles
thesis/CESProofs/Applications/HeterogeneousFirms.lean
:27
Exit Threshold
def
proved
Curvature Roles
thesis/CESProofs/Applications/HeterogeneousFirms.lean
:31
Post Exit Herfindahl
def
proved
Curvature Roles
thesis/CESProofs/Applications/HeterogeneousFirms.lean
:36
Income Ratio
def
proved
Curvature Roles
thesis/CESProofs/Applications/Inequality.lean
:38
Surplus Loss
def
proved
Curvature Roles
thesis/CESProofs/Applications/Inequality.lean
:45
Theil Index
def
proved
Curvature Roles
thesis/CESProofs/Applications/Inequality.lean
:211
Gini Index
def
proved
Curvature Roles
thesis/CESProofs/Applications/Inequality.lean
:216
Share Variance
def
proved
Curvature Roles
thesis/CESProofs/Applications/Inequality.lean
:220
Total Revenue
def
proved
Curvature Roles
thesis/CESProofs/Applications/KnowledgeCommons.lean
:100
Producer Profit
def
proved
Curvature Roles
thesis/CESProofs/Applications/KnowledgeCommons.lean
:135
Healthy Equilibrium
def
proved
Curvature Roles
thesis/CESProofs/Applications/KnowledgeCommons.lean
:139
Front Loaded Revenue
def
proved
Curvature Roles
thesis/CESProofs/Applications/KnowledgeCommons.lean
:207
Convex Avg Cost
def
proved
Curvature Roles
thesis/CESProofs/Applications/KnowledgeCommons.lean
:247
« Prev
Page 1 of 10
Next »