∀ {E : Type u_1} [inst : AddCommGroup E] [inst_1 : Module ℝ E] [inst_2 : TopologicalSpace E] [IsTopologicalAddGroup E]
  [ContinuousSMul ℝ E] {s t : Set E}, t ∈ nhds 0 → Convex ℝ t → Set.MapsTo (gaugeRescale s t) (interior s) (interior t)