OAI/Geometry/CubicTorus/Regularity/
1491 declarations, 0 contain sorry, 0 declared as axioms; 35 files
Files
- BVBlowupComplement.lean 43 declarations
- BVBlowupNormalMeasure.lean 49 declarations
- BVBlowupRigidCovariance.lean 31 declarations
- BVC1Patch.lean 32 declarations
- BVColumnHeight.lean 60 declarations
- BVFlatBlowupRegular.lean 19 declarations
- BVGraphNormalization.lean 32 declarations
- BVLipschitzGraph.lean 31 declarations
- BVMovingOrientedReplacement.lean 18 declarations
- BVNormalTiltMeasure.lean 39 declarations
- BVOrientedGraphCost.lean 41 declarations
- BVPlanarAngularChart.lean 35 declarations
- BVPlanarEssentialBoundary.lean 42 declarations
- BVPlaneAreaCoordinates.lean 51 declarations
- BVRadialVariation.lean 63 declarations
- BVRegularity.lean 84 declarations
- BVStationaryDensity.lean 36 declarations
- BVTangentialBlowup.lean 41 declarations
- CoverEssentialBoundary.lean 19 declarations
- FiberPoint.lean 63 declarations
- GradientCalibration.lean 61 declarations
- GraphNormalExtensionDivergence.lean 19 declarations
- MinimalGraphDensity.lean 45 declarations
- NormalCoverMap.lean 32 declarations
- NormalFirstVariation.lean 55 declarations
- NormalMeasureCoordinatePermutation.lean 44 declarations
- NormalRotationWeak.lean 17 declarations
- SmoothApproxLip.lean 66 declarations
- SurfaceGraphBundleMeasure.lean 59 declarations
- SurfaceH1Tangency.lean 33 declarations
- SurfaceH1Translation.lean 62 declarations
- SurfaceNormalReverse.lean 29 declarations
- TorusC1Boundary.lean 34 declarations
- TranslateNormal.lean 49 declarations
- WeightedPerimeter.lean 57 declarations