Theorem CategoryTheory.Limits.Fork.IsLimit.hom_ext

Modification history