refactor(data/equiv/basic): simplify definition of equiv.set.range (#959)
refactor(data/equiv/basic): simplify definition of equiv.set.range (#959)

* refactor(data/equiv/basic): simplify definition of equiv.set.range

* delete duplicate

leanprover-community/mathlib,leanprover-community/mathlib