Theorem category_theory.limits.kernel_subobject_factors_iff
Modification history
2021-04-14 23:14
src/category_theory/subobject/factor_thru.lean
chore(category_theory/subobject): split off specific subobjects (#7167)
Modified category_theory.limits.kernel_subobject_factors_iffView on Github →