OAI/Geometry/Borsuk/FiniteCases/Cases098.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31485 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c31487 line 20
3. theorem OAI.BorsukNine.FiniteObstruction.c31500 line 29
4. theorem OAI.BorsukNine.FiniteObstruction.c31503 line 47
5. theorem OAI.BorsukNine.FiniteObstruction.c31504 line 98
6. theorem OAI.BorsukNine.FiniteObstruction.c31505 line 185
7. theorem OAI.BorsukNine.FiniteObstruction.c31506 line 296
8. theorem OAI.BorsukNine.FiniteObstruction.c31507 line 410