OAI/Geometry/Borsuk/FiniteCases/Cases087.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.BorsukNine.FiniteObstruction.c31377 line 12
  2. theorem OAI.BorsukNine.FiniteObstruction.c31378 line 73
  3. theorem OAI.BorsukNine.FiniteObstruction.c31390 line 91
  4. theorem OAI.BorsukNine.FiniteObstruction.c31392 line 100
  5. theorem OAI.BorsukNine.FiniteObstruction.c31396 line 109
  6. theorem OAI.BorsukNine.FiniteObstruction.c31397 line 146
  7. theorem OAI.BorsukNine.FiniteObstruction.c31398 line 179
  8. theorem OAI.BorsukNine.FiniteObstruction.c31399 line 239
  9. theorem OAI.BorsukNine.FiniteObstruction.c31400 line 287
  10. theorem OAI.BorsukNine.FiniteObstruction.c31401 line 335
  11. theorem OAI.BorsukNine.FiniteObstruction.c31402 line 380
  12. theorem OAI.BorsukNine.FiniteObstruction.c31403 line 398
  13. theorem OAI.BorsukNine.FiniteObstruction.c31404 line 425