OAI/Combinatorics/LowSpaceSubsetSum/Storage/StoredTopCoordinates.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Separator coordinate rows built from sampled stored labels

  1. abbrev OAI.LowSpaceSubsetSum.StoredTopCoordinates.width line 11
  2. def OAI.LowSpaceSubsetSum.StoredTopCoordinates.run line 13
  3. theorem OAI.LowSpaceSubsetSum.StoredTopCoordinates.value line 20
  4. theorem OAI.LowSpaceSubsetSum.StoredTopCoordinates.work line 40