Laffer Max Revenue

Documentation

Lean 4 Proof

def lafferMaxRevenue (B₀ η : ℝ) : ℝ := B₀ / (4 * η)

Dependency Graph

Module Section

Government Tax Structure (Layer 3 of Macro Extension)