Documentation

Lean 4 Proof

theorem empirical_antisymmetry :
    -- ||A - A^T|| / ||A|| ~ 0.15 to 0.40 in calibrated IO tables
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/BusinessCycles.lean:60

Module Section

Results 47-62: Business Cycles on the CES Landscape

In the same file