Documentation

Lean 4 Proof

theorem power_law_fluctuations :
    -- Near T*, crisis size distribution is power-law
    -- Exponent determined by the vanishing rate of K_eff
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/EndogenousRho.lean:292

Module Section

Results 70-79: Endogenous Complementarity Evolution

In the same file