OAI/Probability/ContinuumTransition/
954 declarations, 0 contain sorry, 0 declared as axioms; 161 files
Files
- ActiveLimits.lean 1 declarations
- ActiveSupports.lean 9 declarations
- ActiveUniform.lean 1 declarations
- AppendAttraction.lean 11 declarations
- ApproximateSupports.lean 2 declarations
- Assignments.lean 15 declarations
- BadEndpoints.lean 7 declarations
- BlockEnergy.lean 4 declarations
- BlockPartition.lean 9 declarations
- BoundarySum.lean 1 declarations
- BoxTiling.lean 12 declarations
- CanonicalIntegral.lean 26 declarations
- CanonicalLimit.lean 15 declarations
- CellEnergy.lean 8 declarations
- CoerciveCanonical.lean 2 declarations
- CompactHulls.lean 3 declarations
- CompactSequences.lean 2 declarations
- ConstructionBounds.lean 8 declarations
- ConstructionCap.lean 6 declarations
- ConstructionLimit.lean 8 declarations
- ConstructionLocation.lean 5 declarations
- ConstructionMasses.lean 19 declarations
- ConstructionSequence.lean 3 declarations
- ConstructionStage.lean 18 declarations
- ConstructionStep.lean 2 declarations
- ConvexSupport.lean 10 declarations
- ConvexUniform.lean 3 declarations
- ConvolutionLimit.lean 3 declarations
- CubeBoundary.lean 7 declarations
- CubeCoercivity.lean 4 declarations
- DensityBounds.lean 2 declarations
- DensityLimit.lean 16 declarations
- DensityUniform.lean 4 declarations
- ExactAssignments.lean 3 declarations
- FiniteBlocks.lean 2 declarations
- FiniteBounds.lean 4 declarations
- FiniteProduct.lean 2 declarations
- FixedOccupation.lean 12 declarations
- FreeFamily.lean 9 declarations
- FreeGeometry.lean 9 declarations
- FreeGrand.lean 3 declarations
- FreeIdeal.lean 11 declarations
- FreeLimit.lean 2 declarations
- FreeRoots.lean 1 declarations
- FreeUpper.lean 7 declarations
- GeneralGrand.lean 15 declarations
- GeneralLabels.lean 8 declarations
- GenericGibbs.lean 21 declarations
- GibbsBridge.lean 7 declarations
- GibbsIntegrability.lean 6 declarations
- GibbsMonotonicity.lean 2 declarations
- GibbsQuadratic.lean 11 declarations
- GrandBlocks.lean 3 declarations
- GrandDomination.lean 7 declarations
- GrandFinite.lean 7 declarations
- GrandInteraction.lean 5 declarations
- GrandLinearity.lean 9 declarations
- GrandOn.lean 2 declarations
- GrandPartition.lean 6 declarations
- GrandPerturbation.lean 1 declarations
- GrandProduct.lean 1 declarations
- GridBoundary.lean 7 declarations
- GridCover.lean 2 declarations
- GridVolume.lean 4 declarations
- IdealSlopes.lean 2 declarations
- InitialTriple.lean 2 declarations
- InitialUniform.lean 1 declarations
- InnerGrand.lean 4 declarations
- InnerGrid.lean 9 declarations
- KacBlocks.lean 5 declarations
- KacBounds.lean 3 declarations
- KacEnergy.lean 4 declarations
- KacGrid.lean 11 declarations
- KacKernel.lean 10 declarations
- KacLimit.lean 1 declarations
- KacRows.lean 8 declarations
- KacUniform.lean 2 declarations
- LabelConvolution.lean 2 declarations
- LaplaceBounds.lean 3 declarations
- LaplaceEventual.lean 1 declarations
- LaplacePrinciple.lean 8 declarations
- LatticeBounds.lean 24 declarations
- LocalSupports.lean 3 declarations
- LowerBounds.lean 1 declarations
- LowerComparison.lean 3 declarations
- LowerEnergy.lean 4 declarations
- LowerGibbs.lean 3 declarations
- LowerKac.lean 3 declarations
- LowerLimit.lean 7 declarations
- LowerPressure.lean 1 declarations
- LowerRows.lean 2 declarations
- Main.lean 2 declarations
- MaskedComparison.lean 3 declarations
- MaskedReference.lean 16 declarations
- MeanFieldAttainment.lean 1 declarations
- Model.lean 9 declarations
- ModifiedComparison.lean 2 declarations
- ModifiedEnergy.lean 6 declarations
- ModifiedFinite.lean 2 declarations
- ModifiedInsertion.lean 3 declarations
- ModifiedMoments.lean 1 declarations
- MomentBootstrap.lean 1 declarations
- MomentBounds.lean 4 declarations
- MomentEnergy.lean 9 declarations
- MomentExpectations.lean 1 declarations
- NearbySupport.lean 2 declarations
- OccupationEnergy.lean 3 declarations
- OccupationProducts.lean 2 declarations
- PackingBalls.lean 3 declarations
- PackingGeometry.lean 11 declarations
- PackingLimit.lean 5 declarations
- PackingLower.lean 2 declarations
- PackingPressure.lean 4 declarations
- PackingUpper.lean 8 declarations
- PairEnergy.lean 14 declarations
- PairMoments.lean 3 declarations
- Persistence.lean 1 declarations
- PhysicalInsertion.lean 6 declarations
- PhysicalMeanField.lean 3 declarations
- PhysicalMoments.lean 1 declarations
- PhysicalPerturbation.lean 5 declarations
- PhysicalPressure.lean 6 declarations
- PhysicalUniform.lean 1 declarations
- PressureDuality.lean 7 declarations
- PressureGeometry.lean 14 declarations
- PressureRegularity.lean 5 declarations
- ProductEquality.lean 2 declarations
- ProfileBounds.lean 10 declarations
- ProfileTail.lean 18 declarations
- QuadraticBlocks.lean 2 declarations
- QuadraticGrand.lean 5 declarations
- QuadraticLaplace.lean 4 declarations
- QuadraticTransform.lean 11 declarations
- RadialKernel.lean 28 declarations
- Regroup.lean 5 declarations
- RootVolume.lean 6 declarations
- ScaledActive.lean 1 declarations
- ScaledBounded.lean 2 declarations
- ScaledLocalization.lean 1 declarations
- ShellGeometry.lean 6 declarations
- SpatialProducts.lean 8 declarations
- Stability.lean 8 declarations
- SubgradientBounds.lean 4 declarations
- SupportGenerators.lean 3 declarations
- TailBounds.lean 2 declarations
- TailComparison.lean 1 declarations
- TailPressure.lean 1 declarations
- TetraVolume.lean 8 declarations
- Tetrahedron.lean 12 declarations
- ThermodynamicExtension.lean 14 declarations
- TransformAttainment.lean 2 declarations
- TransformBounds.lean 4 declarations
- TrialConfigurations.lean 26 declarations
- TriangleGeometry.lean 12 declarations
- TriangleSeparation.lean 8 declarations
- TripleState.lean 3 declarations
- UniformMin.lean 1 declarations
- UpperComparison.lean 1 declarations
- UpperKac.lean 1 declarations
- UpperLimit.lean 5 declarations
- UpperPressure.lean 1 declarations