Theorem CategoryTheory.Limits.IsColimit.equivIsoColimit_apply

Modification history