`OAI/Geometry/BallPacking/Layers/`

159 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

ConstructedSurfaceLayers.lean 28 declarations
LayerAreaForm.lean 31 declarations
LayerBallEmbedding.lean 13 declarations
ParametricNestedDisks.lean 18 declarations
PlanarRotation.lean 22 declarations
SmoothFormTransport.lean 47 declarations