OAI/Geometry/Borsuk/FiniteCases/Cases119.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32631 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32632 line 20
3. theorem OAI.BorsukNine.FiniteObstruction.c32633 line 59
4. theorem OAI.BorsukNine.FiniteObstruction.c32634 line 212
5. theorem OAI.BorsukNine.FiniteObstruction.c32635 line 221
6. theorem OAI.BorsukNine.FiniteObstruction.c32636 line 257
7. theorem OAI.BorsukNine.FiniteObstruction.c32637 line 302
8. theorem OAI.BorsukNine.FiniteObstruction.c32638 line 332