∀ {X : Type u_1} [inst : TopologicalSpace X] (Λ Λ_1 : CompactlySupportedContinuousMap X NNReal →ₗ[NNReal] NNReal),
  Λ = Λ_1 →
    ∀ [inst_1 : T2Space X] [inst_2 : LocallyCompactSpace X] [inst_3 : MeasurableSpace X] [inst_4 : BorelSpace X],
      NNRealRMK.rieszMeasure Λ = NNRealRMK.rieszMeasure Λ_1