Documentation

Lean 4 Proof

theorem diminishing_returns_depth (N_star : ℕ) :
    -- For N > N_star, the marginal information cost exceeds
    -- the marginal coordination benefit
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/ModuliSpace.lean:89

Module Section

Theorems 3-4: Structural Determination and Endogenous Hierarchy Depth

In the same file