`OAI/Geometry/Borsuk/`

4997 declarations, 0 contain sorry, 0 declared as axioms; 269 files

Folders

FiniteCases/ 145 files, 4095 declarations
LocalParity/ 13 files, 55 declarations
MatrixGeometry/ 26 files, 165 declarations
Projectors/ 18 files, 133 declarations
Simplicial/ 34 files, 294 declarations
SmithTheory/ 2 files, 13 declarations
SphereGeometry/ 9 files, 77 declarations
Support/ 18 files, 134 declarations
TenLabels/ 1 files, 12 declarations

Files

Counterexample.lean 3 declarations
Main.lean 10 declarations
Model.lean 6 declarations