OAI/Probability/CriticalPercolation/Criticality/
521 declarations, 0 contain sorry, 0 declared as axioms; 82 files
Files
- ActualGrowth.lean 11 declarations
- AutDisplacement.lean 2 declarations
- BalancedCycles.lean 3 declarations
- BandScale.lean 12 declarations
- BlockIndependence.lean 9 declarations
- BlockLocalization.lean 6 declarations
- BoundaryCount.lean 9 declarations
- BoundedNormalJoins.lean 5 declarations
- ClassTwoRankOne.lean 2 declarations
- ClosedBoundedCuts.lean 1 declarations
- CompactDiscreteQuotient.lean 4 declarations
- ComponentCritical.lean 12 declarations
- ContractingDomains.lean 17 declarations
- CriticalFragility.lean 9 declarations
- CutInside.lean 17 declarations
- CylinderApproximation.lean 5 declarations
- DeleteImageIso.lean 6 declarations
- DescendingFan.lean 13 declarations
- DescentCritical.lean 1 declarations
- DirectionalTail.lean 13 declarations
- DiskWinding.lean 8 declarations
- DomainPercolation.lean 11 declarations
- DyadicBound.lean 3 declarations
- ExhaustionEvents.lean 4 declarations
- ExpandingCharacterGrowth.lean 4 declarations
- FavoredFinite.lean 4 declarations
- FewOpenBonds.lean 1 declarations
- FiniteEdgeInterpolation.lean 1 declarations
- FiniteEnergy.lean 6 declarations
- FiniteInterpolation.lean 4 declarations
- FiniteInterpolationUniform.lean 2 declarations
- FiniteNearbyPair.lean 4 declarations
- FiniteSeedTree.lean 7 declarations
- FiniteSusceptibility.lean 5 declarations
- FourthMomentFatou.lean 1 declarations
- GeometricFourth.lean 1 declarations
- GrowthAlternatives.lean 11 declarations
- GrowthEstimate.lean 2 declarations
- GrowthProcess.lean 19 declarations
- HeightCuts.lean 7 declarations
- IndicableDegreeStep.lean 1 declarations
- InfiniteEscapeLowerBound.lean 2 declarations
- InfiniteInterpolation.lean 2 declarations
- InfiniteNearbyPair.lean 4 declarations
- IntegerBoxes.lean 2 declarations
- InterpolationUniform.lean 3 declarations
- IntrinsicCriticalFragility.lean 7 declarations
- InvariantFiniteSets.lean 6 declarations
- LayerContradiction.lean 2 declarations
- LayerCounting.lean 9 declarations
- LayerLocality.lean 3 declarations
- Leak.lean 9 declarations
- LocalDescendingBlock.lean 13 declarations
- MainResidualBoundary.lean 5 declarations
- MainSparseBoundary.lean 2 declarations
- MinimalInterpolation.lean 1 declarations
- MinimalPair.lean 7 declarations
- NestedLayerBlock.lean 4 declarations
- NormalClosureGrowth.lean 19 declarations
- OneDimensionalCritical.lean 3 declarations
- OpenRay.lean 11 declarations
- PairedSparseScales.lean 2 declarations
- ParameterLeftBounds.lean 3 declarations
- PositiveCritical.lean 4 declarations
- RestrictedInterpolation.lean 5 declarations
- RestrictedSeed.lean 6 declarations
- ReverseReference.lean 13 declarations
- SharpnessPhi.lean 10 declarations
- SignedCountIdentity.lean 6 declarations
- SparseLinearCritical.lean 4 declarations
- SpecifiedFailures.lean 2 declarations
- SquareBoundary.lean 17 declarations
- SubcriticalLocalRateBound.lean 5 declarations
- SubexponentialVolumes.lean 3 declarations
- SubgroupFiniteIndexExtension.lean 1 declarations
- TwoPoint.lean 7 declarations
- TwoPointSelf.lean 5 declarations
- UniformDescendingFan.lean 7 declarations
- UniformLocalContinuity.lean 6 declarations
- VirtualIndicability.lean 3 declarations
- Weight.lean 23 declarations
- WitnessEvents.lean 12 declarations