OAI/Geometry/Borsuk/FiniteCases/Cases143.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32806 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32807 line 53
3. theorem OAI.BorsukNine.FiniteObstruction.c32808 line 83
4. theorem OAI.BorsukNine.FiniteObstruction.c32809 line 170
5. theorem OAI.BorsukNine.FiniteObstruction.c32810 line 179
6. theorem OAI.BorsukNine.FiniteObstruction.c32811 line 230
7. theorem OAI.BorsukNine.FiniteObstruction.c32812 line 248
8. theorem OAI.BorsukNine.FiniteObstruction.c32813 line 266
9. theorem OAI.BorsukNine.FiniteObstruction.c32814 line 380
10. theorem OAI.BorsukNine.FiniteObstruction.c32815 line 401