Documentation

Lean 4 Proof

theorem endogenous_activation_cascade (N : ℕ) :
    -- Activation at level n increases k_{n,n-1}
    -- If this pushes P_cycle past 1, the next level activates
    -- Creating a cascade of activations up the hierarchy
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/HierarchicalJ.lean:100

Module Section

Paper 3c, Section 6: Hierarchical Implications

In the same file