Theorem CategoryTheory.Limits.IsColimit.homEquiv_apply

Modification history