mathlib3
accc50ed - chore(data/finsupp): `to_additive` on `on_finset_sum` (#4698)

Commit

5 years ago

chore(data/finsupp): `to_additive` on `on_finset_sum` (#4698)

References

#4925 - Make prime-avoidance branch build

Author

urkud

urkud

Parents

Loading