Documentation

Lean 4 Proof

theorem limit_cycle_period :
    -- Period ≈ 2π / √det near Hopf bifurcation
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/CoupledRhoT.lean:169

Module Section

Coupled (ρ, T) Jacobian Analysis

In the same file