Theorem CategoryTheory.Limits.IsLimit.OfNatIso.homOfCone_coneOfHom

Modification history