OAI/Geometry/Borsuk/FiniteCases/Cases095.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31469 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c31470 line 101
3. theorem OAI.BorsukNine.FiniteObstruction.c31471 line 242
4. theorem OAI.BorsukNine.FiniteObstruction.c31472 line 290
5. theorem OAI.BorsukNine.FiniteObstruction.c31473 line 389
6. theorem OAI.BorsukNine.FiniteObstruction.c31474 line 398