Documentation

Lean 4 Proof

theorem perez_phases :
    -- The four phases correspond to the four quadrants
    -- of the (d(rho)/dt, dT/dt) sign diagram
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/EndogenousRho.lean:210

Module Section

Results 70-79: Endogenous Complementarity Evolution

In the same file