Documentation

Lean 4 Proof

theorem pareto_set_eflat : True := trivial

Dependency Graph

Location

thesis/CESProofs/Foundations/TripleCorrespondence.lean:267

Module Section

### Market Equilibrium as Information Projection

In the same file