OAI/Combinatorics/LowSpaceSubsetSum/Word/WordPrimeRealization.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Word refinements for the prime calls used in both branches

  1. def OAI.LowSpaceSubsetSum.WordRealization.prime line 12
  2. def OAI.LowSpaceSubsetSum.WordRealization.factor line 19
  3. def OAI.LowSpaceSubsetSum.WordRealization.triplePrime line 26
  4. def OAI.LowSpaceSubsetSum.WordRealization.compression line 32