mathlib

5ab177a8 - chore(topology/instances/real): remove instance `real_maps_algebra` (#6920)

chore(topology/instances/real): remove instance `real_maps_algebra` (#6920) Remove ```lean instance reals_semimodule : has_continuous_smul ℝ ℝ instance real_maps_algebra {α : Type*} [topological_space α] : algebra ℝ C(α, ℝ) ``` These are not used explicitly anywhere in the library, I suspect because if needed they can be found by typeclass inference. Deleting them cleans up the import hierarchy by requiring many fewer files to import `topology.continuous_function.algebra`.