`OAI/Geometry/CubicTorus/`

13275 declarations, 0 contain sorry, 0 declared as axioms; 162 files

Folders

Compactness/ 3 files, 122 declarations
Curvature/ 8 files, 300 declarations
Estimates/ 39 files, 1589 declarations
Profiles/ 48 files, 8588 declarations
Reflection/ 23 files, 949 declarations
Regularity/ 35 files, 1491 declarations
Rigidity/ 2 files, 101 declarations
Variation/ 2 files, 71 declarations

Files

Main.lean 46 declarations
Model.lean 18 declarations