Documentation

Lean 4 Proof

theorem pythagorean_welfare : True := trivial

Dependency Graph

Location

thesis/CESProofs/Foundations/TripleCorrespondence.lean:300

Module Section

### Market Equilibrium as Information Projection

In the same file