OAI/Computability/UniqueGames/Analysis/
1037 declarations, 0 contain sorry, 0 declared as axioms; 26 files
Files
- A13IndexLemmas.lean 63 declarations
- A5FrequencyTransportLemmas.lean 79 declarations
- A5IndexCount.lean 17 declarations
- A5ReverseIndex.lean 12 declarations
- AntecedentCountLemmas.lean 33 declarations
- BadConvolution.lean 34 declarations
- CompressionCountLemmas.lean 76 declarations
- DegreeCover.lean 9 declarations
- DerivativeInduction.lean 34 declarations
- DyadicError.lean 14 declarations
- FiberEnergyLemmas.lean 54 declarations
- HybridCompositionLemmas.lean 52 declarations
- HybridCounting.lean 6 declarations
- Identities.lean 54 declarations
- MatrixCharactersLemmas.lean 100 declarations
- MatrixEnergy.lean 49 declarations
- MatrixNoiseLemmas.lean 74 declarations
- MatrixParityRow.lean 14 declarations
- MatrixRestrictions.lean 39 declarations
- MatrixSubspaceCount.lean 10 declarations
- OperatorPartitions.lean 16 declarations
- ParityLemmas.lean 16 declarations
- RestrictionLemmas.lean 79 declarations
- RestrictionTransport.lean 16 declarations
- SubspaceCountingLemmas.lean 77 declarations
- WeightedFourthMoment.lean 10 declarations