Def CategoryTheory.Limits.IsColimit.ofNatIso

Modification history