OAI/NumberTheory/Ostmann/Arithmetic/RangedPairUniformDecay.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

One-sided numerical decay uniform over the growing prime-coordinate space

  1. theorem OAI.Ostmann.eventual_ranged_word_pair_decay_uniform line 11
  2. theorem OAI.Ostmann.eventual_ranged_pair_decay_from_data_uniform line 55