OAI/Geometry/Borsuk/FiniteCases/Cases090.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31428 line 12
2. theorem OAI.BorsukNine.FiniteObstruction.c31429 line 48
3. theorem OAI.BorsukNine.FiniteObstruction.c31430 line 228
4. theorem OAI.BorsukNine.FiniteObstruction.c31431 line 270
5. theorem OAI.BorsukNine.FiniteObstruction.c31432 line 279
6. theorem OAI.BorsukNine.FiniteObstruction.c31433 line 297
7. theorem OAI.BorsukNine.FiniteObstruction.c31434 line 345
8. theorem OAI.BorsukNine.FiniteObstruction.c31435 line 387
9. theorem OAI.BorsukNine.FiniteObstruction.c31436 line 429