OAI/Combinatorics/LowSpaceSubsetSum/Representation/RepresentationLayoutPreparation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Preparing stored layout data and prime widths after the bounded draw

  1. structure OAI.LowSpaceSubsetSum.RepresentationLayoutPreparation.Data line 13
  2. def OAI.LowSpaceSubsetSum.RepresentationLayoutPreparation.run line 19
  3. theorem OAI.LowSpaceSubsetSum.RepresentationLayoutPreparation.prepared line 28
  4. theorem OAI.LowSpaceSubsetSum.RepresentationLayoutPreparation.value line 41
  5. theorem OAI.LowSpaceSubsetSum.RepresentationLayoutPreparation.complete line 62
  6. theorem OAI.LowSpaceSubsetSum.RepresentationLayoutPreparation.work line 71