Def CategoryTheory.Limits.IsColimit.ofLeftAdjoint

Modification history