OAI/Probability/SLEGauge/
3047 declarations, 0 contain sorry, 0 declared as axioms; 104 files
Files
- AdaptedFailure.lean 51 declarations
- AngleGenerators.lean 79 declarations
- AngleLyapunov.lean 28 declarations
- AngleMeasure.lean 76 declarations
- AngularControlMass.lean 20 declarations
- BrownianGerm.lean 27 declarations
- BrownianMartingales.lean 31 declarations
- BrownianNodes.lean 21 declarations
- BrownianRestart.lean 31 declarations
- BrownianShifts.lean 39 declarations
- CandidateCover.lean 40 declarations
- CenteredSequenceLaw.lean 34 declarations
- CleanupCost.lean 36 declarations
- CommonStoppedMass.lean 31 declarations
- ConformalFlow.lean 52 declarations
- ConformalRestartMap.lean 52 declarations
- CutoffDrift.lean 32 declarations
- CutoffExhaustion.lean 42 declarations
- CutoffFlow.lean 68 declarations
- DynkinIdentity.lean 9 declarations
- EulerConvergence.lean 29 declarations
- EulerFlow.lean 23 declarations
- EulerMeasurability.lean 13 declarations
- EulerMoments.lean 14 declarations
- ExactGaugeEndpoint.lean 4 declarations
- FiniteAngleEigen.lean 40 declarations
- FiniteProductLimit.lean 27 declarations
- FiniteVariationMartingale.lean 16 declarations
- FlowDerivatives.lean 17 declarations
- FrozenExpectations.lean 15 declarations
- FutureSupport.lean 26 declarations
- GaugeBounds.lean 36 declarations
- GlobalAngleBudget.lean 32 declarations
- GreenIdentities.lean 12 declarations
- HalfPlaneDistortion.lean 38 declarations
- HeightRadius.lean 18 declarations
- InitialTrace.lean 20 declarations
- InverseDomains.lean 39 declarations
- InverseRegularity.lean 34 declarations
- JacobiKernel.lean 37 declarations
- KernelBounds.lean 19 declarations
- KernelMeasurability.lean 28 declarations
- LocalFiniteness.lean 19 declarations
- LoewnerScaling.lean 43 declarations
- LoewnerSolutions.lean 21 declarations
- Main.lean 1 import, no declarations
- MarkedMomentBound.lean 14 declarations
- MassMoments.lean 8 declarations
- MassVersionsCore.lean 25 declarations
- ModelCandidates.lean 34 declarations
- ModelFiniteTests.lean 33 declarations
- MomentBatches.lean 52 declarations
- NormalizedDiskMass.lean 40 declarations
- NormalizedMarkedMoment.lean 41 declarations
- NormalizedRadialTests.lean 32 declarations
- OptionalEstimates.lean 26 declarations
- OptionalGreen.lean 29 declarations
- OptionalPastPalm.lean 21 declarations
- PastHullSupport.lean 20 declarations
- PhaseIntegrals.lean 15 declarations
- PhaseStopping.lean 31 declarations
- PlanarGrid.lean 34 declarations
- PostStopPotential.lean 41 declarations
- ProductGenerators.lean 30 declarations
- ProductIntegrability.lean 8 declarations
- RadialBounds.lean 33 declarations
- RadialConditionalMixing.lean 30 declarations
- RadialFactors.lean 25 declarations
- RadialMeasurability.lean 24 declarations
- RadialMoments.lean 27 declarations
- RadialRestart.lean 29 declarations
- RadialRestartRaw.lean 28 declarations
- RadialStopping.lean 24 declarations
- RadiusComparison.lean 28 declarations
- RadonKernels.lean 30 declarations
- RadonMoments.lean 22 declarations
- RandomRestrictionKernel.lean 29 declarations
- RawBrownianRestart.lean 47 declarations
- RawRestartTests.lean 31 declarations
- RecoveredInteriorRestart.lean 13 declarations
- ReverseFlow.lean 25 declarations
- ReverseGenerators.lean 30 declarations
- ReverseMoments.lean 31 declarations
- RiemannIntegrals.lean 9 declarations
- SpatialPastTail.lean 35 declarations
- StateBounds.lean 17 declarations
- StochasticCalculus.lean 29 declarations
- StoppedEstimates.lean 56 declarations
- StoppedFiniteMass.lean 20 declarations
- StoppedLimits.lean 33 declarations
- StoppedMassMeasurability.lean 17 declarations
- StoppedWeights.lean 35 declarations
- StoppingMeasurability.lean 39 declarations
- SubdiskMoments.lean 30 declarations
- SurvivalLocalization.lean 18 declarations
- TailBatches.lean 48 declarations
- TerminalExhaustion.lean 10 declarations
- TiltedMeasures.lean 23 declarations
- TraceBoundary.lean 21 declarations
- TraceContinuity.lean 39 declarations
- TraceMassEndpoint.lean 32 declarations
- TracePastSupport.lean 27 declarations
- TraceRestriction.lean 30 declarations
- TwoPointGrowth.lean 20 declarations