OAI/Analysis/RieszRectifiability/Flatness/
220 declarations, 0 contain sorry, 0 declared as axioms; 75 files
Files
- AdjacentCellPlaneDirections.lean 3 declarations
- AffineAnchorBounds.lean 4 declarations
- AffineExteriorDisk.lean 2 declarations
- AffineGraphExcess.lean 2 declarations
- AffineGraphPlane.lean 6 declarations
- AffinePlaneCoordinates.lean 6 declarations
- AffineTubeCover.lean 3 declarations
- AffineTubeMass.lean 5 declarations
- AmbientAffineHeight.lean 4 declarations
- ApproximatePlaneFits.lean 4 declarations
- AssembledAffineHeight.lean 4 declarations
- BetaDescendantTotalMass.lean 2 declarations
- BilateralBeta.lean 10 declarations
- BilateralBetaWitnesses.lean 2 declarations
- BlowupAffineGeometry.lean 9 declarations
- BlowupBilateralBeta.lean 4 declarations
- BoundedAffineConstant.lean 2 declarations
- BoundedPlaneBoxes.lean 13 declarations
- CappedNonflatTangents.lean 2 declarations
- CellFlatAnnularAlternative.lean 1 declarations
- CommonBallPlaneDirections.lean 1 declarations
- ConditionedPlaneComparison.lean 2 declarations
- ContractedAffineHausdorffPatch.lean 1 declarations
- ContractedAffinePatch.lean 4 declarations
- ContractedDirectionTube.lean 3 declarations
- DegreeOnePolynomialAffine.lean 2 declarations
- ExcessSourcePlaneMoments.lean 1 declarations
- FixedPlaneDyadicMoments.lean 1 declarations
- FlatAnnularAlternativeEvents.lean 4 declarations
- FlatCellBadDescendantWitness.lean 1 declarations
- FlatCellCenterTransfer.lean 3 declarations
- FlatCellChainPropagation.lean 1 declarations
- FlatCellGeometry.lean 2 declarations
- FlatCellSeeds.lean 4 declarations
- FlatDescendantAlternative.lean 1 declarations
- FlatDescendantMass.lean 5 declarations
- FlatSeedChainPropagation.lean 2 declarations
- FlatSeedExcess.lean 3 declarations
- FlatSeedGlobalCharge.lean 1 declarations
- FullPlaneDimension.lean 2 declarations
- FullPlaneLowerDimension.lean 3 declarations
- GlobalFlatSeedSelection.lean 2 declarations
- GreedyAffineAnchors.lean 3 declarations
- IntrinsicDirectionalEquation.lean 1 declarations
- IntrinsicHyperplaneNull.lean 1 declarations
- JointPlaneGoodSet.lean 6 declarations
- LocalAnnularFlatBall.lean 1 declarations
- LocalFlatBallExclusion.lean 1 declarations
- LocalFlatBallTransfer.lean 2 declarations
- LocalPlaneDirectionComparison.lean 3 declarations
- MeasuredPlaneComparison.lean 1 declarations
- NeighborCellPlaneDirections.lean 2 declarations
- NonflatAnnularHyperplaneTangent.lean 1 declarations
- NonflatSupportHole.lean 3 declarations
- NormalAffineExcessBridge.lean 1 declarations
- NormalHeightFromPlaneMoments.lean 5 declarations
- NormalHyperplaneTangent.lean 3 declarations
- OpenPlaneBoxes.lean 7 declarations
- PhysicalFlatAnnularAlternative.lean 3 declarations
- PlaneAnchorComparison.lean 3 declarations
- PlaneBoxGrowth.lean 3 declarations
- PlaneChangeCoverage.lean 1 declarations
- PlaneDiskHausdorffMeasure.lean 5 declarations
- PlaneDistanceTransfer.lean 3 declarations
- PlaneMeanCorrectionBump.lean 3 declarations
- PlaneMomentTransfer.lean 2 declarations
- PlanePairingPullback.lean 5 declarations
- PlaneSupportFromMoments.lean 3 declarations
- PlaneTestExtensions.lean 2 declarations
- QuadraticHyperplaneTangent.lean 3 declarations
- QuantitativeFlatAnnularAlternative.lean 1 declarations
- RelativePlaneDimensionDrop.lean 1 declarations
- SmoothAnnularHyperplaneTangent.lean 1 declarations
- UniformMeasuredPlaneComparison.lean 1 declarations
- UniformNonflatTangents.lean 2 declarations