OAI/Combinatorics/LowSpaceSubsetSum/Storage/StoredCoordinatePreparation.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Guarded coordinate construction from the stored top-domain labels

  1. abbrev OAI.LowSpaceSubsetSum.StoredCoordinatePreparation.Rows line 12
  2. def OAI.LowSpaceSubsetSum.StoredCoordinatePreparation.run line 14
  3. theorem OAI.LowSpaceSubsetSum.StoredCoordinatePreparation.complete line 22
  4. theorem OAI.LowSpaceSubsetSum.StoredCoordinatePreparation.work line 36