Theorem CategoryTheory.Limits.Wedge.IsLimit.lift_ι

Modification history