Theorem CategoryTheory.Limits.image.lift_mk_comp

Modification history