OAI/Analysis/RieszRectifiability/Surfaces/
91 declarations, 0 contain sorry, 0 declared as axioms; 46 files
Files
- ActualNativeSurfaceGeometry.lean 1 declarations
- BallChartPartialMap.lean 4 declarations
- BoundedNormalizedBallCharts.lean 2 declarations
- CenteredPerturbedBallCoverage.lean 2 declarations
- ChartNormalCone.lean 1 declarations
- ChildAndPointChartGluing.lean 1 declarations
- CoherentCellCharts.lean 2 declarations
- ContinuousChartInnerCoverage.lean 1 declarations
- ContinuousPerturbedBallCoverage.lean 1 declarations
- ConvexChartContraction.lean 1 declarations
- FiniteBallChartUnion.lean 3 declarations
- FiniteChartParameterPacking.lean 5 declarations
- FiniteChartUnionBounds.lean 2 declarations
- FittingPlaneInputChart.lean 1 declarations
- ImmediateChildChartAssembly.lean 2 declarations
- ImmediateChildChartRescaling.lean 1 declarations
- InitialAffineCharts.lean 3 declarations
- LipschitzChartLift.lean 1 declarations
- MatchedSurfaceBallDepthCharts.lean 1 declarations
- MatchedSurfaceCellPlanes.lean 1 declarations
- MatchedSurfaceDepthCharts.lean 2 declarations
- MatchedSurfacePrecision.lean 1 declarations
- NativeCoreAreaFraction.lean 4 declarations
- NativeSurfaceArea.lean 6 declarations
- NativeSurfaceRegularity.lean 4 declarations
- OriginalADMatchedSurfaceModels.lean 1 declarations
- OriginalADUniformPrecisionAreaModels.lean 1 declarations
- OriginalADUniformSurfaceBallCharts.lean 1 declarations
- OriginalTopAreaCharges.lean 4 declarations
- ParentChartPlaneHeight.lean 1 declarations
- ParentToChildInputChart.lean 1 declarations
- PerturbedBallCoverage.lean 1 declarations
- PlaneChangeCharts.lean 1 declarations
- PlaneChartBallArea.lean 3 declarations
- PlaneDiskLowerArea.lean 5 declarations
- QuantitativeConvexChartContraction.lean 1 declarations
- RecenteredDiskCharts.lean 1 declarations
- RegionRepresentativeCharts.lean 2 declarations
- RescaledBallCharts.lean 1 declarations
- RescaledChildChartGluing.lean 2 declarations
- RieszFromUniformSurfacePieces.lean 2 declarations
- SurfaceBallCellCover.lean 6 declarations
- SurfaceBallCellMass.lean 1 declarations
- SurfaceBallChartAssembly.lean 1 declarations
- SurfaceBallOriginalMass.lean 2 declarations
- SurfaceBallTransferFoundations.lean 3 imports, no declarations