OAI/Geometry/Borsuk/FiniteCases/Cases092.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31443 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c31444 line 20
3. theorem OAI.BorsukNine.FiniteObstruction.c31445 line 41
4. theorem OAI.BorsukNine.FiniteObstruction.c31446 line 50
5. theorem OAI.BorsukNine.FiniteObstruction.c31447 line 71
6. theorem OAI.BorsukNine.FiniteObstruction.c31448 line 155
7. theorem OAI.BorsukNine.FiniteObstruction.c31449 line 179
8. theorem OAI.BorsukNine.FiniteObstruction.c31450 line 338
9. theorem OAI.BorsukNine.FiniteObstruction.c31451 line 356
10. theorem OAI.BorsukNine.FiniteObstruction.c31452 line 365
11. theorem OAI.BorsukNine.FiniteObstruction.c31453 line 395
12. theorem OAI.BorsukNine.FiniteObstruction.c31454 line 407