mathlib3

33262e0c - feat(ring_theory/power_series): Added lemmas regarding rescale (#14283)