Theorem CategoryTheory.Limits.terminal.hom_ext

Modification history