OAI/Geometry/Borsuk/FiniteCases/Cases138.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32770 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32771 line 83
3. theorem OAI.BorsukNine.FiniteObstruction.c32772 line 152
4. theorem OAI.BorsukNine.FiniteObstruction.c32773 line 167
5. theorem OAI.BorsukNine.FiniteObstruction.c32774 line 212
6. theorem OAI.BorsukNine.FiniteObstruction.c32775 line 317
7. theorem OAI.BorsukNine.FiniteObstruction.c32776 line 377