OAI/Computability/BinPacking/Machines/PackingJobCoverage.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinPackingGap.PackingCounts.shortMainAt line 13
2. theorem OAI.BinPackingGap.PackingCounts.main_unit_species line 20
3. theorem OAI.BinPackingGap.PackingCounts.row_minus_of_global_um line 45
4. theorem OAI.BinPackingGap.PackingCounts.job_covering_global_not_um line 64
5. theorem OAI.BinPackingGap.PackingCounts.zero_resources_job_cover line 75
6. theorem OAI.BinPackingGap.PackingCounts.nonexcluded_covering_subset line 104
7. theorem OAI.BinPackingGap.PackingCounts.nonexcluded_coverage_upper line 128