# Theorem category_theory.limits.image_subobject_factors

#### Modification history

2021-04-09 22:57

src/category_theory/subobject/factor_thru.lean

feat(category_theory/subobjects): improvements to API (#6932) …

Deleted category_theory.limits.image_subobject_factorsView on Github →