Theorem CategoryTheory.Limits.image.ι_zero

Modification history