`OAI/Geometry/BallPacking/Normal/`

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

Files

CompactDegenerationTransfer.lean 15 declarations
CompactUniformCentral.lean 18 declarations
CubicToricAmbient.lean 34 declarations
MovingPrimitiveNaturality.lean 37 declarations
QuadricMovingCone.lean 41 declarations
TailLineCoordinates.lean 54 declarations