Theorem CategoryTheory.MonoidalCategory.inv_hom_id_tensor'

Modification history