Theorem CategoryTheory.Limits.image.lift_mk_factorThruImage

Modification history