Follow-up of #29447: two more imports to remove

[faenuccio]

After the huge work in #29447 refactoring and moving many things from NormedSpace to Normed as discussed in this issue two imports remain to be removed:

1. import Mathlib.Analysis.Normed.Module.Basic inside Analysis/LocallyConvex/Polar.lean
2. import Mathlib.Analysis.Normed.MulAction inside Analysis/LocallyConvex/Basic.lean (probably Normed.MulAction should be moved to Normed/Module/MulAction at any rate).