OAI/MeasureTheory/FalconerCompletion/Shells/
210 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- AngularCorrelation.lean 17 declarations
- ApproximatingDistanceShellDecay.lean 1 declarations
- ComplexOfPositive.lean 4 declarations
- ComplexShellEnergyEq.lean 14 declarations
- ContinuousCoefficientMeasurableSquare.lean 17 declarations
- FourierNormSqContinuous.lean 4 declarations
- IntegrableCoeffNormPower.lean 4 declarations
- IntegralDyadicShellBound.lean 1 declarations
- LeafUnion.lean 22 declarations
- MonotoneShellTestDensity.lean 7 declarations
- PrefixCutoff.lean 5 declarations
- PrefixHighShell.lean 7 declarations
- PrefixParallelMem.lean 13 declarations
- PrefixPhasedGlobalBound.lean 6 declarations
- PrefixShell.lean 7 declarations
- PrefixSpatialLeft.lean 15 declarations
- RegularizationLeaves.lean 10 declarations
- ShellEffectiveScale.lean 7 declarations
- ShellEffectiveScale2.lean 9 declarations
- ShellPolynomialSubpower.lean 1 declarations
- TransportedAngularField.lean 19 declarations
- TwoProfileComponentShell.lean 1 declarations
- WeightedDistanceCollisionLower.lean 5 declarations
- WeightedMaskTransform.lean 8 declarations
- WidthKernel.lean 6 declarations