Documentation

Lean 4 Proof

theorem flatness_characterization : True := trivial

Dependency Graph

Location

thesis/CESProofs/Foundations/TripleCorrespondence.lean:404

Module Section

### Cobb-Douglas as Infinite Temperature

In the same file