Closure Theorem

theorem trivial Hierarchy

Documentation

Lean 4 Proof

theorem closure_theorem :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/TransitionDynamics.lean:171

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 wright_law_duration regime_diagram_complete dispersion_leading_indicator structural_estimation