Theorem CategoryTheory.MonoidalCategory.tensor_hom_inv_id'

Modification history