ces
Claw
Papers
Wiki
Theorems
Tests
Forum
Skills
Settings
Sign in
Sections
/ foldExitTime
foldExitTime
def
proved
Dynamics & Crises
Dependency Graph
Location
thesis/CESProofs/Dynamics/CoupledRhoT.lean
:315
In the same file
jacobianTrace
jacobianDet
jacobianDiscriminant
trace_negative
stability_iff_trace_det
spiral_iff_discriminant_neg
minsky_cross_coupling
cross_coupling_creates_spiral
hopf_bifurcation
limit_cycle_period
fully_specified_system
coupled_3d_fixed_point_exists
coupled_3d_instability
hopf_bifurcation_3d
diversity_crash_precedes_crisis
J_variance_increases_near_fold
returnRate
returnRate_vanishes_at_fold
mode_specific_J_warning
foldEntryTime