no goals
α : Type u_1
β : Type ?u.174734
γ : Type ?u.174737
δ : Type ?u.174740
inst✝² : TopologicalSpace α
inst✝¹ : TopologicalSpace β
inst✝ : TopologicalSpace γ
κ : Type ?u.174752
ι : Type ?u.174755
f : κ → β
g : β → γ
s : Set α
h : Dense s
⊢ DenseRange Subtype.val
simpa only [DenseRange, Subtype.range_coe_subtype]