Theorem ModuleCat.MonoidalCategory.leftUnitor_inv_apply

Modification history