OAI/Geometry/IntegralFillings/Slicing/
90 declarations, 0 contain sorry, 0 declared as axioms; 15 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
- 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