OAI/Geometry/Borsuk/FiniteCases/Cases127.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32692 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32693 line 98
3. theorem OAI.BorsukNine.FiniteObstruction.c32694 line 158
4. theorem OAI.BorsukNine.FiniteObstruction.c32695 line 176
5. theorem OAI.BorsukNine.FiniteObstruction.c32696 line 221
6. theorem OAI.BorsukNine.FiniteObstruction.c32697 line 416
7. theorem OAI.BorsukNine.FiniteObstruction.c32698 line 425