OAI/MeasureTheory/Falconer/Radial/
589 declarations, 0 contain sorry, 0 declared as axioms; 210 files
Files
- ActualFarRadialError.lean 1 declarations
- ActualNoncomparableRadial.lean 1 declarations
- ActualSingleRadialError.lean 1 declarations
- ActualSuffixProjection.lean 1 declarations
- AffineNullTuples.lean 3 declarations
- AffinePlaneCover.lean 1 declarations
- AffinePlaneFrostman.lean 1 declarations
- AffineSlabCluster.lean 2 declarations
- AffineSubspaceFrostman.lean 3 declarations
- AllDimensionalMollifiedRadialBound.lean 2 declarations
- AllDimensionalRadialTestBound.lean 1 declarations
- AllDimensionalSmoothRadialEstimate.lean 1 declarations
- BoundedHeavyPlateCover.lean 1 declarations
- ClassicalAffineDistance.lean 2 declarations
- ClasswiseRadialGain.lean 1 declarations
- CoarsePlateAffineBound.lean 3 declarations
- CoarsePlateCells.lean 5 declarations
- CoarsePlateDirections.lean 3 declarations
- CoarsePlateFilter.lean 5 declarations
- CoarsePlateLimit.lean 2 declarations
- CoarsePlatePositive.lean 1 declarations
- CoarsePlatePreparation.lean 1 declarations
- CoarsePlateSymmetry.lean 3 declarations
- ConeRadialIntegral.lean 3 declarations
- DyadicHeavyCover.lean 1 declarations
- DyadicRadialPruning.lean 1 declarations
- EndpointMiddleRadial.lean 1 declarations
- EndpointRadialBadDirections.lean 1 declarations
- EndpointRadialLosses.lean 1 declarations
- EndpointRadialPreparation.lean 1 declarations
- EndpointSourceMiddle.lean 1 declarations
- EndpointTubeGain.lean 1 declarations
- EuclideanRadialDensity.lean 5 declarations
- FarRadialIntegral.lean 3 declarations
- FarRadialKernel.lean 5 declarations
- FinitePlateException.lean 4 declarations
- FiniteRadialContinuity.lean 3 declarations
- FiniteRadialPruning.lean 1 declarations
- FiniteRadialRefinement.lean 1 declarations
- FiniteRadialTestEnergy.lean 2 declarations
- GeneralPhysicalTubeCover.lean 1 declarations
- GeneralTubeMass.lean 1 declarations
- GnomonicAffinePlate.lean 4 declarations
- GraphRadialNormalization.lean 5 declarations
- GraphTorusRadial.lean 3 declarations
- HeavyCellRegularity.lean 1 declarations
- HeavyCoverCount.lean 2 declarations
- HeavyDischarge.lean 1 declarations
- HeavyMaximal.lean 1 declarations
- HeavyPacketCells.lean 1 declarations
- HeavyPlateCells.lean 6 declarations
- HeavyPlateCover.lean 2 declarations
- HeavyProjectedCover.lean 1 declarations
- HeavySelection.lean 2 declarations
- HyperplaneEnergy.lean 7 declarations
- HyperplaneFiber.lean 12 declarations
- HyperplaneFourier.lean 8 declarations
- HyperplaneFrame.lean 17 declarations
- HyperplaneMixedEnergy.lean 1 declarations
- HyperplaneTrace.lean 3 declarations
- InitialPlateCover.lean 2 declarations
- InitialPlateLoss.lean 1 declarations
- LatePlateFiber.lean 1 declarations
- LatePlatePowerLoss.lean 1 declarations
- LatePlateTail.lean 3 declarations
- LinearRadialDecay.lean 4 declarations
- LocalRadialPruning.lean 4 declarations
- MeasurableTubeCover.lean 2 declarations
- MiddleHeavyRadialMass.lean 2 declarations
- MiddleRadialPruning.lean 1 declarations
- MiddleRadialTransport.lean 4 declarations
- MollifiedRadialBound.lean 2 declarations
- MultilevelRadialPruning.lean 6 declarations
- NoncomparableRadialSymmetry.lean 1 declarations
- NonendpointMiddleRadial.lean 1 declarations
- NonendpointRadialBadDirections.lean 1 declarations
- NonendpointSourceMiddle.lean 1 declarations
- NonendpointTubeGain.lean 1 declarations
- OccupiedRadialTree.lean 10 declarations
- OriginalHeavyPlateCover.lean 1 declarations
- OuterRadialCell.lean 1 declarations
- OuterRadialPruning.lean 1 declarations
- OuterRadialWidths.lean 2 declarations
- PhysicalTubeCover.lean 1 declarations
- PlanarAETubeGain.lean 1 declarations
- PlanarRadialDischarge.lean 1 declarations
- PlanarUnitTubeGain.lean 1 declarations
- PlateLossSeries.lean 5 declarations
- PlatePairLoss.lean 3 declarations
- PlatePowerBudget.lean 4 declarations
- PlateScaleChoices.lean 3 declarations
- PlateScales.lean 12 declarations
- PlateZoom.lean 3 declarations
- PreparedTubeRelation.lean 1 declarations
- ProfileProjectionCollision.lean 1 declarations
- ProjectedDiameter.lean 3 declarations
- ProjectedHyperplaneNull.lean 3 declarations
- ProjectionCellPartition.lean 3 declarations
- ProjectionCollisionCount.lean 2 declarations
- ProjectionDensity.lean 12 declarations
- ProjectionEnergy.lean 13 declarations
- ProjectionExceptional.lean 3 declarations
- ProjectionMoment.lean 8 declarations
- ProjectionShiftedBand.lean 2 declarations
- PublishedHeavyPlates.lean 4 declarations
- PublishedRadialMoment.lean 1 declarations
- RadialAllRadiusBound.lean 1 declarations
- RadialAngleCaps.lean 3 declarations
- RadialAnglePotential.lean 1 declarations
- RadialAtomless.lean 4 declarations
- RadialBadWitness.lean 4 declarations
- RadialCapCollision.lean 1 declarations
- RadialCapExtension.lean 1 declarations
- RadialCapMass.lean 2 declarations
- RadialCapTube.lean 1 declarations
- RadialCollisionDeletion.lean 3 declarations
- RadialCollisionMass.lean 4 declarations
- RadialCollisionMean.lean 1 declarations
- RadialCollisionWidths.lean 3 declarations
- RadialContinuity.lean 9 declarations
- RadialDensity.lean 13 declarations
- RadialDischarge.lean 2 declarations
- RadialDistanceError.lean 4 declarations
- RadialDyadicBracket.lean 2 declarations
- RadialFailureMass.lean 6 declarations
- RadialFatou.lean 2 declarations
- RadialFreezing.lean 3 declarations
- RadialFreezingScales.lean 2 declarations
- RadialIntervalEnergy.lean 2 declarations
- RadialLocalization.lean 4 declarations
- RadialLpEnergy.lean 2 declarations
- RadialMeanPowerBound.lean 3 declarations
- RadialMeanPowers.lean 2 declarations
- RadialMixedEnergy.lean 3 declarations
- RadialMomentParameters.lean 1 declarations
- RadialMoments.lean 10 declarations
- RadialNearBallBounds.lean 1 declarations
- RadialNonstationary.lean 2 declarations
- RadialPairSeparation.lean 5 declarations
- RadialPairSwap.lean 2 declarations
- RadialPinScaleBounds.lean 2 declarations
- RadialPreparation.lean 7 declarations
- RadialProfileGap.lean 1 declarations
- RadialProfileProduct.lean 2 declarations
- RadialRegularClasses.lean 1 declarations
- RadialRemoveDiagonal.lean 1 declarations
- RadialScaleIntersection.lean 1 declarations
- RadialScaleWindow.lean 4 declarations
- RadialShellMeasure.lean 1 declarations
- RadialSphereBounds.lean 2 declarations
- RadialSphereLaw.lean 4 declarations
- RadialTaylor.lean 6 declarations
- RadialTestBound.lean 2 declarations
- RadialTestEnergy.lean 5 declarations
- RadialTestFatou.lean 2 declarations
- RadialTestMoment.lean 2 declarations
- RadialTestNorm.lean 7 declarations
- RadialTonelli.lean 4 declarations
- RadialTupleTransversality.lean 9 declarations
- RadialWindowAvailability.lean 2 declarations
- RadialZoom.lean 10 declarations
- RadialZoomBounds.lean 3 declarations
- RadialZoomLaw.lean 3 declarations
- RadialZoomPruning.lean 1 declarations
- RadonLpDensity.lean 2 declarations
- RegularClassRadialBudget.lean 4 declarations
- RegularClassRadialPruning.lean 1 declarations
- RegularizationRadialGain.lean 2 declarations
- RelativeClasswiseRadialGain.lean 1 declarations
- ReverseRadialGeometry.lean 4 declarations
- ReverseRadialMass.lean 1 declarations
- ReverseRadialTruncation.lean 1 declarations
- ReverseSlabsAllRadii.lean 1 declarations
- ScalarAffineCovers.lean 3 declarations
- ScalarAffineExceptions.lean 4 declarations
- ScalarAffineFibers.lean 4 declarations
- SignedRadialKernel.lean 4 declarations
- SingleClassRadialGain.lean 1 declarations
- SingleScaleWeakRadial.lean 1 declarations
- SingleSphereRadial.lean 4 declarations
- SingleStationaryRadial.lean 3 declarations
- SmallChartWeakRadial.lean 1 declarations
- SmoothRadialEstimate.lean 1 declarations
- SourceClassOuterRadial.lean 1 declarations
- SourceRadialSetup.lean 2 declarations
- SphereSlab.lean 7 declarations
- StationaryRadialSum.lean 4 declarations
- SuffixProjectionWidths.lean 2 declarations
- ThinTubeUpgrade.lean 1 declarations
- ThreeTubeMass.lean 1 declarations
- TubeCoverChoice.lean 2 declarations
- TubeCoverEnumeration.lean 1 declarations
- TwoSidedRadialIntersection.lean 1 declarations
- TwoSlabGeometry.lean 1 declarations
- TwoSlabMass.lean 1 declarations
- TwoSlabSingleScale.lean 1 declarations
- UniformAffineSlabs.lean 1 declarations
- UniformOuterRadial.lean 3 declarations
- UniformProjectionCollision.lean 1 declarations
- UniformRadialRestrictions.lean 2 declarations
- UniformVanishingSlabs.lean 2 declarations
- UnitHeavyPlateCover.lean 1 declarations
- VanishingSlabs.lean 3 declarations
- WeakRadial.lean 1 declarations
- WeakRadialCapParameters.lean 1 declarations
- WeakRadialDeletionBudget.lean 2 declarations
- WeakRadialLocalBudget.lean 4 declarations
- WeakRadialLosses.lean 2 declarations
- WeakRadialParameters.lean 2 declarations
- WeakRadialTotalCost.lean 3 declarations