Documentation

Lean 4 Proof

theorem north_institutional_layering
    {M : ℕ} (spec : OrderedSpectrum M) (γ : ℝ)
    (_hs : HierarchySpec M) (_hj : _hs.isJustified spec γ) :
    -- Schematic: the existence of one more gap allows N+1 levels
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/SpectralHierarchy.lean:287

Module Section

Endogenous Hierarchy: Why N Levels?

In the same file