OAI/Analysis/RieszRectifiability/Rigidity/
201 declarations, 0 contain sorry, 0 declared as axioms; 57 files
Files
- AffineHeightRigidity.lean 2 declarations
- BoundedFractionalRigidity.lean 2 declarations
- CommonHeightFractionalEquation.lean 1 declarations
- DyadicCommonFractionalEquation.lean 1 declarations
- DyadicReflectionlessMeasureLimit.lean 1 declarations
- FiniteFractionalHeightPairing.lean 5 declarations
- FourierJetMoments.lean 6 declarations
- FourierMeanZeroTests.lean 4 declarations
- FourierPhaseDifference.lean 8 declarations
- FractionalBilinear.lean 7 declarations
- FractionalDilationDerivative.lean 4 declarations
- FractionalEquationFromRealPairing.lean 2 declarations
- FractionalFarSpatialDecay.lean 2 declarations
- FractionalFourierAnnihilation.lean 4 declarations
- FractionalFourierFubini.lean 6 declarations
- FractionalFourierMultiplier.lean 4 declarations
- FractionalGradientBounds.lean 5 declarations
- FractionalGradientDomination.lean 3 declarations
- FractionalHeightPairingContinuity.lean 3 declarations
- FractionalNearSpatialDecay.lean 2 declarations
- FractionalRadialSymbol.lean 1 declarations
- FractionalRealComponents.lean 3 declarations
- FractionalSchwartzBounds.lean 2 declarations
- FractionalSchwartzContinuity.lean 7 declarations
- FractionalSchwartzKernel.lean 7 declarations
- FractionalSpatialDecay.lean 3 declarations
- FractionalSymbolBounds.lean 11 declarations
- FractionalSymbolInvariance.lean 6 declarations
- FractionalSymbolPositivity.lean 3 declarations
- FractionalTestDilation.lean 5 declarations
- FractionalTruncatedHeightLimit.lean 1 declarations
- FractionalTruncatedRepresentation.lean 3 declarations
- FractionalTruncatedSpatialDecay.lean 2 declarations
- FractionalTruncatedTests.lean 4 declarations
- FractionalWeightedDecay.lean 5 declarations
- HeightTemperedDistribution.lean 7 declarations
- JetMomentPolynomial.lean 4 declarations
- LimitReflectionlessTest.lean 1 declarations
- LimitReflectionlessness.lean 3 declarations
- LocalReflectionlessTransform.lean 2 declarations
- PlanarReflectionlessSupport.lean 2 declarations
- PlaneHeightDistribution.lean 4 declarations
- PointFourierPolynomial.lean 3 declarations
- PointSupportedFiniteJet.lean 3 declarations
- PointSupportedJetRepresentation.lean 2 declarations
- ReflectionlessAnnularBounds.lean 3 declarations
- ReflectionlessFullSupport.lean 3 declarations
- RenormalizedFractionalHeightIdentity.lean 1 declarations
- SchwartzJetCoordinates.lean 4 declarations
- ShrinkingJetSeminorms.lean 5 declarations
- SourceDensityFractionalEquation.lean 1 declarations
- SupportedFractionalCutoff.lean 6 declarations
- TemperedFiniteOrderBound.lean 1 declarations
- TemperedHeightWeights.lean 7 declarations
- TemperedRealFiniteOrderBound.lean 1 declarations
- TruncatedRenormalizedHeightIdentity.lean 1 declarations
- VanishingJetGrowth.lean 2 declarations