OAI/Probability/SLE/Mass/
699 declarations, 0 contain sorry, 0 declared as axioms; 164 files
Files
- CanonicalImageMass.lean 5 declarations
- CanonicalMassAllTimes.lean 1 declarations
- CanonicalMassAllVisits.lean 1 declarations
- CanonicalMassCompensator.lean 2 declarations
- CanonicalMassConstruction.lean 3 declarations
- CanonicalMassContinuity.lean 2 declarations
- CanonicalMassExhaustion.lean 3 declarations
- CanonicalMassExtendedRestart.lean 1 declarations
- CanonicalMassFirstVisit.lean 2 declarations
- CanonicalMassImageRestart.lean 1 declarations
- CanonicalMassNontrivial.lean 2 declarations
- CanonicalMassPositiveReduction.lean 1 declarations
- CanonicalMassRandomTime.lean 6 declarations
- CanonicalMassRemaining.lean 7 declarations
- CanonicalMassRestart.lean 1 declarations
- CanonicalMassScaling.lean 4 declarations
- CanonicalMassStoppingKernel.lean 2 declarations
- CanonicalMassUniqueness.lean 9 declarations
- CanonicalPhysicalMass.lean 5 declarations
- CanonicalRadonLimit.lean 5 declarations
- CanonicalRawMass.lean 1 declarations
- CellMassComparison.lean 4 declarations
- CompactConformalPassageMass.lean 2 declarations
- CompactEntryLevels.lean 3 declarations
- CompactImageMassBounds.lean 1 declarations
- CompactLevelMoments.lean 10 declarations
- CompactSpatialMass.lean 9 declarations
- ConditionalRadonRandomTests.lean 3 declarations
- ConformalMassTransport.lean 13 declarations
- ConvexCurrentMean.lean 1 declarations
- ConvexMeanMeasure.lean 3 declarations
- ConvexMomentLimits.lean 3 declarations
- CountableLevelAdapted.lean 1 declarations
- CountableLevelKernel.lean 4 declarations
- DenseCoverMassTests.lean 9 declarations
- DilationMass.lean 10 declarations
- DiskChartMass.lean 4 declarations
- DiskLevelMoments.lean 7 declarations
- DiskLevelTests.lean 1 declarations
- DiskLevelTransport.lean 3 declarations
- DiskMassMomentBound.lean 3 declarations
- DominatedMassTestContinuity.lean 3 declarations
- DominatedMassTestExhaustion.lean 3 declarations
- GreenMassProcessUniqueness.lean 2 declarations
- GreenMeasureSupport.lean 3 declarations
- GridMassOverlap.lean 2 declarations
- HalfPlaneHerglotzMass.lean 3 declarations
- HalfPlaneLevelMeasures.lean 10 declarations
- HalfPlaneZeroMass.lean 3 declarations
- HilbertConvexTails.lean 2 declarations
- InverseMassDilation.lean 1 declarations
- JointDiskMass.lean 6 declarations
- L2ConvexTails.lean 4 declarations
- L2MeanConvergence.lean 4 declarations
- LevelApproximants.lean 9 declarations
- LevelApproximationAdapted.lean 11 declarations
- LevelApproximationKernel.lean 11 declarations
- LevelApproximationL2.lean 4 declarations
- LevelApproximationMean.lean 2 declarations
- LevelApproximationSupport.lean 1 declarations
- LevelApproximationTests.lean 5 declarations
- LevelConditionalMean.lean 7 declarations
- LevelCurrentLimit.lean 7 declarations
- LevelCurrentTests.lean 7 declarations
- LevelGreenLimit.lean 4 declarations
- LevelMeanMeasure.lean 5 declarations
- LevelRadonExtraction.lean 6 declarations
- LevelRadonKernel.lean 2 declarations
- LevelRadonMean.lean 1 declarations
- LevelRadonMoments.lean 7 declarations
- LevelRadonNonatomic.lean 2 declarations
- LevelRadonPairings.lean 1 declarations
- LevelRadonSupport.lean 8 declarations
- LevelRadonTwoPoint.lean 2 declarations
- LevelRandomRadon.lean 4 declarations
- LevelRemainderMeasure.lean 7 declarations
- LevelRemainderSupport.lean 2 declarations
- LevelStoppingConvex.lean 5 declarations
- LevelStoppingGreenLimit.lean 5 declarations
- LevelStoppingKernel.lean 8 declarations
- LevelStoppingMeasures.lean 15 declarations
- LevelStoppingSpatialKernel.lean 5 declarations
- LevelStoppingTests.lean 7 declarations
- LocalGridMass.lean 5 declarations
- LocallyFiniteMeasureSubtract.lean 3 declarations
- MarkedTubeHarmonicMeasure.lean 3 declarations
- MassCompensatorEndpoint.lean 15 declarations
- MassCompensatorMesh.lean 12 declarations
- MassCompensatorRecovery.lean 8 declarations
- MassCompensatorSelection.lean 2 declarations
- MassCompensatorVariance.lean 12 declarations
- MassGridCutoffs.lean 11 declarations
- MassGridOverlap.lean 3 declarations
- MassKernelUniqueness.lean 2 declarations
- MassMartingaleTesting.lean 5 declarations
- MassMartingaleUniqueness.lean 2 declarations
- MassPotentialCompensator.lean 2 declarations
- MassUniquenessMesh.lean 9 declarations
- MassUniquenessPartitions.lean 6 declarations
- MassUniquenessSeparation.lean 13 declarations
- MomentLevels.lean 4 declarations
- MonotoneMassExhaustion.lean 1 declarations
- NonnegativeL2Passage.lean 2 declarations
- NormalizedDiskCompensator.lean 6 declarations
- OriginalShiftedMass.lean 4 declarations
- PastThresholdMass.lean 2 declarations
- PhysicalDiskMass.lean 5 declarations
- PositiveMassContinuity.lean 1 declarations
- PositiveMassGerm.lean 2 declarations
- PositiveRestartMass.lean 5 declarations
- PositiveTraceMass.lean 2 declarations
- RadonApproximationList.lean 1 declarations
- RadonFactorization.lean 2 declarations
- RadonKernelIntegral.lean 3 declarations
- RadonPathCertificates.lean 3 declarations
- RadonProcessAEUniqueness.lean 1 declarations
- RadonProcessUniqueness.lean 2 declarations
- RadonRandomTesting.lean 2 declarations
- RadonTerminalUniqueness.lean 1 declarations
- RadonTestDetermines.lean 1 declarations
- RadonTestFamily.lean 4 declarations
- RadonTestLimit.lean 6 declarations
- RadonTestLimitProperties.lean 6 declarations
- RadonTestMeasurability.lean 5 declarations
- RandomDilationMass.lean 1 declarations
- RandomMeasureDifference.lean 4 declarations
- RandomRadonEquality.lean 1 declarations
- RandomRadonLimit.lean 4 declarations
- RationalCanonicalMass.lean 4 declarations
- RationalMassFromSupports.lean 2 declarations
- RationalTraceMass.lean 5 declarations
- RationalTraceMassAdapted.lean 4 declarations
- RationalTraceMassAdaptedVersion.lean 1 declarations
- RationalTraceMassControl.lean 3 declarations
- RationalTraceMassLocal.lean 9 declarations
- RationalTraceMassLocalVariation.lean 3 declarations
- RationalTraceMassProgressiveVersion.lean 9 declarations
- RationalTraceMassSupport.lean 2 declarations
- RationalTraceMassVariation.lean 2 declarations
- RawMassFunctional.lean 2 declarations
- RawMassPathLaw.lean 4 declarations
- RawRadonGoodPaths.lean 4 declarations
- RawRadonLimit.lean 1 declarations
- RawScaledMassMeans.lean 5 declarations
- RawScaledMassPaths.lean 5 declarations
- RestartMassCoordinates.lean 5 declarations
- RestartRandomMassTesting.lean 2 declarations
- RestartStoppedMass.lean 4 declarations
- ScaledGreenMeasure.lean 2 declarations
- SignedLevelTests.lean 6 declarations
- SignedMeasureConvergence.lean 5 declarations
- SimultaneousConvexTails.lean 2 declarations
- StoppedConformalPassageMass.lean 7 declarations
- StoppedInverseMass.lean 7 declarations
- StrictPastMass.lean 1 declarations
- SubSigmaRadonLimit.lean 2 declarations
- TargetDiscreteMassRecovery.lean 4 declarations
- TerminalMassTestLimit.lean 2 declarations
- UniformCoverLevels.lean 6 declarations
- VerticalDisplacementMass.lean 1 declarations
- WaypointHarmonicMeasure.lean 2 declarations
- WeightedCompactMass.lean 5 declarations
- WeightedImageRandomMass.lean 6 declarations
- WeightedLevelMoments.lean 7 declarations