Theorem CategoryTheory.Limits.terminal.strict_hom_ext

Modification history