Topology.ContinuousFunction.Algebra !4#3332

Stream: mathlib4

[Scott Morrison]

@Eric Wieser, the one remaining error in Topology.ContinuousFunction.Algebra !4#3332 is now down to a stray:

-- TODO: move (do not merge)
instance : SubmoduleClass (Subalgebra 𝕜 C(α, 𝕜)) 𝕜 C(α, 𝕜) where
  smul_mem _ _ hx := Subalgebra.smul_mem _ hx _

which you apparently introduced in https://github.com/leanprover-community/mathlib4/commit/ebd129d50c318aadcfe04ffca0bbf96f93f86537. I'm going to delete this now.

[Eric Wieser]

That stray instance was backported and split to a separate PR; so deleting it is indeed the right call