no goals
α : Type u_1
β : Type u_2
γ : Type ?u.1357
ι : Sort ?u.1360
π : α → Type ?u.1365
f : α → β
s t : Set α
⊢ restrict s f '' (Subtype.val ⁻¹' t) = f '' (t ∩ s)
rw [restrict_eq, image_comp, image_preimage_eq_inter_range, Subtype.range_coe]