OAI/Probability/LatticeSurface/Convexity/
494 declarations, 0 contain sorry, 0 declared as axioms; 67 files
Files
- AffineVolume.lean 2 declarations
- AnchoredCoupling.lean 7 declarations
- BoundedBase.lean 13 declarations
- BoundedCoupling.lean 2 declarations
- BoundedLattice.lean 27 declarations
- BrunnMinkowski.lean 10 declarations
- ClusterDynamics.lean 6 declarations
- ClusterDynamicsDefs.lean 3 declarations
- Concentration.lean 1 declarations
- CubePrekopa.lean 13 declarations
- DensityOverlap.lean 3 declarations
- DensityPrekopa.lean 4 declarations
- ElementaryKernels.lean 12 declarations
- EvenIntegral.lean 4 declarations
- FacetDeficitAnalytic.lean 5 declarations
- FacetQuantile.lean 6 declarations
- FiniteLevelBarrier.lean 1 declarations
- FreeHilbert.lean 12 declarations
- GeneralMarginal.lean 1 declarations
- GeneralMarginalFin.lean 3 declarations
- GradientWindows.lean 4 declarations
- HeatBath.lean 14 declarations
- HeatBathGeometry.lean 10 declarations
- HeatBathInvariant.lean 9 declarations
- IntegralDeficit.lean 2 declarations
- IntegratedOverlap.lean 5 declarations
- InteriorQuantile.lean 23 declarations
- KernelRestriction.lean 9 declarations
- LinearConcentration.lean 3 declarations
- LinearCoordinates.lean 1 declarations
- MarginalBody.lean 3 declarations
- MarginalOverlap.lean 6 declarations
- Metropolis.lean 1 declarations
- MetropolisSupport.lean 11 declarations
- PointwiseOverlap.lean 7 declarations
- PointwiseOverlapSupport.lean 2 declarations
- ProductData.lean 19 declarations
- ProductDeficit.lean 6 declarations
- ProductGraph.lean 22 declarations
- ProductSums.lean 2 declarations
- ProductVolume.lean 4 declarations
- QuantileCentroid.lean 5 declarations
- QuantileTransport.lean 19 declarations
- QuantitativeTransport.lean 8 declarations
- RadialExposure.lean 34 declarations
- RetainedBody.lean 11 declarations
- RetainedCoordinates.lean 12 declarations
- RetainedLaw.lean 1 declarations
- RetainedShell.lean 24 declarations
- ShellEndpoints.lean 6 declarations
- ShellRegularity.lean 1 declarations
- SliceDensity.lean 4 declarations
- SliceGeometry.lean 15 declarations
- SliceMoments.lean 4 declarations
- SoftThreshold.lean 5 declarations
- SupportUnit.lean 4 declarations
- Survival.lean 4 declarations
- TailNumerics.lean 3 declarations
- TransportResampling.lean 1 declarations
- USCEnvelope.lean 15 declarations
- USCGlobal.lean 3 declarations
- USCMarginal.lean 3 declarations
- USCPrekopa.lean 2 declarations
- USCProduct.lean 4 declarations
- Unimodal.lean 3 declarations
- WeightedHolder.lean 1 declarations
- WeightedPrekopa.lean 4 declarations