OAI/Geometry/BallPacking/Hopf/
178 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- AffineHopfRestriction.lean 56 declarations
- DegreeHopfDeformation.lean 41 declarations
- DegreeRelativeShell.lean 37 declarations
- SixLargeQuadricPacking.lean 44 declarations