OAI/Geometry/Borsuk/FiniteCases/Cases077.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31209 line 25
2. theorem OAI.BorsukNine.FiniteObstruction.c31210 line 49
3. theorem OAI.BorsukNine.FiniteObstruction.c31211 line 73
4. theorem OAI.BorsukNine.FiniteObstruction.c31212 line 97
5. theorem OAI.BorsukNine.FiniteObstruction.c31213 line 121
6. theorem OAI.BorsukNine.FiniteObstruction.c31214 line 145
7. theorem OAI.BorsukNine.FiniteObstruction.c31215 line 169
8. theorem OAI.BorsukNine.FiniteObstruction.c31216 line 193
9. theorem OAI.BorsukNine.FiniteObstruction.c31217 line 217
10. theorem OAI.BorsukNine.FiniteObstruction.c31218 line 241
11. theorem OAI.BorsukNine.FiniteObstruction.c31219 line 265
12. theorem OAI.BorsukNine.FiniteObstruction.c31220 line 289
13. theorem OAI.BorsukNine.FiniteObstruction.c31221 line 313
14. theorem OAI.BorsukNine.FiniteObstruction.c31226 line 337
15. theorem OAI.BorsukNine.FiniteObstruction.c31227 line 347
16. theorem OAI.BorsukNine.FiniteObstruction.c31228 line 360