Def CategoryTheory.Limits.IsColimit.equivOfNatIsoOfIso

Modification history