Documentation

Lean 4 Proof

theorem sigma_two_factor (ρ : ℝ) :
    elasticityOfSubstitution ρ = 1 / (1 - ρ) := rfl

Dependency Graph

Location

thesis/CESProofs/Macro/TwoFactorCES.lean:433

Module Section

Two-Factor CES Production Function (Layer 1 of Macro Extension)

In the same file