Theorem CategoryTheory.ChosenFiniteProducts.hom_ext

Modification history