∀ (𝕜 : Type u_2) (E : Type u_1) [inst : RCLike 𝕜] [inst_1 : AddCommGroup E] [inst_2 : TopologicalSpace E]
  [inst_3 : Module 𝕜 E] [inst_4 : Module ℝ E] [ContinuousSMul ℝ E] (s : AbsConvexOpenSets 𝕜 E), Absorbent ℝ ↑s