OAI/Combinatorics/HadwigerCounterexample/ProjectionError.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Projection Error

  1. def OAI.HadwigerCounterexample.rebate line 13
  2. theorem OAI.HadwigerCounterexample.rebate_sym line 16
  3. theorem OAI.HadwigerCounterexample.rebate_calc line 18
  4. def OAI.HadwigerCounterexample.lcost line 24
  5. theorem OAI.HadwigerCounterexample.rebate_cost line 26
  6. def OAI.HadwigerCounterexample.syrup line 41
  7. def OAI.HadwigerCounterexample.mcut line 42
  8. theorem OAI.HadwigerCounterexample.syrup_range line 43
  9. theorem OAI.HadwigerCounterexample.mcut_range line 46
  10. theorem OAI.HadwigerCounterexample.jelly line 49
  11. theorem OAI.HadwigerCounterexample.mcut_cost line 70
  12. theorem OAI.HadwigerCounterexample.roster_clip line 80