OAI/Geometry/Borsuk/FiniteCases/Cases134.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32729 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32730 line 125
3. theorem OAI.BorsukNine.FiniteObstruction.c32731 line 146
4. theorem OAI.BorsukNine.FiniteObstruction.c32732 line 173
5. theorem OAI.BorsukNine.FiniteObstruction.c32733 line 293
6. theorem OAI.BorsukNine.FiniteObstruction.c32735 line 407