Documentation

Lean 4 Proof

theorem net_welfare_positive :
    -- Welfare gain from dispersion exceeds capital stock loss
    -- when bequest elasticity is sufficiently low
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Applications/FairInheritance.lean:430

Module Section

Fair Inheritance: Taxing Concentration, Not Transfer

In the same file