OAI/Computability/UniqueGames/Gadgets/
374 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- ActualGadgetLemmas.lean 25 declarations
- AdaptivePathsLemmas.lean 67 declarations
- BaseConstruction.lean 5 declarations
- BlockDescentLemmas.lean 32 declarations
- ConcatenationLemmas.lean 83 declarations
- Final.lean 2 declarations
- NonlinearRecurrenceLemmas.lean 70 declarations
- OrientedBlockKernel.lean 6 declarations
- QuadraticStageNoise.lean 6 declarations
- QuotientLemmas.lean 78 declarations