Theorem CategoryTheory.CartesianMonoidalCategory.tensorHom_fst

Modification history