no goals
R : Type u
S : Type v
T : Type w
inst✝² : Ring R
inst✝¹ : Ring S
inst✝ : Ring T
g : S →+* T
f : R →+* S
⊢ Subring.map g (range f) = range (comp g f)
simpa only [range_eq_map] using (⊤ : Subring R).map_map g f