OAI/Geometry/CAT0Fillings/Slicing/
115 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- BoundaryTests.lean 2 declarations
- CoordinateChart.lean 12 declarations
- CoordinateCoarea.lean 6 declarations
- CoordinateDerivative.lean 6 declarations
- CoordinateIntegral.lean 10 declarations
- CycleCoarea.lean 2 declarations
- EuclideanSplit.lean 10 declarations
- GeneralCoarea.lean 4 declarations
- IntegralBoundary.lean 7 declarations
- Iterated.lean 2 declarations
- NormalRestriction.lean 7 declarations
- ProfileIntegral.lean 4 declarations
- Profiles.lean 9 declarations
- RectifiableCoarea.lean 4 declarations
- ScalarCoarea.lean 5 declarations
- SmoothCutoff.lean 4 declarations
- StripMass.lean 5 declarations
- Superlevels.lean 6 declarations
- WeakRestriction.lean 8 declarations
- WeakSlices.lean 2 declarations