OAI/Geometry/IntegralFillings/Optimality/
59 declarations, 0 contain sorry, 0 declared as axioms; 6 files
Files
- BallBoundary.lean 17 declarations
- BallCoarea.lean 6 declarations
- BallCurrent.lean 9 declarations
- BallStokes.lean 13 declarations
- Calibration.lean 11 declarations
- GoodRadius.lean 3 declarations