mathlib3

309e3b08 - feat(category_theory/subobjects): improvements to API (#6932)

feat(category_theory/subobjects): improvements to API (#6932) These additions have been useful while setting up homology. Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Markus Himmel <markus@himmel-villmar.de>