∀ {𝕜 : Type u_1} {E : Type u_2} [inst : SeminormedRing 𝕜] [inst_1 : SMul 𝕜 E] [inst_2 : AddCommMonoid E]
  [inst_3 : PartialOrder 𝕜] {ι : Sort u_3} {s : ι → Set E}, (∀ (i : ι), AbsConvex 𝕜 (s i)) → AbsConvex 𝕜 (⋂ i, s i)