Theorem CategoryTheory.Limits.IsColimit.equivIsoColimit_symm_apply

Modification history