OAI/NumberTheory/JointDickman/Amplification/IncreasingPartialSummation.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Increasing weights in finite partial summation

  1. lemma OAI.JointDickman.increasing_weighted_sum_range_bound line 9
  2. lemma OAI.JointDickman.increasing_weighted_sum_Icc_bound line 45