Def CategoryTheory.Limits.IsColimit.homEquiv

Modification history