Theorem CategoryTheory.CartesianMonoidalCategory.tensorHom_snd

Modification history