OAI/Analysis/RieszRectifiability/Nets/
260 declarations, 0 contain sorry, 0 declared as axioms; 61 files
Files
- AnnularCellGap.lean 3 declarations
- AnnularCellPairMasses.lean 2 declarations
- AnnularCellPairSelection.lean 1 declarations
- AnnularLatticeScales.lean 8 declarations
- BadCellTestFamily.lean 4 declarations
- BlowupRadiusGeometry.lean 5 declarations
- BoundaryCellGeometry.lean 6 declarations
- CapturedCellSeedMass.lean 1 declarations
- CellAnnularWitnesses.lean 6 declarations
- CellBadCountBounds.lean 5 declarations
- CellBadCountRebase.lean 3 declarations
- CellChainComposition.lean 8 declarations
- CellChainGeometry.lean 4 declarations
- CellDyadicScales.lean 3 declarations
- CellEnergy.lean 7 declarations
- CellEnergyAE.lean 3 declarations
- CellMeanBounds.lean 3 declarations
- CellOscillationTransfer.lean 2 declarations
- CellRegionMass.lean 2 declarations
- CellVariance.lean 7 declarations
- ClosedNetCellCover.lean 3 declarations
- ConstructedSupportCells.lean 13 declarations
- CountableCellMultiplicity.lean 7 declarations
- DensityCancellation.lean 4 declarations
- EuclideanBallNet.lean 1 declarations
- ExteriorCellMeans.lean 3 declarations
- FarPairingCancellation.lean 1 declarations
- FiniteCoverCutoff.lean 8 declarations
- FiniteFamilyRetractionCover.lean 1 declarations
- FinitePairingCancellation.lean 5 declarations
- FittedCellShadow.lean 2 declarations
- HausdorffFiniteCoverBound.lean 1 declarations
- HeightBallRadiusIndependence.lean 2 declarations
- LatticeDescendantGeometry.lean 12 declarations
- LatticeOscillationTotalMass.lean 2 declarations
- LatticeRadiusAbove.lean 1 declarations
- NativeCellMeanBounds.lean 6 declarations
- NestedCellIndicators.lean 3 declarations
- NestedSeparatedNets.lean 8 declarations
- NetAncestorForcing.lean 2 declarations
- NetAncestors.lean 8 declarations
- NetDeepCores.lean 4 declarations
- NetDescendantCells.lean 10 declarations
- OriginalADCellBadCountBudget.lean 2 declarations
- PointCellChains.lean 3 declarations
- RegularLatticeScales.lean 10 declarations
- RelativeCellMass.lean 2 declarations
- RenormalizedCrossCancellation.lean 2 declarations
- RestrictedCellEnergy.lean 3 declarations
- ScaleAnchorConditioning.lean 1 declarations
- ScaleInvariantExcessPropagation.lean 1 declarations
- ScaledBallBumps.lean 8 declarations
- ScaledHeightData.lean 5 declarations
- ScaledRieszOscillation.lean 4 declarations
- ScaledSourceMeasure.lean 6 declarations
- SeparatedEuclideanCover.lean 2 declarations
- SeparatedNetParents.lean 5 declarations
- SeparatedSupportNets.lean 4 declarations
- SmoothAnnularCellComparison.lean 3 declarations
- SupportCellOverlaps.lean 7 declarations
- SupportCellRoot.lean 2 declarations