Nonarithmetic distribution (source code)

= Nonarithmetic distribution

A <probability distribution> is <nonarithmetic distribution>[nonarithmetic] when it is not concentrated on $d\mathbb Z$ for any $d>0$. Every law with a <probability density> is <nonarithmetic distribution>[nonarithmetic]. This hypothesis removes lattice oscillations from the <key renewal theorem>.