Documentation

Lean 4 Proof

theorem closure_topological :
    -- Crisis count (winding number) is preserved under
    -- continuous deformation of the (rho, T) trajectory
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/Closure.lean:184

Module Section

Results 80-85: Rho-Diversity Selection and Closure

In the same file