Theorem CategoryTheory.MonoidalCategory.whiskerRight_comp_tensorHom

Modification history