∀ {α : Type u_1} [inst : MeasurableSpace α] [inst_1 : TopologicalSpace α] [SecondCountableTopology α]
  [TopologicalSpace.IsCompletelyPseudoMetrizableSpace α] [BorelSpace α] (μ : MeasureTheory.Measure α),
  μ.InnerRegularCompactLTTop