OAI/Computability/UniqueGames/Repetition/
214 declarations, 0 contain sorry, 0 declared as axioms; 8 files
Files
- AnalyticCheegerLemmas.lean 24 declarations
- AnalyticRateLemmas.lean 22 declarations
- CollisionLemmas.lean 61 declarations
- RoundingKernel.lean 2 declarations
- RoundingPaddingLemmas.lean 34 declarations
- RoundingSampling.lean 12 declarations
- RoundingThresholdLemmas.lean 17 declarations
- TensorAlgebraLemmas.lean 42 declarations