Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-20 00:47 44667ba6

View on Github →

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

Estimated changes