`OAI/Geometry/BallPacking/Projective/`

213 declarations, 0 contain sorry, 0 declared as axioms; 3 files

Files

AnnularChartHelpers.lean 53 declarations
CubicEndCoordinates.lean 94 declarations
SixLargeCubicPacking.lean 66 declarations