Documentation

Lean 4 Proof

theorem mechanism_efficiency_bound : True := trivial

Dependency Graph

Location

thesis/CESProofs/Foundations/TripleCorrespondence.lean:330

Module Section

### The Cramer-Rao Bound for Market Mechanisms

In the same file