Theorem CategoryTheory.MonoidalCategory.tensorHom_comp_whiskerLeft

Modification history