Theorem CategoryTheory.Limits.IsColimit.ofIsoColimit_desc

Modification history