OAI/Geometry/Borsuk/FiniteCases/Cases140.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32781 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32782 line 119
3. theorem OAI.BorsukNine.FiniteObstruction.c32783 line 272
4. theorem OAI.BorsukNine.FiniteObstruction.c32784 line 284
5. theorem OAI.BorsukNine.FiniteObstruction.c32785 line 377
6. theorem OAI.BorsukNine.FiniteObstruction.c32786 line 389
7. theorem OAI.BorsukNine.FiniteObstruction.c32787 line 404
8. theorem OAI.BorsukNine.FiniteObstruction.c32788 line 419