OAI/Combinatorics/LowSpaceSubsetSum/Streams/PairCursor.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Attach one fixed first-array occurrence to a shared-array row reader

  1. structure OAI.LowSpaceSubsetSum.PairCursor.State line 12
  2. def OAI.LowSpaceSubsetSum.PairCursor.next line 16
  3. def OAI.LowSpaceSubsetSum.PairCursor.output line 19
  4. theorem OAI.LowSpaceSubsetSum.PairCursor.reader line 22