Theorem CategoryTheory.MonoidalCategory.inv_hom_id_tensor

Modification history