feat(CategoryTheory/Subobject): extend image subobject API - #42759

feat(CategoryTheory/Subobject): extend image subobject API#42759

mckoen wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

mckoen:subobject-image-lattice-apimckoen/mathlib4:subobject-image-lattice-apiCopy head branch name to clipboard