Documentation

Lean 4 Proof

def yieldCurveSpread : IndicatorProfile :=
  { world := .price, eigenspace := .relative, temporal := .flow }

Dependency Graph

Location

thesis/CESProofs/Dynamics/IndicatorClassification.lean:246

Module Section

Derivation of Leading and Lagging Economic Indicators

In the same file