mathlib
d500210b - feat(algebra/big_operators): missing lemmas (#2259)

Commit

5 years ago

feat(algebra/big_operators): missing lemmas (#2259) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

Author

sgouezel

Parents