Theorem CategoryTheory.Limits.imageSubobject_arrow_comp_eq_zero

Modification history