Documentation

Lean 4 Proof

theorem tree_topology (e : HierarchicalCESEconomy N) :
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Hierarchy/Topology.lean:45

Module Section

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

In the same file