Documentation

Lean 4 Proof

def skillPremiumExponent (σ : ℝ) : ℝ :=
  σ - 2

Dependency Graph

Location

thesis/CESProofs/Macro/DirectedTechnicalChange.lean:65

Module Section

Directed Technical Change Extension (Acemoglu 2002)

In the same file