OAI/Geometry/Borsuk/FiniteCases/Cases137.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32764 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32765 line 68
3. theorem OAI.BorsukNine.FiniteObstruction.c32766 line 188
4. theorem OAI.BorsukNine.FiniteObstruction.c32767 line 248
5. theorem OAI.BorsukNine.FiniteObstruction.c32768 line 287
6. theorem OAI.BorsukNine.FiniteObstruction.c32769 line 353