∀ {X : Type u_3} [inst : TopologicalSpace X] [TopologicalSpace.PseudoMetrizableSpace X] [SecondCountableTopology X]
  [inst_3 : MeasurableSpace X] [BorelSpace X] (μ : MeasureTheory.Measure X) [MeasureTheory.IsLocallyFiniteMeasure μ],
  μ.WeaklyRegular