OAI/MeasureTheory/FalconerCompletion/Sphere/
529 declarations, 0 contain sorry, 0 declared as axioms; 41 files
Files
- AngularDerivative.lean 19 declarations
- AngularDerivativeBound.lean 2 declarations
- AngularDerivativeBound2.lean 4 declarations
- AngularDerivativeBound3.lean 4 declarations
- AngularDerivativeEventuallyEq.lean 21 declarations
- AngularDerivativeEventuallyEq2.lean 21 declarations
- InverseWeightCancellation.lean 4 declarations
- ScalarCapPartition.lean 11 declarations
- ScalarCapPartition2.lean 11 declarations
- SphereAmbient.lean 23 declarations
- SphereAmbient2.lean 23 declarations
- SphereAreaAeNorm.lean 5 declarations
- SphereAreaAeNorm2.lean 5 declarations
- SphereAxisIntegral.lean 26 declarations
- SphereAxisIntegral2.lean 26 declarations
- SphereAxisIntegralConj.lean 6 declarations
- SphereCasimir.lean 13 declarations
- SphereCasimir2.lean 13 declarations
- SphereChartAmplitudeDerivativeBound.lean 22 declarations
- SphereChartAmplitudeDerivativeBound2.lean 22 declarations
- SphereChartScale.lean 22 declarations
- SphereChartScale2.lean 22 declarations
- SphereCutoffB.lean 19 declarations
- SphereInverseArbitraryPower.lean 13 declarations
- SphereLPolynomial.lean 13 declarations
- SphereLPolynomial2.lean 18 declarations
- SphereLSupport.lean 4 declarations
- SphereMeasure.lean 17 declarations
- SphereMeasureAeNorm.lean 7 declarations
- SphereMeasureTransport.lean 5 declarations
- SphereMeasureTransport2.lean 10 declarations
- SphereNoncomparableRapid.lean 1 declarations
- SpherePartsDerivativeBound.lean 1 declarations
- SpherePartsDerivativeBound2.lean 1 declarations
- SpherePlaneWave.lean 24 declarations
- SpherePlaneWave2.lean 3 declarations
- SpherePlaneWave3.lean 3 declarations
- SpherePoleCoefficient.lean 4 declarations
- SphereShift.lean 30 declarations
- SphereShift2.lean 30 declarations
- SphereSupportedRapid.lean 1 declarations