Def CategoryTheory.Limits.IsColimit.ofIsoColimit

Modification history