Theorem CategoryTheory.Limits.PullbackCone.IsLimit.lift_fst

Modification history