mathlib3
44667ba6 - feat(ring_theory/power_series): power series lemmas (#4171)

Commit

5 years ago

feat(ring_theory/power_series): power series lemmas (#4171) A couple of little lemmas for multiplication and coefficients

Author

b-mehta

Parents