mathlib3
47b62ea4 - feat(algebra/big_operators): add lemmas about `sum` and `pi.single` (#6390)

Commit

4 years ago

feat(algebra/big_operators): add lemmas about `sum` and `pi.single` (#6390)

Author

urkud

urkud

Parents

Loading