OAI/Combinatorics/LowSpaceSubsetSum/Representation/RepresentationReportCells.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The concrete parent reporter, including key and dictionary scratch

  1. def OAI.LowSpaceSubsetSum.RepresentationReportCells.report line 12
  2. theorem OAI.LowSpaceSubsetSum.RepresentationReportCells.report_value line 23
  3. theorem OAI.LowSpaceSubsetSum.RepresentationReportCells.report_cells line 30
  4. theorem OAI.LowSpaceSubsetSum.RepresentationReportCells.report_scale line 45