OAI/Probability/SLE/Angle/
288 declarations, 0 contain sorry, 0 declared as axioms; 57 files
Files
- ActualAngleSpectral.lean 1 declarations
- ActualAngleWarmup.lean 3 declarations
- ActualAngleWarmupExtended.lean 1 declarations
- AngleEigenBasis.lean 5 declarations
- AngleEigenBounds.lean 4 declarations
- AngleEigenDifferential.lean 6 declarations
- AngleEigenMoment.lean 2 declarations
- AngleEigenNorm.lean 6 declarations
- AngleEigenOrthogonality.lean 3 declarations
- AngleEigenPolynomials.lean 10 declarations
- AngleEigenSource.lean 7 declarations
- AngleEigenStopped.lean 3 declarations
- AngleHarmonicStopped.lean 3 declarations
- AngleLogCosine.lean 11 declarations
- AngleLogCosineDerivatives.lean 4 declarations
- AngleLogGeneratorCoefficients.lean 3 declarations
- AngleMomentUniqueness.lean 4 declarations
- AngleMomentWeight.lean 2 declarations
- AnglePolynomialCoefficients.lean 2 declarations
- AnglePolynomialGenerator.lean 9 declarations
- AnglePolynomialInner.lean 10 declarations
- AnglePolynomialLogField.lean 7 declarations
- AnglePolynomialLogGenerator.lean 2 declarations
- AngleRecurrenceCoefficients.lean 7 declarations
- AngleRecurrenceRemainders.lean 3 declarations
- AngleSpectralBounds.lean 4 declarations
- AngleSpectralKernel.lean 6 declarations
- AngleSpectralLaw.lean 7 declarations
- AngleSpectralMoments.lean 8 declarations
- AngleSpectralPairing.lean 5 declarations
- AngleStationaryFlux.lean 3 declarations
- AngleStationaryPairing.lean 5 declarations
- CanonicalAngleKernel.lean 3 declarations
- CanonicalAngleMixing.lean 3 declarations
- CanonicalAngleSemigroup.lean 3 declarations
- RadiusAngleBounds.lean 2 declarations
- RadiusAngleKernel.lean 1 declarations
- TargetAngleLaw.lean 4 declarations
- TargetBrownianNormalization.lean 7 declarations
- TargetClockIdentification.lean 6 declarations
- TargetDiskMap.lean 10 declarations
- TargetDiskMass.lean 8 declarations
- TargetDiskPotential.lean 7 declarations
- TargetDiskRadius.lean 8 declarations
- TargetDiskVisit.lean 3 declarations
- TargetFlowEvolution.lean 4 declarations
- TargetFlowIdentification.lean 9 declarations
- TargetFlowInjectivity.lean 3 declarations
- TargetFlowMeasurability.lean 9 declarations
- TargetLevelDensity.lean 6 declarations
- TargetLevelMeasurability.lean 5 declarations
- TargetLevelTime.lean 4 declarations
- TargetNormalizedFiltration.lean 3 declarations
- TargetPathNormalization.lean 5 declarations
- TargetPositiveFlow.lean 1 declarations
- TargetPotentialIncrement.lean 3 declarations
- TargetPotentialMeasurability.lean 15 declarations