OAI/Probability/LatticePassage/
451 declarations, 0 contain sorry, 0 declared as axioms; 55 files
Files
- BoundedCost.lean 2 declarations
- BoundedEfronStein.lean 3 declarations
- CalibrationL2.lean 12 declarations
- CalibrationMean.lean 14 declarations
- CalibrationShift.lean 5 declarations
- CenteredConcentration.lean 2 declarations
- CenteredLocalization.lean 5 declarations
- CheapPath.lean 6 declarations
- CoordinatePath.lean 6 declarations
- DirectionalConvergence.lean 6 declarations
- DyadicMGF.lean 2 declarations
- EdgeInfluence.lean 8 declarations
- EfronStein.lean 7 declarations
- Environment.lean 6 declarations
- ExponentialEnergy.lean 5 declarations
- ExponentialIncrement.lean 8 declarations
- ExponentialMoment.lean 6 declarations
- FiniteProduct.lean 10 declarations
- FiniteResampling.lean 5 declarations
- FiniteVariance.lean 15 declarations
- Geodesic.lean 4 declarations
- GeodesicSimple.lean 3 declarations
- GeodesicTail.lean 5 declarations
- HilbertWeakCompactness.lean 4 declarations
- Lattice.lean 6 declarations
- LatticeMetric.lean 6 declarations
- LocalCovariance.lean 10 declarations
- LocalPassage.lean 12 declarations
- LocalSelection.lean 12 declarations
- LocalizationMean.lean 10 declarations
- MeanPositivity.lean 6 declarations
- MeanTimeConstant.lean 9 declarations
- MetricCalibration.lean 13 declarations
- MetricConcentration.lean 5 declarations
- Model.lean 14 declarations
- NaturalMoment.lean 8 declarations
- OffsetCalibration.lean 7 declarations
- PassageMGF.lean 5 declarations
- PassageRegularity.lean 8 declarations
- PassageVariance.lean 8 declarations
- PathCounting.lean 10 declarations
- Paths.lean 24 declarations
- PlanarCalibration.lean 19 declarations
- PositiveMoment.lean 6 declarations
- ProductVariance.lean 10 declarations
- RectangleCalibration.lean 14 declarations
- ResamplingMoment.lean 5 declarations
- ResamplingSymmetry.lean 7 declarations
- ResamplingTransform.lean 4 declarations
- SecondMoment.lean 10 declarations
- Stationarity.lean 10 declarations
- StationaryCalibration.lean 8 declarations
- TimeConstantNorm.lean 21 declarations
- UniformCheapPaths.lean 6 declarations
- WeakCalibration.lean 9 declarations