OAI/Geometry/Borsuk/FiniteCases/Cases086.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31309 line 12
2. theorem OAI.BorsukNine.FiniteObstruction.c31310 line 21
3. theorem OAI.BorsukNine.FiniteObstruction.c31315 line 144
4. theorem OAI.BorsukNine.FiniteObstruction.c31320 line 153
5. theorem OAI.BorsukNine.FiniteObstruction.c31322 line 162
6. theorem OAI.BorsukNine.FiniteObstruction.c31327 line 180
7. theorem OAI.BorsukNine.FiniteObstruction.c31330 line 189
8. theorem OAI.BorsukNine.FiniteObstruction.c31335 line 219
9. theorem OAI.BorsukNine.FiniteObstruction.c31342 line 237
10. theorem OAI.BorsukNine.FiniteObstruction.c31353 line 246
11. theorem OAI.BorsukNine.FiniteObstruction.c31365 line 264
12. theorem OAI.BorsukNine.FiniteObstruction.c31370 line 273
13. theorem OAI.BorsukNine.FiniteObstruction.c31373 line 282
14. theorem OAI.BorsukNine.FiniteObstruction.c31376 line 412