Documentation

Lean 4 Proof

theorem industrial_policy_diversity :
    -- Optimal industrial policy preserves rho-diversity
    -- The diversity premium is K_tilde * Var(rho) > 0
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/Closure.lean:106

Module Section

Results 80-85: Rho-Diversity Selection and Closure

In the same file