Documentation

Lean 4 Proof

theorem mode_specific_J_warning :
    -- With general weights, different participation modes
    -- have different variance growth rates near the fold.
    -- Higher-weight modes provide earlier warning.
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/CoupledRhoT.lean:318

Module Section

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

In the same file