OAI/Computability/BinPacking/Configurations/ReductionCompleteness.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinPackingGap.InventoryData.integralGlobalAllocation line 18
2. def OAI.BinPackingGap.InventoryData.integralFlagAllocation line 24
3. theorem OAI.BinPackingGap.InventoryData.integralGlobalAllocation_species line 29
4. theorem OAI.BinPackingGap.InventoryData.integralFlagAllocation_species line 34
5. def OAI.BinPackingGap.InventoryData.integralRoleEquiv line 38
6. theorem OAI.BinPackingGap.InventoryData.integralRoleEquiv_capacity line 47
7. theorem OAI.BinPackingGap.InventoryData.hasPacking_of_localStates line 75
8. theorem OAI.BinPackingGap.InventoryData.ofCompetingTrees_hasPacking line 83
9. theorem OAI.BinPackingGap.cover_hasPacking_reduction line 98