Theorem CategoryTheory.Limits.image.ι_zero'

Modification history