theorem mem_congr_of_measurableSet_cylinderEvents {S : Type u_1} {E : Type u_2} {mE : MeasurableSpace E} {Δ : Set S} {B : Set (S → E)} (hB : MeasurableSet B) {f₁ f₂ : S → E} (h : ∀ i ∈ Δ, f₁ i = f₂ i) : f₁ ∈ B ↔ f₂ ∈ B