OAI/Geometry/Borsuk/FiniteCases/Cases113.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.BorsukNine.FiniteObstruction.c32583 line 11
  2. theorem OAI.BorsukNine.FiniteObstruction.c32584 line 53
  3. theorem OAI.BorsukNine.FiniteObstruction.c32585 line 71
  4. theorem OAI.BorsukNine.FiniteObstruction.c32586 line 80
  5. theorem OAI.BorsukNine.FiniteObstruction.c32587 line 104
  6. theorem OAI.BorsukNine.FiniteObstruction.c32588 line 140
  7. theorem OAI.BorsukNine.FiniteObstruction.c32589 line 236
  8. theorem OAI.BorsukNine.FiniteObstruction.c32590 line 296
  9. theorem OAI.BorsukNine.FiniteObstruction.c32591 line 311
  10. theorem OAI.BorsukNine.FiniteObstruction.c32592 line 320
  11. theorem OAI.BorsukNine.FiniteObstruction.c32593 line 365