mathlib3
5b18369a - feat(ring_theory/power_series): coeff multiplication lemmas (#6462)

Commit

4 years ago

feat(ring_theory/power_series): coeff multiplication lemmas (#6462) Some lemmas used in combinatorics, from #4259.

Author

b-mehta

Parents