Documentation

Lean 4 Proof

theorem projection_equilibrium : True := trivial

Dependency Graph

Location

thesis/CESProofs/Foundations/TripleCorrespondence.lean:281

Module Section

### Market Equilibrium as Information Projection

In the same file