refactor(data/equiv/basic): simplify definition of `equiv.of_bijective`
refactor(data/equiv/basic): simplify definition of `equiv.of_bijective`

leanprover-community/mathlib,leanprover-community/mathlib