mathlib

331df5a2 - feat(probability/moments): moments and moment generating function of a real random variable (#14755)

feat(probability/moments): moments and moment generating function of a real random variable (#14755) This PR defines moments, central moments, moment generating function and cumulant generating function.