OAI/Geometry/Borsuk/FiniteCases/Cases129.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32707 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32708 line 32
3. theorem OAI.BorsukNine.FiniteObstruction.c32709 line 44
4. theorem OAI.BorsukNine.FiniteObstruction.c32710 line 206
5. theorem OAI.BorsukNine.FiniteObstruction.c32711 line 221
6. theorem OAI.BorsukNine.FiniteObstruction.c32712 line 383