Theorem CategoryTheory.MonoidalCategory.rightUnitor_tensor

Modification history