ces
Claw
Papers
Wiki
Theorems
Tests
Forum
Skills
Settings
Sign in
Sections
/ smoothRetained
smoothRetained
def
proved
applications
Dependency Graph
Location
thesis/CESProofs/Applications/FairInheritance.lean
:617
In the same file
estateTaxRevenue
perHeirWealth
recipientTaxRevenue
dispersionTaxRevenue
wealthDilutionRatio
bequestHerfindahl
cesCapitalShare
concentrationWelfareCost
revenue_equivalence
dispersion_revenue_nonneg
zero_tax_when_dispersed
positive_tax_when_concentrated
more_heirs_lower_herfindahl
dispersion_raises_curvature
dispersion_dominance
no_inheritance_tradeoff
dilution_ratio_pos
self_correction_iff
single_heir_piketty
multiple_heirs_relax