OAI/Geometry/Borsuk/FiniteCases/Cases142.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32800 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32801 line 20
3. theorem OAI.BorsukNine.FiniteObstruction.c32802 line 32
4. theorem OAI.BorsukNine.FiniteObstruction.c32803 line 95
5. theorem OAI.BorsukNine.FiniteObstruction.c32804 line 176
6. theorem OAI.BorsukNine.FiniteObstruction.c32805 line 317