OAI/Geometry/Borsuk/FiniteCases/Cases094.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31463 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c31464 line 44
3. theorem OAI.BorsukNine.FiniteObstruction.c31465 line 53
4. theorem OAI.BorsukNine.FiniteObstruction.c31466 line 170
5. theorem OAI.BorsukNine.FiniteObstruction.c31467 line 278
6. theorem OAI.BorsukNine.FiniteObstruction.c31468 line 419