OAI/Computability/BinPacking/Configurations/K4Soundness.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinPackingGap.leftIncidencePosition line 11
2. def OAI.BinPackingGap.rightIncidencePosition line 15
3. theorem OAI.BinPackingGap.extractedCover_isCover line 19
4. theorem OAI.BinPackingGap.packing_extracts_cover line 60
5. theorem OAI.BinPackingGap.completeFourGraph_reduction_no_packing line 74
6. theorem OAI.BinPackingGap.completeFourGraph_reduction_opt_gap line 82