OAI/Analysis/RieszRectifiability/Restart/
346 declarations, 0 contain sorry, 0 declared as axioms; 128 files
Files
- ActiveCellChildImageMass.lean 4 declarations
- ActiveCellDeficitAssembly.lean 3 declarations
- ActiveCellFinitePieceAssembly.lean 2 declarations
- ActiveCellFinitePieceMassFraction.lean 2 declarations
- ActiveCellMassArea.lean 2 declarations
- ActiveCellNormalizedAssembly.lean 1 declarations
- ActiveCellPieceSelection.lean 6 declarations
- ActiveCellSurfaceApproximation.lean 2 declarations
- ActiveLevelCenterPartition.lean 1 declarations
- ActiveLevelCover.lean 4 declarations
- ActiveLevelLocalMass.lean 2 declarations
- ActiveLevelOriginalMass.lean 3 declarations
- ActiveLevelPacking.lean 1 declarations
- ActiveLevelProjectionMaps.lean 6 declarations
- ActiveLevelWeightStability.lean 3 declarations
- ActiveLevelWeights.lean 9 declarations
- ActiveProjectionAmbientBounds.lean 3 declarations
- ActiveProjectionDiskCoverage.lean 3 declarations
- ActiveProjectionGlobalLipschitz.lean 2 declarations
- ActiveProjectionLocalComparison.lean 4 declarations
- ActiveProjectionLocalGraph.lean 2 declarations
- ActiveProjectionReplacementChart.lean 1 declarations
- ActiveProjectionSurfaceBounds.lean 2 declarations
- ActiveRegionAllRadiusLowerArea.lean 4 declarations
- ActiveRegionAllScaleContraction.lean 2 declarations
- ActiveRegionAllScaleForwardFlatness.lean 6 declarations
- ActiveRegionCellContraction.lean 1 declarations
- ActiveRegionCells.lean 7 declarations
- ActiveRegionChartLift.lean 2 declarations
- ActiveRegionExteriorPlane.lean 2 declarations
- ActiveRegionFineLimitModel.lean 2 declarations
- ActiveRegionFiniteDistortion.lean 1 declarations
- ActiveRegionHighMatchedProjection.lean 1 declarations
- ActiveRegionHighScaleContraction.lean 1 declarations
- ActiveRegionHighScaleInnerDisk.lean 1 declarations
- ActiveRegionHighScaleLocalArea.lean 2 declarations
- ActiveRegionLargeBallContraction.lean 1 declarations
- ActiveRegionLargeMatchedProjection.lean 1 declarations
- ActiveRegionLargeRadiusLowerArea.lean 4 declarations
- ActiveRegionLargeScaleArea.lean 3 declarations
- ActiveRegionLargeScaleCharts.lean 1 declarations
- ActiveRegionLimitCapture.lean 1 declarations
- ActiveRegionLimitCharts.lean 1 declarations
- ActiveRegionLimitEmbedding.lean 2 declarations
- ActiveRegionLimitFlatness.lean 3 declarations
- ActiveRegionLimitModel.lean 3 declarations
- ActiveRegionLimitProjectionCoverage.lean 2 declarations
- ActiveRegionLocalChartArea.lean 2 declarations
- ActiveRegionLocalPositiveCharge.lean 1 declarations
- ActiveRegionLocalStabilization.lean 2 declarations
- ActiveRegionLocalUpperArea.lean 4 declarations
- ActiveRegionLowMatchedProjection.lean 1 declarations
- ActiveRegionLowScaleContraction.lean 2 declarations
- ActiveRegionMatchedProjection.lean 1 declarations
- ActiveRegionMediumScaleContraction.lean 1 declarations
- ActiveRegionPieceLoss.lean 2 declarations
- ActiveRegionPositiveLocalLowerArea.lean 6 declarations
- ActiveRegionPositiveMatchedProjection.lean 1 declarations
- ActiveRegionPositiveScaleArea.lean 3 declarations
- ActiveRegionPositiveScaleBiCharts.lean 1 declarations
- ActiveRegionPositiveScaleCharts.lean 1 declarations
- ActiveRegionPositiveScaleContraction.lean 1 declarations
- ActiveRegionPositiveScaleFlatness.lean 2 declarations
- ActiveRegionPositiveScaleInnerDisk.lean 1 declarations
- ActiveRegionPositiveScaleProjectionCharts.lean 1 declarations
- ActiveRegionSmallRadiusLowerArea.lean 8 declarations
- ActiveRegionSmallScaleArea.lean 3 declarations
- ActiveRegionStabilization.lean 3 declarations
- ActiveRegionStopCoreLowerArea.lean 2 declarations
- ActiveRegionStopCoreStabilization.lean 1 declarations
- ActiveRegionStopMassArea.lean 5 declarations
- ActiveRegionStoppingBallArea.lean 2 declarations
- ActiveRegionStoppingScale.lean 10 declarations
- ActiveRegionSurfaceApproximation.lean 2 declarations
- ActiveRegionSurfaceModel.lean 2 declarations
- ActiveRegionSurfaces.lean 6 declarations
- ActiveRegionTransitionDistortion.lean 1 declarations
- ActiveRegionTransitionMovement.lean 1 declarations
- ActiveRegionTransitionResidual.lean 1 declarations
- ActiveRegionTransitions.lean 4 declarations
- ActiveRegionUniformArea.lean 3 declarations
- ActiveRegionUniformLimit.lean 1 declarations
- ActiveRegionZeroLocalArea.lean 3 declarations
- ActiveRegionZeroSet.lean 5 declarations
- ActiveRegionZeroSetArea.lean 3 declarations
- ActiveRegionZeroSetCapture.lean 1 declarations
- ActiveRequestedScaleSelection.lean 1 declarations
- ActiveScaleBallSelection.lean 2 declarations
- ActiveSuccessorFiveBall.lean 3 declarations
- ActiveSurfaceChartInductionStep.lean 2 declarations
- ActiveSurfaceChartStep.lean 1 declarations
- ActiveSurfaceCharts.lean 4 declarations
- ActiveSurfaceInitialCharts.lean 1 declarations
- ActiveSurfaceInnerCone.lean 1 declarations
- ActiveSurfaceNonCollapse.lean 2 declarations
- ActiveSurfaceSuccessorMovement.lean 3 declarations
- ActiveSurfaceTransitionTools.lean 4 imports, no declarations
- BadBetaRestartPacking.lean 1 declarations
- BadBetaStopping.lean 5 declarations
- BadDepthAndRestartLossBudget.lean 2 declarations
- CappedStopPairScale.lean 1 declarations
- CappedStoppingDistance.lean 8 declarations
- CellRegionStopping.lean 7 declarations
- CellRestartPacking.lean 3 declarations
- CleanCellChartTargetBridge.lean 2 declarations
- CleanSupportPartition.lean 13 declarations
- CoherentStoppingDichotomy.lean 3 declarations
- GoodRegionRestartAssembly.lean 3 declarations
- NativeSurfaceStopCoverage.lean 3 declarations
- OriginalADActiveRegionAllRadiusAreaModel.lean 1 declarations
- OriginalADActiveRegionAreaModel.lean 1 declarations
- OriginalADActiveRegionContractibleAreaModel.lean 1 declarations
- OriginalADActiveRegionEmbeddedAreaModel.lean 1 declarations
- OriginalADActiveRegionLocalUpperAreaModel.lean 1 declarations
- OriginalADRestartCoverage.lean 2 declarations
- OriginalADUniformRestartSurfacePieces.lean 1 declarations
- ProjectionStopShadowMass.lean 3 declarations
- RestartChartStepBounds.lean 6 declarations
- RestartCoverageInduction.lean 3 declarations
- RestartLossBudget.lean 2 declarations
- SelectedRestartAreaLoss.lean 2 declarations
- SelectedRestartAssembly.lean 5 declarations
- SelectedRestartBallChartData.lean 2 declarations
- SelectedRestartGeometry.lean 6 declarations
- SelectedRestartTree.lean 8 declarations
- SelectedStopChildGluing.lean 1 declarations
- SelectedStopCoreGeometry.lean 3 declarations
- StoppingCoreSeparation.lean 4 declarations