Theorem ModuleCat.MonoidalCategory.rightUnitor_inv_apply

Modification history