Theorem CategoryTheory.Limits.imageSubobject_zero_arrow

Modification history