OAI/Analysis/RieszRectifiability/Projections/
88 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- AffineProjectionCloseness.lean 2 declarations
- ChartProjectionResidual.lean 2 declarations
- ContractingProjectionRegions.lean 1 declarations
- CountableProjectionLimits.lean 1 declarations
- CoveredProjectionCharts.lean 1 declarations
- FiniteProjectionAveraging.lean 6 declarations
- GlobalProjectionLimit.lean 1 declarations
- NeighborProjectionEstimates.lean 2 declarations
- NoncollapsingPlaneProjection.lean 3 declarations
- NonemptyAffineProjection.lean 3 declarations
- NonemptyAffineProjectionIncrement.lean 2 declarations
- PairwisePlaneProjection.lean 3 declarations
- PlaneChangeProjectedMap.lean 2 declarations
- ProjectedAreaSelection.lean 3 declarations
- ProjectionAverageGlobalIncrement.lean 2 declarations
- ProjectionAverageIncrement.lean 3 declarations
- ProjectionAverageResidualBound.lean 1 declarations
- ProjectionCells.lean 20 declarations
- ProjectionCompactness.lean 1 declarations
- ProjectionConditionedRegions.lean 3 declarations
- ProjectionConeGraph.lean 2 declarations
- ProjectionConeTransfer.lean 2 declarations
- ProjectionDiskCoordinates.lean 1 declarations
- ProjectionDiskLift.lean 4 declarations
- ProjectionOperatorCloseness.lean 2 declarations
- ProjectionPerturbationCone.lean 3 declarations
- ProjectionPieceParameterization.lean 2 declarations
- ProjectionRegionAreaContraction.lean 1 declarations
- ProjectionRegionChildAssembly.lean 2 declarations
- ProjectionRegionDepthCharts.lean 2 declarations
- ProjectionRegionThresholds.lean 1 declarations
- ProjectionSingularLimit.lean 1 declarations
- ProjectionSingularMoments.lean 1 declarations
- ProjectionTubeLocation.lean 2 declarations