mathlib3

eca55c9a - feat(category_theory/equivalence): injectivity simp lemmas for equivalences (#3437)