∀ {α : Type u_2} {ι : Type u_6} {m0 : MeasurableSpace α} {μ ν : MeasureTheory.Measure α} [Countable ι] {s : ι → Set α},
  ⋃ i, s i = Set.univ → (μ = ν ↔ ∀ (i : ι), μ.restrict (s i) = ν.restrict (s i))