OAI/Computability/BinPacking/Machines/GraphPackingJobCleanup.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinPackingGap.GraphPackingJobs.cleanupPhases line 16
2. def OAI.BinPackingGap.GraphPackingJobs.cleanupWidthTimePolynomial line 25
3. def OAI.BinPackingGap.GraphPackingJobs.cleanupTimePolynomial line 40
4. theorem OAI.BinPackingGap.GraphPackingJobs.cleanup_exec line 43