mathlib

b6b90e28 - fix(ring_theory/power_series/basic): fix algebra arguments (#6065)

fix(ring_theory/power_series/basic): fix algebra arguments (#6065) `power_series` is just an alias for `mv_power_series` over `unit`, yet it did not correctly inherit the algebra instance