OAI/Geometry/Borsuk/FiniteCases/Cases121.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32652 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32653 line 38
3. theorem OAI.BorsukNine.FiniteObstruction.c32654 line 86
4. theorem OAI.BorsukNine.FiniteObstruction.c32655 line 185
5. theorem OAI.BorsukNine.FiniteObstruction.c32656 line 224
6. theorem OAI.BorsukNine.FiniteObstruction.c32657 line 263
7. theorem OAI.BorsukNine.FiniteObstruction.c32658 line 401