Theorem CategoryTheory.Limits.Cotrident.IsColimit.hom_ext

Modification history