OAI/Combinatorics/LowSpaceSubsetSum/Representation/RepresentationBackgroundSource.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact blocks produced by the background preparation

  1. theorem OAI.LowSpaceSubsetSum.RepresentationBackgroundPreparation.size_check line 13
  2. theorem OAI.LowSpaceSubsetSum.RepresentationBackgroundPreparation.complete line 29