chore(ring_theory/power_series): rename variables (#4361)
chore(ring_theory/power_series): rename variables (#4361)

Use `R`, `S`, `T` for (semi)rings and `k` for a field.





leanprover-community/mathlib,leanprover-community/mathlib