setprod -> prod
setsum -> sum
Probability: variant of central limit theorem with non-zero mean --HG-- extra : rebase_source : bc2f3f4b3f7627a3f539c71eec5a9e760d3206e3
Probability: tuned headers; cleanup Radon_Nikodym --HG-- extra : rebase_source : b1923775a469aec44566a1d1da6c9d6e69cb0de4
eliminated old 'def'; tuned comments;
add the proof of the central limit theorem --HG-- extra : rebase_source : 493d99e28392771c51f4102a11b90533880e289f extra : amend_source : 3fb7b7c607104e57a2c3ba7f733dd570eb42fa3b