OAI/MeasureTheory/FalconerCompletion/Measures/
256 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- Ambient.lean 3 declarations
- Ambient2.lean 6 declarations
- AmbientGridCell.lean 14 declarations
- AmbientGridCell2.lean 20 declarations
- AmbientGridCell3.lean 20 declarations
- AmbientGridCell4.lean 20 declarations
- AssemblyClassLaw.lean 9 declarations
- AssemblyPositiveEnergy.lean 7 declarations
- AssemblyTestFailures.lean 3 declarations
- ChainSplit.lean 6 declarations
- CharFunSqIntervalIntegrable.lean 3 declarations
- CompletionPolynomialSubpower.lean 23 declarations
- DistanceCollisionKernel.lean 10 declarations
- EuclideanFarNoncomparableIntegrated.lean 1 declarations
- GaussianMomentFlow.lean 6 declarations
- GaussianMomentFlow2.lean 6 declarations
- LocalDistanceCollisionBound.lean 3 declarations
- MaskedPushforwardDeficit.lean 6 declarations
- MeasureRealSub.lean 4 declarations
- NormalizedStartingPairCompletion.lean 1 declarations
- OriginalFarLabels.lean 7 declarations
- PairDistanceContinuous.lean 9 declarations
- PathIndex.lean 11 declarations
- PathIndex2.lean 11 declarations
- RadialPhaseIntegral.lean 3 declarations
- RegularizationLabelCount.lean 25 declarations
- SetToFunPostcompose.lean 7 declarations
- StartingPairCompletion.lean 10 declarations
- WeightedIntegralSquare.lean 2 declarations