Theorem CategoryTheory.Limits.IsLimit.hom_lift

Modification history