Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-15 23:14 2dbbe579

View on Github →

feat(ring_theory/power_series/basic): Add rescale_X (#15397)

Estimated changes

added theorem power_series.rescale_X