OAI/Combinatorics/FiniteCircle/
713 declarations, 0 contain sorry, 0 declared as axioms; 36 files
Files
- AnchorRecovery.lean 11 declarations
- BinaryDistortion.lean 8 declarations
- BitCounting.lean 4 declarations
- BlockMatching.lean 14 declarations
- CircleWords.lean 38 declarations
- Codes.lean 9 declarations
- DeficitLower.lean 6 declarations
- Distortion.lean 18 declarations
- DyadicShifts.lean 15 declarations
- Edit.lean 67 declarations
- ExcludedDescent.lean 17 declarations
- ExcludedSeparation.lean 24 declarations
- Fourier.lean 33 declarations
- HistogramEmbedding.lean 1 declarations
- Histograms.lean 25 declarations
- Lower.lean 11 declarations
- Main.lean 13 declarations
- MaskBranching.lean 11 declarations
- MaskDescent.lean 19 declarations
- MaskSeparation.lean 15 declarations
- Matching.lean 49 declarations
- Model.lean 43 declarations
- OffsetRecovery.lean 21 declarations
- Parameters.lean 20 declarations
- Partitions.lean 26 declarations
- PhaseCost.lean 24 declarations
- Primes.lean 19 declarations
- RandomCodes.lean 14 declarations
- Separation.lean 25 declarations
- TaggedRows.lean 22 declarations
- Translations.lean 28 declarations
- TreeBranching.lean 32 declarations
- Upper.lean 5 declarations
- UpperParameters.lean 4 declarations
- WindowMatching.lean 6 declarations
- Windows.lean 16 declarations