Theorem ModuleCat.MonoidalCategory.associator_inv_apply

Modification history