OAI/Analysis/DiskMaximal/
1447 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- AbsoluteContinuity.lean 19 declarations
- Approximation.lean 57 declarations
- BandBounds.lean 30 declarations
- Basic.lean 18 declarations
- Cancellation.lean 59 declarations
- DirectionEstimates.lean 62 declarations
- DirectionLaws.lean 100 declarations
- Envelopes.lean 48 declarations
- Geometry.lean 47 declarations
- GreenBounds.lean 40 declarations
- Kernels.lean 74 declarations
- LocalPrices.lean 34 declarations
- Localization.lean 29 declarations
- Main.lean 10 declarations
- Marks.lean 70 declarations
- MaximalEstimates.lean 19 declarations
- Model.lean 11 declarations
- Moments.lean 63 declarations
- Packing.lean 71 declarations
- Potentials.lean 51 declarations
- Prices.lean 41 declarations
- Refinement.lean 69 declarations
- RunCancellation.lean 55 declarations
- Runs.lean 53 declarations
- ScalarTrees.lean 22 declarations
- Scales.lean 38 declarations
- SpatialBudgets.lean 69 declarations
- SpatialLaws.lean 74 declarations
- Telescoping.lean 40 declarations
- WeakLimits.lean 74 declarations