OAI/Geometry/Borsuk/FiniteCases/Cases079.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BorsukNine.FiniteObstruction.c31236 line 24
2. theorem OAI.BorsukNine.FiniteObstruction.c31237 line 126
3. theorem OAI.BorsukNine.FiniteObstruction.c31238 line 231
4. theorem OAI.BorsukNine.FiniteObstruction.c31239 line 273
5. theorem OAI.BorsukNine.FiniteObstruction.c31240 line 282
6. theorem OAI.BorsukNine.FiniteObstruction.c31242 line 321
7. theorem OAI.BorsukNine.FiniteObstruction.c31243 line 441