OAI/Computability/UniqueGames/Foundations/
311 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- Basic.lean 17 declarations
- Conditioning.lean 16 declarations
- FiniteTrialsLemmas.lean 83 declarations
- KernelSampling.lean 16 declarations
- LabelBound.lean 6 declarations
- MixtureLemmas.lean 9 declarations
- PinskerLemmas.lean 40 declarations
- Rectangle.lean 14 declarations
- SamplingLemmas.lean 67 declarations
- SharedProfiles.lean 18 declarations
- ValueLemmas.lean 25 declarations