Documentation

Lean 4 Proof

theorem f_T_specified (β_L V T β_C K_eff Tstar β_I G T_min β_S E ξ : ℝ) :
    combinedFrictionRate β_L V T β_C K_eff Tstar β_I G T_min β_S E ξ
    = learningFrictionRate β_L V T + cascadeFrictionRate β_C K_eff T Tstar
      + institutionalFrictionRate β_I G T T_min + shockFrictionImpulse β_S E ξ := by
  rfl

Dependency Graph

Location

thesis/CESProofs/Dynamics/EndogenousT.lean:215

Module Section

Results T-80 through T-89: Endogenous Information Friction Dynamics

In the same file