`OAI/MeasureTheory/Falconer/Slicing/`

478 declarations, 0 contain sorry, 0 declared as axioms; 144 files

Files

AffineSliceCoordinates.lean 9 declarations
CommonSliceSelection.lean 2 declarations
DyadicSliceCosts.lean 1 declarations
DyadicSliceSelection.lean 4 declarations
EndpointSliceCosts.lean 4 declarations
EndpointSliceObstruction.lean 1 declarations
GaussianActiveCount.lean 5 declarations
GaussianActiveCover.lean 3 declarations
GaussianActiveFamily.lean 4 declarations
GaussianActiveLoss.lean 1 declarations
GaussianActiveRelation.lean 4 declarations
GaussianAmplification.lean 5 declarations
GaussianBadTripleMass.lean 1 declarations
GaussianBallMeasurable.lean 2 declarations
GaussianBallTruncation.lean 2 declarations
GaussianBand.lean 6 declarations
GaussianBandLower.lean 5 declarations
GaussianBandRestriction.lean 1 declarations
GaussianBox.lean 4 declarations
GaussianChartPairAverage.lean 2 declarations
GaussianChartPairKernel.lean 1 declarations
GaussianChartTripleAverage.lean 4 declarations
GaussianChartTripleKernelMeasurable.lean 1 declarations
GaussianCloseBound.lean 2 declarations
GaussianCloseMass.lean 5 declarations
GaussianControlledIncidence.lean 3 declarations
GaussianControlledLedger.lean 1 declarations
GaussianControlledRows.lean 5 declarations
GaussianConvolution.lean 4 declarations
GaussianDamping.lean 5 declarations
GaussianDensity.lean 4 declarations
GaussianDyadicGeometry.lean 2 declarations
GaussianEndpointExclusion.lean 1 declarations
GaussianEnergy.lean 4 declarations
GaussianFinitePruning.lean 2 declarations
GaussianFourier.lean 6 declarations
GaussianFrostmanTransfer.lean 2 declarations
GaussianFullRank.lean 2 declarations
GaussianGram.lean 2 declarations
GaussianIncidenceAverage.lean 4 declarations
GaussianIncidenceTail.lean 2 declarations
GaussianKernelCoordinates.lean 3 declarations
GaussianKernelGeometry.lean 4 declarations
GaussianLabelCost.lean 3 declarations
GaussianLebesgue.lean 7 declarations
GaussianLocalBand.lean 3 declarations
GaussianLocalization.lean 2 declarations
GaussianLossAbsorption.lean 2 declarations
GaussianMapBalls.lean 2 declarations
GaussianMass.lean 6 declarations
GaussianMomentScale.lean 1 declarations
GaussianMomentWeights.lean 4 declarations
GaussianMultiband.lean 5 declarations
GaussianOriginalCosts.lean 1 declarations
GaussianOriginalSlice.lean 1 declarations
GaussianOrthogonal.lean 2 declarations
GaussianPairBand.lean 4 declarations
GaussianPairGeometry.lean 3 declarations
GaussianPairRestrictions.lean 1 declarations
GaussianParameterSupport.lean 3 declarations
GaussianPlanarChart.lean 1 declarations
GaussianPlanarExclusion.lean 1 declarations
GaussianPointBand.lean 6 declarations
GaussianPointBound.lean 2 declarations
GaussianPointClose.lean 4 declarations
GaussianPointCloseBound.lean 2 declarations
GaussianPointMass.lean 6 declarations
GaussianPointMoment.lean 3 declarations
GaussianPointTruncation.lean 2 declarations
GaussianPolynomialCosts.lean 2 declarations
GaussianPolynomialSlice.lean 2 declarations
GaussianPreservesIndependence.lean 1 declarations
GaussianProjection.lean 1 declarations
GaussianProjectionEnergy.lean 5 declarations
GaussianPrunedBalls.lean 6 declarations
GaussianPrunedIncidence.lean 3 declarations
GaussianPrunedMass.lean 3 declarations
GaussianPrunedPair.lean 4 declarations
GaussianPruningCosts.lean 3 declarations
GaussianPruningLedger.lean 1 declarations
GaussianPruningSets.lean 7 declarations
GaussianRestrictedMass.lean 5 declarations
GaussianRieszKernel.lean 4 declarations
GaussianRieszScaling.lean 1 declarations
GaussianRowDimension.lean 3 declarations
GaussianRowMap.lean 6 declarations
GaussianRowStability.lean 5 declarations
GaussianRows.lean 6 declarations
GaussianScaleBudget.lean 6 declarations
GaussianSelectActive.lean 1 declarations
GaussianSelectActiveCosts.lean 1 declarations
GaussianSelectPruned.lean 3 declarations
GaussianSelectPrunedCosts.lean 1 declarations
GaussianSelectPrunedPairCosts.lean 1 declarations
GaussianSelectionBudget.lean 1 declarations
GaussianShellEnergy.lean 3 declarations
GaussianSlabBox.lean 5 declarations
GaussianSliceBound.lean 2 declarations
GaussianSliceMass.lean 3 declarations
GaussianSliceMean.lean 7 declarations
GaussianSliceMoment.lean 4 declarations
GaussianSliceSupport.lean 2 declarations
GaussianSliceTail.lean 1 declarations
GaussianSmoothing.lean 3 declarations
GaussianSpanRows.lean 5 declarations
GaussianThreshold.lean 4 declarations
GaussianTripleAverage.lean 4 declarations
GaussianTripleBand.lean 2 declarations
GaussianTripleNormalization.lean 2 declarations
GaussianTripleTransversality.lean 1 declarations
GaussianTruncatedTriple.lean 5 declarations
GaussianTubeGeometry.lean 2 declarations
GaussianVectorBand.lean 4 declarations
GnomonicSliceLaw.lean 4 declarations
GramSchmidtMeasurable.lean 2 declarations
GramSchmidtSlab.lean 4 declarations
GramSchmidtVolume.lean 4 declarations
HyperplaneSlice.lean 5 declarations
HyperplaneSliceEnergy.lean 11 declarations
OrientedSlice.lean 5 declarations
OrientedSliceBalls.lean 4 declarations
OscillatoryGaussian.lean 6 declarations
PlanarSliceGeometry.lean 8 declarations
RectangularGramSchmidt.lean 4 declarations
SlabSliceAverage.lean 6 declarations
SliceActiveCount.lean 5 declarations
SliceBallTransfer.lean 2 declarations
SliceBudget.lean 2 declarations
SliceCoordinates.lean 8 declarations
SliceDirectionDeletion.lean 1 declarations
SliceGeometry.lean 9 declarations
SliceIncidence.lean 2 declarations
SliceMapBalls.lean 1 declarations
SliceMass.lean 5 declarations
SliceNormalization.lean 8 declarations
SlicePruningRatios.lean 4 declarations
SliceScaling.lean 2 declarations
SliceSelectionMean.lean 1 declarations
SliceThreeTubeMass.lean 1 declarations
SliceTripleStability.lean 3 declarations
SliceTubeGeometry.lean 2 declarations
SmallGaussianChart.lean 1 declarations
TransverseFrame.lean 2 declarations
UnnormalizedSliceBalls.lean 3 declarations