OAI/Geometry/Borsuk/FiniteCases/Cases116.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32606 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32607 line 104
3. theorem OAI.BorsukNine.FiniteObstruction.c32608 line 155
4. theorem OAI.BorsukNine.FiniteObstruction.c32609 line 212
5. theorem OAI.BorsukNine.FiniteObstruction.c32610 line 323
6. theorem OAI.BorsukNine.FiniteObstruction.c32611 line 383
7. theorem OAI.BorsukNine.FiniteObstruction.c32612 line 398
8. theorem OAI.BorsukNine.FiniteObstruction.c32615 line 422