OAI/NumberTheory/JointDickman/Analysis/RieszHingeBounds.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Monotone finite-difference bounds for positive Riesz weights

  1. theorem OAI.JointDickman.hinge_difference_bounds line 11
  2. theorem OAI.JointDickman.finite_riesz_difference_bounds line 27