∀ {ι : Type u_1} (R : ι → Type u_2) {S : ι → Type u_3} [inst : (i : ι) → SetLike (S i) (R i)] {B : (i : ι) → S i}
  [inst_1 : (i : ι) → TopologicalSpace (R i)] [hBopen : Fact (∀ (i : ι), IsOpen ↑(B i))] {G : Type u_4}
  [inst_2 : TopologicalSpace G] [inst_3 : (i : ι) → VAdd G (R i)] [inst_4 : ∀ (i : ι), VAddMemClass (S i) G (R i)]
  [∀ (i : ι), ContinuousVAdd G (R i)],
  ContinuousVAdd G (RestrictedProduct (fun i => R i) (fun i => ↑(B i)) Filter.cofinite)