Slow Manifold Attractive

theorem trivial Hierarchy

Documentation

Lean 4 Proof

theorem slow_manifold_attractive (e : HierarchicalCESEconomy N) (n : Fin N) :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/Topology.lean:57

Module Section

Theorem 2, Propositions 1 and 4: CES-Forced Topology

In the same file

tree_topology axiom_independence spectralGap_pos lower_triangular_not_symmetric jacobian_lower_triangular