OAI/Combinatorics/HadwigerCounterexample/ProjectedSurrogates.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Projected Surrogates

  1. def OAI.HadwigerCounterexample.bower line 13
  2. theorem OAI.HadwigerCounterexample.book_order line 15
  3. theorem OAI.HadwigerCounterexample.book_nonneg line 21
  4. theorem OAI.HadwigerCounterexample.garden line 24
  5. theorem OAI.HadwigerCounterexample.projected_min line 29
  6. def OAI.HadwigerCounterexample.trayLoss line 49
  7. theorem OAI.HadwigerCounterexample.dresso line 51
  8. theorem OAI.HadwigerCounterexample.density_error line 58
  9. theorem OAI.HadwigerCounterexample.density_trim line 79
  10. theorem OAI.HadwigerCounterexample.cost_gap line 98
  11. theorem OAI.HadwigerCounterexample.density_mend line 109