Mathlib

𝔼[X] = ∫ x dℙ. For a density, ∫ x f(x) dx. For a die, (1+⋯+6)/6.