OAI/Geometry/Borsuk/FiniteCases/Cases089.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31420 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c31421 line 41
3. theorem OAI.BorsukNine.FiniteObstruction.c31422 line 59
4. theorem OAI.BorsukNine.FiniteObstruction.c31423 line 194
5. theorem OAI.BorsukNine.FiniteObstruction.c31425 line 203
6. theorem OAI.BorsukNine.FiniteObstruction.c31426 line 281
7. theorem OAI.BorsukNine.FiniteObstruction.c31427 line 299