`OAI/Geometry/BallPacking/BallMaps/`

187 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

CubicBubbleSeparated.lean 34 declarations
QuadricLargeAmbientPacking.lean 49 declarations
QuadricRelativeShellFlow.lean 35 declarations
SixCubicInnerNormalPacking.lean 23 declarations
SphereCartesianDescent.lean 46 declarations