mathlib

27982536 - Revert "feat(ring_theory/power_series): `X s` commutes with any power series"