Theorem CategoryTheory.Limits.imageSubobjectCompIso_inv_arrow

Modification history