OAI/Geometry/Borsuk/FiniteCases/Cases125.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32680 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32681 line 23
3. theorem OAI.BorsukNine.FiniteObstruction.c32682 line 149
4. theorem OAI.BorsukNine.FiniteObstruction.c32683 line 317
5. theorem OAI.BorsukNine.FiniteObstruction.c32684 line 326
6. theorem OAI.BorsukNine.FiniteObstruction.c32686 line 392
7. theorem OAI.BorsukNine.FiniteObstruction.c32687 line 407