Update Convex.lean

CoolRmal · CoolRmal · commit 8e58080e08b4 · 2026-02-14T08:28:51.000-05:00
diff --git a/Mathlib/Topology/Semicontinuity/Convex.lean b/Mathlib/Topology/Semicontinuity/Convex.lean
@@ -295,5 +295,3 @@ theorem real_univ_sSup_of_nat_affine_eq [HereditarilyLindelofSpace E]
 end Real
 
 end ConvexOn
-
-#min_imports
