OAI/Geometry/Borsuk/FiniteCases/Cases100.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31512 line 12
2. theorem OAI.BorsukNine.FiniteObstruction.c31513 line 45
3. theorem OAI.BorsukNine.FiniteObstruction.c31514 line 132
4. theorem OAI.BorsukNine.FiniteObstruction.c31516 line 189
5. theorem OAI.BorsukNine.FiniteObstruction.c31517 line 252
6. theorem OAI.BorsukNine.FiniteObstruction.c31518 line 345
7. theorem OAI.BorsukNine.FiniteObstruction.c31519 line 396