OAI/MeasureTheory/FalconerCompletion/Estimates/
223 declarations, 0 contain sorry, 0 declared as axioms; 48 files
Files
- AdjustedProfile.lean 4 declarations
- AssemblyEndpointSmooth.lean 2 declarations
- AssemblyInnerEnergyMem.lean 9 declarations
- AssemblySmallParameters.lean 1 declarations
- BandTerm.lean 4 declarations
- CasimirOperatorPowBound.lean 5 declarations
- CasimirOperatorPowBound2.lean 5 declarations
- CasimirWords.lean 13 declarations
- CasimirWords2.lean 13 declarations
- CellBallMassFromLevel.lean 2 declarations
- CellPath.lean 4 declarations
- ComplexIteratedDerivTsupport.lean 1 declarations
- ComplexIteratedDerivTsupport2.lean 1 declarations
- ConeJacobianMatrix.lean 2 declarations
- ConeJacobianMatrix2.lean 2 declarations
- EuclideanFarKernelConstMul.lean 3 declarations
- EuclideanFarKernelRegionPartition.lean 9 declarations
- EuclideanFarNormalizedRegion.lean 1 declarations
- EuclideanFarNormalizedRestrictedSum.lean 4 declarations
- EuclideanSourceComparableFarRapid.lean 1 declarations
- EuclideanSourceFarRegion.lean 1 declarations
- EuclideanSourceNoncomparableRegion.lean 4 declarations
- FarChildMaximum.lean 3 declarations
- FarEventuallyConstMulRpow.lean 4 declarations
- FarRetainedEqOriginalLabels.lean 3 declarations
- FarScaledLength.lean 3 declarations
- FarSourceScaleRegime.lean 3 declarations
- FullParallelCountFilter.lean 6 declarations
- InitialSegment.lean 13 declarations
- MinimalMaskNestedSupport.lean 3 declarations
- NormLinearErrorIdentity.lean 6 declarations
- OriginalCellTransform.lean 3 declarations
- OriginalDistanceMonotoneLimit.lean 1 declarations
- OriginalMassRestoration.lean 1 declarations
- OutgoingPower.lean 16 declarations
- OutgoingPower2.lean 16 declarations
- ProjectionShiftedBandBound.lean 2 declarations
- ResidualFullChildNearFar.lean 1 declarations
- ResidualSuccessiveNearFar.lean 1 declarations
- RetainedCardLeft.lean 3 declarations
- ScaleAbout.lean 15 declarations
- SmoothReciprocal.lean 5 declarations
- SourceFullFar.lean 3 declarations
- SourceWeightedErrorGeneral.lean 1 declarations
- StationaryScaleFactor.lean 4 declarations
- StationaryScaleFactor2.lean 4 declarations
- TreeCenter.lean 4 declarations
- TreeCenter2.lean 8 declarations