OAI/Geometry/Borsuk/FiniteCases/Cases123.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32663 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32664 line 50
3. theorem OAI.BorsukNine.FiniteObstruction.c32665 line 68
4. theorem OAI.BorsukNine.FiniteObstruction.c32666 line 80
5. theorem OAI.BorsukNine.FiniteObstruction.c32667 line 167
6. theorem OAI.BorsukNine.FiniteObstruction.c32668 line 200
7. theorem OAI.BorsukNine.FiniteObstruction.c32669 line 383