OAI/Geometry/BallPacking/SurfaceArea/
271 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- AnnularSecondPositivity.lean 14 declarations
- BoundedPlanarResidue.lean 22 declarations
- CubicRadialEndSmooth.lean 26 declarations
- QuadricEndAnnuli.lean 38 declarations
- QuadricEndResidueMass.lean 32 declarations
- QuadricSmoothExhaustion.lean 36 declarations
- SurfaceCutoffDefect.lean 20 declarations
- SurfaceIntegralIndependence.lean 27 declarations
- SurfaceInteriorBoxes.lean 21 declarations
- SurfacePrimitiveOperator.lean 28 declarations
- SurfaceRedistribution.lean 7 declarations