Theorem CategoryTheory.Limits.Cowedge.IsColimit.hom_ext

Modification history