Sections / Section 12: Two-World Economy and Indicators / administeredSpeed

Administered Speed

defprovedDynamics & Crises

Documentation

Lean 4 Proof

def administeredSpeed (v_price sigma : ℝ) : ℝ :=
  v_price / (1 + sigma)

Dependency Graph

Used by

indicator_classification_foundations administered_slower administered_relaxTime_gt marketClearing_full_speed

Location

thesis/CESProofs/Dynamics/IndicatorClassification.lean:163

Module Section

Derivation of Leading and Lagging Economic Indicators

In the same file

ObservableWorld ObservableEigenspace TemporalType IndicatorProfile relative_has_positive_K_sensitivity aggregate_has_zero_K_sensitivity flow_positive_implies_stock_rising flow_decline_while_stock_rises marketClearing_full_speed administered_slower administered_relaxTime_gt indicator_classification_foundations spIndex yieldCurveSpread ismNewOrders initialClaims avgWeeklyHours industrialProduction nonfarmPayrolls personalIncome