OAI/Geometry/Borsuk/FiniteCases/Cases102.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31526 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c31527 line 200
3. theorem OAI.BorsukNine.FiniteObstruction.c31528 line 263
4. theorem OAI.BorsukNine.FiniteObstruction.c31529 line 293
5. theorem OAI.BorsukNine.FiniteObstruction.c31530 line 398
6. theorem OAI.BorsukNine.FiniteObstruction.c31531 line 422