refactor(analysis/topology/continuity): use subtype.val_injective (#525)
refactor(analysis/topology/continuity): use subtype.val_injective (#525)


leanprover-community/mathlib,leanprover-community/mathlib