Wright Law Duration

theorem trivial Hierarchy

Documentation

Lean 4 Proof

theorem wright_law_duration :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/TransitionDynamics.lean:132

Module Section

Propositions 8-11, Theorems 10-12: Transition Dynamics

In the same file

ceiling_bound ceiling_nonneg ceiling_cascade curvature_dependence_ceiling curvature_correction transition_duration_scaling regime_diagram_complete closure_theorem dispersion_leading_indicator structural_estimation