Theorem CategoryTheory.Limits.Cowedge.IsColimit.π_desc

Modification history