OAI/Analysis/Daugavet/
292 declarations, 0 contain sorry, 0 declared as axioms; 28 files
Files
- Clipping.lean 29 declarations
- ClosedUnion.lean 10 declarations
- Diameter.lean 7 declarations
- Enlargement.lean 2 declarations
- EquivalentNorm.lean 13 declarations
- ExactModuli.lean 2 declarations
- FiniteCoordinates.lean 16 declarations
- HeavyTails.lean 13 declarations
- Joining.lean 8 declarations
- LimitingSlices.lean 3 declarations
- LowerBounds.lean 24 declarations
- Main.lean 2 declarations
- MeasureDistance.lean 6 declarations
- Model.lean 14 declarations
- Multipliers.lean 17 declarations
- ProductApproximation.lean 9 declarations
- ProductModels.lean 17 declarations
- ProductOperators.lean 14 declarations
- ProductSeparation.lean 6 declarations
- Recovery.lean 5 declarations
- SignAverages.lean 9 declarations
- SliceCharacterization.lean 2 declarations
- Slices.lean 7 declarations
- Stages.lean 25 declarations
- TailEstimates.lean 12 declarations
- UpperBounds.lean 6 declarations
- WholeBallCoefficients.lean 9 declarations
- WholeBallConcentration.lean 5 declarations