OAI/NumberTheory/Ostmann/ZeroDensity/SmoothHorizontalLimit.lean
1 declarations, 0 contain sorry, 0 declared as axioms
A zero-avoiding sequence along which both horizontal integrals vanish
- theorem
OAI.Ostmann.smooth_horizontal_integrals_tendstoline 12