∀ {G : Type u_1} [inst : TopologicalSpace G] [inst_1 : AddGroup G] [IsTopologicalAddGroup G]
  [inst_3 : MeasurableSpace G] [BorelSpace G] [LocallyCompactSpace G] [SecondCountableTopology G]
  (μ ν : MeasureTheory.Measure G) [MeasureTheory.SigmaFinite μ] [μ.IsAddLeftInvariant] [ν.IsAddHaarMeasure],
  μ.AbsolutelyContinuous ν