OAI/Combinatorics/LowSpaceSubsetSum/Word/WordSeedFiniteBounds.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Polynomial cost of a bounded finite-range draw

  1. theorem OAI.LowSpaceSubsetSum.WordSeedScalarBounds.fin_bounded_scale line 13