OAI/Geometry/Borsuk/FiniteCases/Cases117.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32616 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32617 line 20
3. theorem OAI.BorsukNine.FiniteObstruction.c32618 line 80
4. theorem OAI.BorsukNine.FiniteObstruction.c32620 line 110
5. theorem OAI.BorsukNine.FiniteObstruction.c32621 line 140
6. theorem OAI.BorsukNine.FiniteObstruction.c32622 line 239
7. theorem OAI.BorsukNine.FiniteObstruction.c32623 line 377