mathlib

be63ea29 - feat(category_theory/abelian): equivalence between subobjects and quotients (#15494)