OAI/Geometry/Borsuk/FiniteCases/Cases114.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32594 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32595 line 62
3. theorem OAI.BorsukNine.FiniteObstruction.c32596 line 179
4. theorem OAI.BorsukNine.FiniteObstruction.c32597 line 188
5. theorem OAI.BorsukNine.FiniteObstruction.c32598 line 356
6. theorem OAI.BorsukNine.FiniteObstruction.c32599 line 410