OAI/Geometry/Borsuk/FiniteCases/Cases093.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31455 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c31457 line 38
3. theorem OAI.BorsukNine.FiniteObstruction.c31458 line 101
4. theorem OAI.BorsukNine.FiniteObstruction.c31459 line 143
5. theorem OAI.BorsukNine.FiniteObstruction.c31460 line 161
6. theorem OAI.BorsukNine.FiniteObstruction.c31461 line 233
7. theorem OAI.BorsukNine.FiniteObstruction.c31462 line 356