classical
sorry
E : Type u_1
inst✝² : NormedAddCommGroup E
inst✝¹ : NormedSpace ℝ E
inst✝ : FiniteDimensional ℝ E
s : Set E
f : E → ℝ
hf : ConvexOn ℝ s f
⊢ ContinuousOn f (intrinsicInterior ℝ s)
no goals