OAI/Geometry/BallPacking/
7547 declarations, 0 contain sorry, 0 declared as axioms; 207 files
Folders
- Annuli/ 14 files, 639 declarations
- BallMaps/ 5 files, 187 declarations
- Campanato/ 2 files, 101 declarations
- Cauchy/ 1 files, 71 declarations
- CircleAction/ 3 files, 78 declarations
- Compactness/ 6 files, 186 declarations
- Continuation/ 3 files, 115 declarations
- Degree/ 4 files, 154 declarations
- DiskMaps/ 7 files, 214 declarations
- Energy/ 2 files, 98 declarations
- Flows/ 6 files, 131 declarations
- Forms/ 9 files, 352 declarations
- Fredholm/ 9 files, 427 declarations
- Hamiltonian/ 4 files, 131 declarations
- Holder/ 7 files, 373 declarations
- Hopf/ 4 files, 178 declarations
- Kahler/ 1 files, 90 declarations
- Layers/ 6 files, 159 declarations
- Models/ 7 files, 255 declarations
- Moduli/ 2 files, 71 declarations
- Moments/ 8 files, 382 declarations
- Moser/ 12 files, 436 declarations
- Necessity/ 38 files, 1044 declarations
- Normal/ 6 files, 199 declarations
- Packings/ 1 files, 33 declarations
- Projective/ 3 files, 213 declarations
- RelativeJets/ 2 files, 48 declarations
- Residues/ 1 files, 48 declarations
- Rigidity/ 9 files, 370 declarations
- SurfaceArea/ 11 files, 271 declarations
- Surfaces/ 5 files, 234 declarations
- Toric/ 8 files, 257 declarations
Files
- Main.lean 2 declarations