Theorem CategoryTheory.Limits.IsLimit.lift_self

Modification history