Documentation

Lean 4 Proof

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

Dependency Graph

Location

thesis/CESProofs/Hierarchy/Topology.lean:117

Module Section

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

In the same file