OAI/Geometry/Borsuk/FiniteCases/Cases118.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c32624 line 11
2. theorem OAI.BorsukNine.FiniteObstruction.c32625 line 59
3. theorem OAI.BorsukNine.FiniteObstruction.c32626 line 131
4. theorem OAI.BorsukNine.FiniteObstruction.c32627 line 241
5. theorem OAI.BorsukNine.FiniteObstruction.c32628 line 270
6. theorem OAI.BorsukNine.FiniteObstruction.c32629 line 294
7. theorem OAI.BorsukNine.FiniteObstruction.c32630 line 342