Theorem CategoryTheory.MonoidalCategory.tensorHom_inv_id

Modification history