OAI/Combinatorics/DiscreteConvexity/
354 declarations, 0 contain sorry, 0 declared as axioms; 36 files
Files
- Basic.lean 31 declarations
- Bernoulli.lean 40 declarations
- BinNumerics.lean 10 declarations
- Bins.lean 16 declarations
- ColumnExpansion.lean 2 declarations
- CoordinateObservations.lean 2 declarations
- CoveringBasic.lean 19 declarations
- CoveringBinomialBounds.lean 3 declarations
- CoveringNumericalBounds.lean 21 declarations
- CoveringPairCost.lean 2 declarations
- CoveringRegularization.lean 10 declarations
- CoveringResidualCost.lean 3 declarations
- CoveringResidualProbability.lean 5 declarations
- CoveringResidualTuples.lean 17 declarations
- CoveringSampledFamilies.lean 9 declarations
- DensityConstants.lean 5 declarations
- DyadicBins.lean 8 declarations
- ElementaryCovering.lean 1 declarations
- ExceptionalWeightBound.lean 1 declarations
- FiniteFibers.lean 11 declarations
- FiniteParseval.lean 3 declarations
- FiniteProbability.lean 32 declarations
- FourierGlobalBound.lean 4 declarations
- FourierProductKernel.lean 3 declarations
- FourierWeights.lean 11 declarations
- HalfDensity.lean 1 declarations
- LabelCoupling.lean 15 declarations
- Main.lean 2 declarations
- MandatoryCoupling.lean 18 declarations
- Model.lean 11 declarations
- ProbabilisticExistence.lean 3 declarations
- ProductProbability.lean 10 declarations
- SignedArrays.lean 9 declarations
- UnionBound.lean 4 declarations
- UnionTuples.lean 11 declarations
- WeightedCover.lean 1 declarations