Theorem CategoryTheory.Limits.initial.strict_hom_ext

Modification history