doc(BigOperators): Expand Finset.sum docstring (#15134) ... to mention the ∑ x, f x notation.
Finset.sum
∑ x, f x