OAI/Computability/BinPacking/Machines/GraphPackingStockStreams.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BinPackingGap.GraphPackingStockStreams.repeatRecords_rawRecord line 11
2. theorem OAI.BinPackingGap.GraphPackingStockStreams.singleton_chunk_records line 19
3. theorem OAI.BinPackingGap.GraphPackingStockStreams.globalPoolStream_eq_replicate line 27
4. theorem OAI.BinPackingGap.GraphPackingStockStreams.flagPoolStream_eq_replicate line 33
5. theorem OAI.BinPackingGap.GraphPackingStockStreams.globalPool_records line 39
6. theorem OAI.BinPackingGap.GraphPackingStockStreams.flagPool_records line 46
7. theorem OAI.BinPackingGap.GraphPackingStockStreams.globalPool_chunk_records line 53
8. theorem OAI.BinPackingGap.GraphPackingStockStreams.flagPool_chunk_records line 60