OAI/Geometry/Borsuk/FiniteCases/Cases120.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32639 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32640 line 20
3. theorem OAI.BorsukNine.FiniteObstruction.c32641 line 29
4. theorem OAI.BorsukNine.FiniteObstruction.c32642 line 38
5. theorem OAI.BorsukNine.FiniteObstruction.c32643 line 47
6. theorem OAI.BorsukNine.FiniteObstruction.c32644 line 56
7. theorem OAI.BorsukNine.FiniteObstruction.c32645 line 65
8. theorem OAI.BorsukNine.FiniteObstruction.c32646 line 74
9. theorem OAI.BorsukNine.FiniteObstruction.c32647 line 164
10. theorem OAI.BorsukNine.FiniteObstruction.c32648 line 236
11. theorem OAI.BorsukNine.FiniteObstruction.c32649 line 245
12. theorem OAI.BorsukNine.FiniteObstruction.c32650 line 299
13. theorem OAI.BorsukNine.FiniteObstruction.c32651 line 422