Theorem CategoryTheory.Limits.Cofork.IsColimit.π_desc'

Modification history