Def CategoryTheory.Limits.IsColimit.homIso'

Modification history