Theorem CategoryTheory.Limits.Wedge.IsLimit.hom_ext

Modification history