hypothesis can be weakened

[affeldt-aist]

analysis/theories/probability.v

Line 1835 in c55da8c

Lemma exponential_pdf_ge0 x : 0 <= exponential_pdf x.

to rate >= 0, see the branch prob_lang