OAI/Computability/BinPacking/Inventory/PhysicalPoolLift.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.BinPackingGap.PoolTemplates line 14
  2. abbrev OAI.BinPackingGap.PoolTemplates.Globals line 36
  3. abbrev OAI.BinPackingGap.PoolTemplates.Flags line 37
  4. abbrev OAI.BinPackingGap.PoolTemplates.Sample line 38
  5. def OAI.BinPackingGap.PoolTemplates.column line 40
  6. def OAI.BinPackingGap.PoolTemplates.sampleColumn line 43
  7. def OAI.BinPackingGap.PoolTemplates.templateMass line 46
  8. def OAI.BinPackingGap.PoolTemplates.sampleMass line 50
  9. def OAI.BinPackingGap.PoolTemplates.weights line 52
  10. theorem OAI.BinPackingGap.PoolTemplates.templateMass_nonneg line 56
  11. theorem OAI.BinPackingGap.PoolTemplates.global_card_ne_zero line 61
  12. theorem OAI.BinPackingGap.PoolTemplates.flag_card_ne_zero line 66
  13. theorem OAI.BinPackingGap.PoolTemplates.sum_templateMass line 71
  14. theorem OAI.BinPackingGap.PoolTemplates.objective_weights line 79
  15. theorem OAI.BinPackingGap.PoolTemplates.sum_pool_eq line 87
  16. theorem OAI.BinPackingGap.PoolTemplates.template_coverage line 107
  17. theorem OAI.BinPackingGap.PoolTemplates.sum_by_species line 159
  18. theorem OAI.BinPackingGap.PoolTemplates.sum_pool_demands line 173
  19. theorem OAI.BinPackingGap.PoolTemplates.weights_feasible line 195