Cascade Exit Feedback

theorem trivial Curvature Roles

Documentation

Lean 4 Proof

theorem cascade_exit_feedback :
    -- Exit raises H → lowers K_eff → raises exit threshold → more exits
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Applications/HeterogeneousFirms.lean:180

Module Section

Heterogeneous Firms and the Melitz Connection

In the same file

firmContribution exitThreshold postExitHerfindahl exit_when_contribution_below_cost friction_raises_exit_threshold complementarity_compresses_ratio herfindahl_increases_on_exit curvature_decreases_on_exit extensive_margin_curvature_loss equal_productivity_minimizes_H concentration_amplifies_exit melitz_ces_equivalence