Theorem CategoryTheory.Limits.IsColimit.homIso_hom

Modification history