basic): Add `rescale_X` (#15397)

Commit

3 years ago

feat(ring_theory/power_series/basic): Add `rescale_X` (#15397) Co-authored-by: Tyler Raven Billingsley <47119971+tyler-billingsley@users.noreply.github.com>

Author

tyler-billingsley

Parents

dc7ab9e7

mathlib3 2dbbe579 - feat(ring_theory/power_series/basic): Add `rescale_X` (#15397)

mathlib3
2dbbe579 - feat(ring_theory/power_series/basic): Add `rescale_X` (#15397)