refactor(category_theory/equivalence): simplify equivalence.trans (#1114)
refactor(category_theory/equivalence): simplify equivalence.trans (#1114)


leanprover-community/mathlib,leanprover-community/mathlib