Theorem CategoryTheory.Limits.end_.hom_ext

Modification history