Theorem CategoryTheory.MonoidalCategory.whiskerLeft_comp_tensorHom

Modification history