∀ {E : Type u_4} [inst : AddCommGroup E] [inst_1 : Module ℝ E] [inst_2 : TopologicalSpace E] [IsTopologicalAddGroup E]
  [ContinuousSMul ℝ E] {β : Type u_5} [inst_5 : Preorder β] {f : E → β} {s : Set E} {t : β},
  QuasilinearOn ℝ s f → IsPreconnected (Subtype.val ⁻¹' (f ⁻¹' Set.Iic t))