OAI/Analysis/RieszRectifiability/Limits/
257 declarations, 0 contain sorry, 0 declared as axioms; 103 files
Files
- BilateralFlatLimit.lean 2 declarations
- BilateralLowerLimit.lean 1 declarations
- BilateralSupportConvergence.lean 2 declarations
- BoundedAffineStrongLimit.lean 2 declarations
- BoundedBoxConvergence.lean 3 declarations
- CappedBilinearConvergence.lean 2 declarations
- CappedEnergyContinuity.lean 6 declarations
- CappedFlatBallLimits.lean 2 declarations
- CappedMeasureCompactness.lean 1 declarations
- CappedWeakConvergence.lean 4 declarations
- CellMeanSubsequence.lean 3 declarations
- CompactDerivativeTests.lean 1 declarations
- CompactLimitCappedL2.lean 1 declarations
- CompactLimitCappedTransform.lean 1 declarations
- CompactLimitGrowth.lean 3 declarations
- CompactLimitLowerMass.lean 2 declarations
- CompactLimitOrigin.lean 2 declarations
- CompactLimitSupport.lean 3 declarations
- CompactLimitZeroMoments.lean 1 declarations
- CompactLipschitzAmplitude.lean 2 declarations
- CompactReverseSupportTube.lean 2 declarations
- CompactRieszInteriorLimit.lean 2 declarations
- CompactRieszPairing.lean 3 declarations
- CompactRieszPairingTail.lean 4 declarations
- CompactSchwartzApproximation.lean 3 declarations
- CompactSmoothAnnularKernel.lean 10 declarations
- CompactSupportApproximants.lean 1 declarations
- CompactTests.lean 7 declarations
- CompactWeakConvergence.lean 9 declarations
- CompactnessUnweighting.lean 7 declarations
- CompactnessWeight.lean 6 declarations
- CompactnessWeightIntegrals.lean 5 declarations
- CompactnessWeightedMeasure.lean 10 declarations
- ComplexInteriorCutoffLimit.lean 2 declarations
- CorrectedLocalLimits.lean 1 declarations
- CorrectedRieszLimit.lean 1 declarations
- CountableSignedLimits.lean 1 declarations
- DensityWeakPairing.lean 2 declarations
- DyadicCommonAffineStrongLimit.lean 1 declarations
- DyadicFlatEnergyLimit.lean 1 declarations
- DyadicFlatMeasureLimit.lean 1 declarations
- DyadicFullPlanarMeasureLimit.lean 1 declarations
- DyadicNormalAffineLimit.lean 1 declarations
- DyadicPlanarMeasureLimit.lean 1 declarations
- DyadicSourceExcessLimit.lean 1 declarations
- EventualGlobalLowerLimit.lean 1 declarations
- ExteriorTailLimit.lean 1 declarations
- FiniteAffineVectorLimit.lean 1 declarations
- FiniteCommonSubsequence.lean 1 declarations
- FiniteMeasureSequentialCompactness.lean 3 declarations
- FiniteWeakProducts.lean 4 declarations
- FixedCutoffPairingLimit.lean 2 declarations
- GeometricUniformLimit.lean 1 declarations
- GlobalLowerMeasureLimit.lean 2 declarations
- GlobalSignedLimit.lean 1 declarations
- GlueLocalLimits.lean 2 declarations
- HeightPairingOuterLimit.lean 5 declarations
- IntegralZeroLimit.lean 1 declarations
- IntrinsicCompactEquation.lean 1 declarations
- IsometricWeakTransform.lean 4 declarations
- LimitEnergy.lean 2 declarations
- LimitEnergyDuality.lean 1 declarations
- LimitRieszInteriorOscillation.lean 1 declarations
- LimitingHeightEquation.lean 1 declarations
- LipschitzMomentConvergence.lean 1 declarations
- LipschitzRepresentativeStrongLimit.lean 1 declarations
- LipschitzSquareWeakLimit.lean 2 declarations
- LocalLimitUniqueness.lean 2 declarations
- LocalSingularLimit.lean 1 declarations
- LocalSupportConvergence.lean 4 declarations
- LocalWeakCappedTransform.lean 2 declarations
- MovingAffineGraphLimit.lean 1 declarations
- MovingTubeSupportLimit.lean 2 declarations
- NormalCommonAffineStrongLimit.lean 1 declarations
- OriginalADLimit.lean 1 declarations
- OriginalBilateralSequenceLimit.lean 1 declarations
- OriginalExcessSequenceLimit.lean 1 declarations
- OriginalGrowthLimit.lean 1 declarations
- OriginalMeasureCompactness.lean 3 declarations
- OuterPairingLimit.lean 7 declarations
- PartitionCompactness.lean 2 declarations
- PolynomialLeadingLimit.lean 6 declarations
- RenormalizedLimitEquation.lean 1 declarations
- ScalarRieszDensityLimit.lean 1 declarations
- ScalarRieszTestLimit.lean 3 declarations
- ScaledCommonAffineStrongLimit.lean 1 declarations
- SchwartzCutoffConvergence.lean 2 declarations
- SchwartzMomentContinuity.lean 3 declarations
- SignedKernelConvergence.lean 8 declarations
- SignedMomentConvergence.lean 1 declarations
- SingularCompactness.lean 1 declarations
- SmoothAnnularCenterLimits.lean 5 declarations
- SmoothAnnularLimitBounds.lean 1 declarations
- SourceDensityCompactEquation.lean 1 declarations
- UniformNonflatLimits.lean 3 declarations
- VaryingCompactTests.lean 2 declarations
- VectorStrongLimitStability.lean 3 declarations
- WeakCappedL2Bounds.lean 2 declarations
- WeakCellMass.lean 3 declarations
- WeakL2Subsequence.lean 2 declarations
- WeakRestriction.lean 9 declarations
- WeakRieszInterior.lean 2 declarations
- WeakTransformInterior.lean 2 declarations