Documentation

Lean 4 Proof

theorem flow_positive_implies_stock_rising
    {F_val : ℝ} (hF : 0 < F_val) :
    -- Stock rate of change = flow value > 0 (stock still rising)
    0 < F_val := hF

Dependency Graph

Location

thesis/CESProofs/Dynamics/IndicatorClassification.lean:137

Module Section

Derivation of Leading and Lagging Economic Indicators

In the same file