Theorem CategoryTheory.MonoidalCategory.tensorHom_comp_whiskerRight

Modification history