Theorem CategoryTheory.Limits.Trident.IsLimit.hom_ext

Modification history