Documentation

Lean 4 Proof

theorem complementarity_sharpens_prices : True := trivial

Dependency Graph

Location

thesis/CESProofs/Foundations/TripleCorrespondence.lean:343

Module Section

### The Cramer-Rao Bound for Market Mechanisms

In the same file