OAI/Geometry/Borsuk/FiniteCases/Cases083.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31263 line 13
2. theorem OAI.BorsukNine.FiniteObstruction.c31264 line 41
3. theorem OAI.BorsukNine.FiniteObstruction.c31265 line 153
4. theorem OAI.BorsukNine.FiniteObstruction.c31266 line 210
5. theorem OAI.BorsukNine.FiniteObstruction.c31267 line 279
6. theorem OAI.BorsukNine.FiniteObstruction.c31268 line 381