Theorem CategoryTheory.Limits.initial.hom_ext

Modification history