Theorem CategoryTheory.Limits.IsInitial.hom_ext

Modification history