Theorem CategoryTheory.Limits.Fork.IsLimit.lift_ι'

Modification history