OAI/Analysis/RieszRectifiability/Packing/
114 declarations, 0 contain sorry, 0 declared as axioms; 39 files
Files
- ADCellHaarPairs.lean 5 declarations
- ADCoreMassPacking.lean 2 declarations
- ADInteractionPacking.lean 3 declarations
- ADTestFamilyBessel.lean 2 declarations
- AffinePlaneNormalFrame.lean 4 declarations
- BoundedDepthHaarBessel.lean 3 declarations
- CellHaarFunctions.lean 8 declarations
- CellHaarOrthogonality.lean 5 declarations
- CellHaarPairGeometry.lean 10 declarations
- CoarseLevelPacking.lean 2 declarations
- DyadicFittingFrameLimit.lean 2 declarations
- EuclideanPackingBound.lean 2 declarations
- FiniteAnnularCarleson.lean 1 declarations
- FiniteSeedPacking.lean 1 declarations
- FiniteWeightedSchur.lean 2 declarations
- FittingPlaneFrameSubsequence.lean 2 declarations
- FixedCutoffBessel.lean 1 declarations
- HaarAverageGapPacking.lean 1 declarations
- HaarCellMassRatio.lean 4 declarations
- HaarRieszBessel.lean 3 declarations
- HaarTopBallPacking.lean 4 declarations
- IsometricFrameCompactness.lean 2 declarations
- LatticeMassPacking.lean 6 declarations
- LatticeOscillationCarleson.lean 3 declarations
- NoFlatDescendantPacking.lean 2 declarations
- NormalFrameExcessLimit.lean 1 declarations
- NormalFrameSourceEnergy.lean 3 declarations
- OriginalADBetaPacking.lean 1 declarations
- OriginalTestBessel.lean 2 declarations
- OriginalVectorTestBessel.lean 2 declarations
- OrthogonalNormalFrame.lean 4 declarations
- RieszOscillationPacking.lean 4 declarations
- SchurBilinear.lean 1 declarations
- SmallScaleRieszPacking.lean 1 declarations
- UniformAnnularCarleson.lean 1 declarations
- UniformBetaPacking.lean 1 declarations
- UniformSmallScalePacking.lean 4 declarations
- VectorBesselTransfer.lean 5 declarations
- WeightedGramBessel.lean 4 declarations