OAI/Geometry/Borsuk/FiniteCases/Cases078.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31229 line 44
2. theorem OAI.BorsukNine.FiniteObstruction.c31230 line 62
3. theorem OAI.BorsukNine.FiniteObstruction.c31231 line 71
4. theorem OAI.BorsukNine.FiniteObstruction.c31232 line 117
5. theorem OAI.BorsukNine.FiniteObstruction.c31233 line 126
6. theorem OAI.BorsukNine.FiniteObstruction.c31234 line 259
7. theorem OAI.BorsukNine.FiniteObstruction.c31235 line 383