Theorem CategoryTheory.Limits.IsLimit.OfNatIso.coneOfHom_homOfCone

Modification history