Theorem CategoryTheory.Limits.Cofork.IsColimit.π_desc

Modification history