OAI/Combinatorics/HadwigerCounterexample/SmallCoverBounds.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Small Cover Bounds

  1. def OAI.HadwigerCounterexample.allSide line 13
  2. def OAI.HadwigerCounterexample.cutDown line 15
  3. def OAI.HadwigerCounterexample.juris line 21
  4. abbrev OAI.HadwigerCounterexample.Daypair line 25
  5. def OAI.HadwigerCounterexample.daypair line 28
  6. def OAI.HadwigerCounterexample.shadow line 33
  7. theorem OAI.HadwigerCounterexample.shadow_valid line 38
  8. theorem OAI.HadwigerCounterexample.tone_vec line 46
  9. theorem OAI.HadwigerCounterexample.shadow_day line 60
  10. theorem OAI.HadwigerCounterexample.day_named line 67
  11. theorem OAI.HadwigerCounterexample.dual_matrix_rank line 89
  12. def OAI.HadwigerCounterexample.circus line 102
  13. theorem OAI.HadwigerCounterexample.circus_rank line 107