OAI/Geometry/Borsuk/FiniteCases/Cases144.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32816 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32817 line 179
3. theorem OAI.BorsukNine.FiniteObstruction.c32820 line 188
4. theorem OAI.BorsukNine.FiniteObstruction.c32824 line 197
5. theorem OAI.BorsukNine.FiniteObstruction.c32829 line 212
6. theorem OAI.BorsukNine.FiniteObstruction.c32830 line 227
7. theorem OAI.BorsukNine.FiniteObstruction.c32831 line 242
8. theorem OAI.BorsukNine.FiniteObstruction.c32833 line 257
9. theorem OAI.BorsukNine.FiniteObstruction.c32851 line 269
10. theorem OAI.BorsukNine.FiniteObstruction.c32853 line 293
11. theorem OAI.BorsukNine.FiniteObstruction.c32864 line 302
12. theorem OAI.BorsukNine.FiniteObstruction.c32865 line 314
13. theorem OAI.BorsukNine.FiniteObstruction.c32867 line 338
14. theorem OAI.BorsukNine.FiniteObstruction.c32868 line 347
15. theorem OAI.BorsukNine.FiniteObstruction.c32871 line 356
16. theorem OAI.BorsukNine.FiniteObstruction.c32873 line 371
17. theorem OAI.BorsukNine.FiniteObstruction.c32878 line 428