Theorem CategoryTheory.MonoidalCategory.inv_tensor

Modification history