OAI/Geometry/Borsuk/FiniteCases/Cases136.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32741 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32742 line 176
3. theorem OAI.BorsukNine.FiniteObstruction.c32743 line 317
4. theorem OAI.BorsukNine.FiniteObstruction.c32744 line 326
5. theorem OAI.BorsukNine.FiniteObstruction.c32745 line 335
6. theorem OAI.BorsukNine.FiniteObstruction.c32746 line 344
7. theorem OAI.BorsukNine.FiniteObstruction.c32747 line 353
8. theorem OAI.BorsukNine.FiniteObstruction.c32753 line 362
9. theorem OAI.BorsukNine.FiniteObstruction.c32755 line 378
10. theorem OAI.BorsukNine.FiniteObstruction.c32763 line 390