OAI/Geometry/Borsuk/FiniteCases/Cases115.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32600 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32601 line 68
3. theorem OAI.BorsukNine.FiniteObstruction.c32602 line 140
4. theorem OAI.BorsukNine.FiniteObstruction.c32603 line 224
5. theorem OAI.BorsukNine.FiniteObstruction.c32604 line 260
6. theorem OAI.BorsukNine.FiniteObstruction.c32605 line 365