OAI/Geometry/Borsuk/FiniteCases/Cases088.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31405 line 12
2. theorem OAI.BorsukNine.FiniteObstruction.c31406 line 129
3. theorem OAI.BorsukNine.FiniteObstruction.c31407 line 183
4. theorem OAI.BorsukNine.FiniteObstruction.c31408 line 201
5. theorem OAI.BorsukNine.FiniteObstruction.c31409 line 228
6. theorem OAI.BorsukNine.FiniteObstruction.c31410 line 279
7. theorem OAI.BorsukNine.FiniteObstruction.c31412 line 375
8. theorem OAI.BorsukNine.FiniteObstruction.c31419 line 396