mathlib

54594da2 - fix(category_theory/abelian/transfer): fix a potential timeout (#15262)

fix(category_theory/abelian/transfer): fix a potential timeout (#15262) At `src/category_theory/abelian/transfer.lean` line 149, `abelian_of_adjunction.coimage_iso_image_hom` is on edge of being timed out by any additional simp lemmas, see #15232. This pr squeezed the `simpa` statement.