OAI/Geometry/Borsuk/FiniteCases/Cases141.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32789 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32790 line 59
3. theorem OAI.BorsukNine.FiniteObstruction.c32791 line 152
4. theorem OAI.BorsukNine.FiniteObstruction.c32792 line 221
5. theorem OAI.BorsukNine.FiniteObstruction.c32793 line 326
6. theorem OAI.BorsukNine.FiniteObstruction.c32794 line 347
7. theorem OAI.BorsukNine.FiniteObstruction.c32795 line 389