OAI/Probability/RadialTransition/
997 declarations, 0 contain sorry, 0 declared as axioms; 104 files
Files
- BadRemoval.lean 6 declarations
- BoltzmannMeasure.lean 6 declarations
- BoundedCore.lean 26 declarations
- BoxEnsembles.lean 25 declarations
- BoxPressure.lean 5 declarations
- CanonicalCorner.lean 5 declarations
- CanonicalCosts.lean 13 declarations
- CanonicalDuality.lean 7 declarations
- CanonicalLimit.lean 12 declarations
- CellDifferences.lean 14 declarations
- CellIntegral.lean 4 declarations
- CellInteractions.lean 18 declarations
- CellMoments.lean 10 declarations
- CellStability.lean 9 declarations
- ClusterConvolution.lean 7 declarations
- ClusterEmbedding.lean 2 declarations
- ClusterWeights.lean 15 declarations
- ConfigurationMaps.lean 5 declarations
- ConvolutionFock.lean 1 declarations
- ConvolutionIntegral.lean 7 declarations
- CoreConvergence.lean 7 declarations
- CoreLocalLower.lean 8 declarations
- CorePressureLower.lean 2 declarations
- CorePressureUpper.lean 3 declarations
- CoreUpper.lean 8 declarations
- CountWeights.lean 7 declarations
- CroppedCells.lean 14 declarations
- DeletedInteractions.lean 8 declarations
- DensityInterval.lean 2 declarations
- DensityMixtures.lean 7 declarations
- EnvelopeSupport.lean 4 declarations
- FamilyControls.lean 4 declarations
- FamilyIdeal.lean 5 declarations
- FamilyStep.lean 10 declarations
- FinitePartition.lean 34 declarations
- FockIntegral.lean 18 declarations
- FreeClusterCover.lean 4 declarations
- FreeGeometry.lean 6 declarations
- GrandBounds.lean 4 declarations
- GrandPartition.lean 9 declarations
- GridPressure.lean 8 declarations
- IdealAttainment.lean 8 declarations
- IdealAttraction.lean 11 declarations
- IdealLimit.lean 17 declarations
- IdealSupports.lean 3 declarations
- IdealUniform.lean 4 declarations
- InfiniteBall.lean 1 declarations
- InitialSeparation.lean 2 declarations
- InitialSlopes.lean 8 declarations
- InteriorGrid.lean 8 declarations
- KacComparison.lean 4 declarations
- KacDeletion.lean 2 declarations
- KacPressure.lean 7 declarations
- KacVariational.lean 1 declarations
- KernelError.lean 8 declarations
- LatticeStability.lean 31 declarations
- LinearInteractions.lean 10 declarations
- MacroLower.lean 7 declarations
- MacroRegions.lean 17 declarations
- MacroUpper.lean 5 declarations
- Main.lean 4 declarations
- MeasurableEnergy.lean 3 declarations
- MeasurableFock.lean 12 declarations
- MeasurableProducts.lean 2 declarations
- MixtureBounds.lean 8 declarations
- Model.lean 13 declarations
- MultiConvolution.lean 9 declarations
- MultiScale.lean 2 declarations
- MultisetEnergy.lean 32 declarations
- OccupationMoments.lean 3 declarations
- PackingBlob.lean 5 declarations
- PackingLimit.lean 24 declarations
- PairEnsembles.lean 8 declarations
- ParameterPressure.lean 17 declarations
- ParameterTools.lean 9 declarations
- ParticleMeasure.lean 15 declarations
- PartitionReplication.lean 15 declarations
- PerturbationMoments.lean 3 declarations
- PhaseGeometry.lean 21 declarations
- PhysicalIteration.lean 14 declarations
- PressureBall.lean 2 declarations
- PressureContinuity.lean 11 declarations
- ProductConfigurations.lean 4 declarations
- ProductFock.lean 3 declarations
- Propagation.lean 4 declarations
- RadialKernel.lean 19 declarations
- RangeBounds.lean 43 declarations
- ScaleBudgets.lean 1 declarations
- ScaleSequence.lean 35 declarations
- ScaledKernels.lean 19 declarations
- ShellGeometry.lean 6 declarations
- SpatialProducts.lean 19 declarations
- SpatialReplication.lean 11 declarations
- SqrtGrid.lean 1 declarations
- StarIntegral.lean 7 declarations
- SupportControl.lean 4 declarations
- SupportGeometry.lean 7 declarations
- TetraGeometry.lean 13 declarations
- TetraIntegral.lean 4 declarations
- ThermodynamicLimit.lean 13 declarations
- TruncatedFamily.lean 20 declarations
- UniformConstants.lean 5 declarations
- UniformKac.lean 3 declarations
- WindowLipschitz.lean 1 declarations