Def CategoryTheory.Limits.IsColimit.ofPointIso

Modification history