Theorem CategoryTheory.Limits.Fork.IsLimit.lift_ι

Modification history