Theorem CategoryTheory.Limits.ImageMap.mk.injEq'

Modification history