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
feat(ring_theory/power_series): power series lemmas (#4171) A couple of little lemmas for multiplication and coefficients