mathlib
1580cd87 - fix(algebra/big_operators): typo fix (#2704)

Commit

5 years ago

fix(algebra/big_operators): typo fix (#2704) Fix cut-and-paste typos in the doc string for `∑ x, f x`.

Author

jsm28

Parents