OAI/Combinatorics/LowSpaceSubsetSum/Storage/StoredPartitionBlocks.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Extracting actual index lists from the stored balanced labels

  1. def OAI.LowSpaceSubsetSum.StoredPartitionBlocks.domain line 12
  2. theorem OAI.LowSpaceSubsetSum.StoredPartitionBlocks.domain_source line 15
  3. def OAI.LowSpaceSubsetSum.StoredPartitionBlocks.block line 26
  4. theorem OAI.LowSpaceSubsetSum.StoredPartitionBlocks.mem_block line 29
  5. theorem OAI.LowSpaceSubsetSum.StoredPartitionBlocks.nodup line 35
  6. def OAI.LowSpaceSubsetSum.StoredPartitionBlocks.run line 40
  7. theorem OAI.LowSpaceSubsetSum.StoredPartitionBlocks.source line 43
  8. theorem OAI.LowSpaceSubsetSum.StoredPartitionBlocks.length_source line 77