OAI/Geometry/Borsuk/FiniteCases/Cases082.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31253 line 14
2. theorem OAI.BorsukNine.FiniteObstruction.c31254 line 32
3. theorem OAI.BorsukNine.FiniteObstruction.c31255 line 41
4. theorem OAI.BorsukNine.FiniteObstruction.c31256 line 59
5. theorem OAI.BorsukNine.FiniteObstruction.c31257 line 167
6. theorem OAI.BorsukNine.FiniteObstruction.c31258 line 311
7. theorem OAI.BorsukNine.FiniteObstruction.c31261 line 413
8. theorem OAI.BorsukNine.FiniteObstruction.c31262 line 431