`OAI/Geometry/CylinderCovering/`

5071 declarations, 0 contain sorry, 0 declared as axioms; 602 files

Folders

Angular/ 80 files, 645 declarations
Barycentric/ 25 files, 257 declarations
Beams/ 42 files, 363 declarations
Caps/ 24 files, 266 declarations
Cartesian/ 13 files, 64 declarations
Convexity/ 72 files, 420 declarations
Cubic/ 8 files, 54 declarations
Footprints/ 23 files, 194 declarations
Nilpotent/ 55 files, 387 declarations
Physical/ 38 files, 450 declarations
Radial/ 65 files, 566 declarations
Rational/ 84 files, 692 declarations
Ruled/ 31 files, 274 declarations
Simplex/ 11 files, 111 declarations
Singular/ 29 files, 257 declarations

Files

Main.lean 1 declarations
Results.lean 70 declarations