Commit 2025-12-06 12:38 63575eaa

chore(CategoryTheory/Subobject): remove use of erw in imageSubobjectIso_comp_image_map (#32485)