Theorem CategoryTheory.Limits.IsLimit.OfNatIso.cone_fac

Modification history