∀ {X : Type u_1} [inst : TopologicalSpace X] {G : Type u_3} [inst_1 : GroupWithZero G] [inst_2 : MulAction G X]
  [ContinuousConstSMul G X] {c : G} {s : Set X}, c ≠ 0 → IsSimplyConnected (c • s) = IsSimplyConnected s