OAI/Geometry/Borsuk/FiniteCases/Cases084.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31269 line 12
2. theorem OAI.BorsukNine.FiniteObstruction.c31274 line 201
3. theorem OAI.BorsukNine.FiniteObstruction.c31281 line 219
4. theorem OAI.BorsukNine.FiniteObstruction.c31288 line 237
5. theorem OAI.BorsukNine.FiniteObstruction.c31290 line 246
6. theorem OAI.BorsukNine.FiniteObstruction.c31297 line 255
7. theorem OAI.BorsukNine.FiniteObstruction.c31298 line 288
8. theorem OAI.BorsukNine.FiniteObstruction.c31299 line 321
9. theorem OAI.BorsukNine.FiniteObstruction.c31300 line 330
10. theorem OAI.BorsukNine.FiniteObstruction.c31301 line 381
11. theorem OAI.BorsukNine.FiniteObstruction.c31302 line 408