Documentation

Lean 4 Proof

theorem J_variance_increases_near_fold :
    -- Near the fold bifurcation:
    -- Var(J) increases (critical slowing down)
    -- J is a leading indicator of regime shift
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/CoupledRhoT.lean:286

Module Section

## Coupled (ρ, T, J) System (merged from CoupledSystem.lean)

In the same file