How to modify the statement

Stream: new members

[tsuki hao]

Does anyone know how to modify the statement?

open ContinuousMap
open Set
open Topology
variable {X E : Type*} [TopologicalSpace X] [NormedAddCommGroup E] [NormedSpace ℝ E]
example (ht : ∀ x, Convex ℝ (t x))
    (H : ∀ x : X, ∃ U ∈ 𝓝 x, ∃ g : X → E, ContinuousOn g U ∧ ∀ y ∈ U, g y ∈ t y) :
    ∃ g : C(X, E), ∀ x, g x ∈ t x :=by sorry

[Eric Wieser]

Please make this a #mwe; your code doesn't have any imports