OAI/Geometry/BallPacking/Moduli/
71 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- SmoothZeroCharts.lean 37 declarations
- ZeroCharts.lean 34 declarations
OAI/Geometry/BallPacking/Moduli/71 declarations, 0 contain sorry, 0 declared as axioms; 2 files