Commit 2024-07-25 18:06 63341a2e

View on Github →

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

Estimated changes