Theorem CategoryTheory.Limits.biprod.hom_ext

Modification history