∀ (R : Type u_1) {S : Type u_2} (T : Type u_3) [inst : CommRing R] [inst_1 : CommRing S] [inst_2 : CommRing T]
  [inst_3 : Algebra R S] [inst_4 : Algebra R T] (M : Submonoid S),
  RingHomClass (Localization (Submonoid.comap (algebraMap (Algebra.Generators.self R S).toExtension.Ring S) M) →ₐ[R] T)
    (Localization (Submonoid.comap (algebraMap (Algebra.Generators.self R S).toExtension.Ring S) M)) T