OAI/Combinatorics/LowSpaceSubsetSum/Representation/RepresentationScalarBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Word-sized stored prime moduli and their product

  1. theorem OAI.LowSpaceSubsetSum.RepresentationScalarBounds.prefix_bound line 13
  2. theorem OAI.LowSpaceSubsetSum.RepresentationScalarBounds.moduli_bound line 37
  3. theorem OAI.LowSpaceSubsetSum.RepresentationScalarBounds.extra_bound line 48
  4. theorem OAI.LowSpaceSubsetSum.RepresentationScalarBounds.product_fits line 59