Theorem CategoryTheory.MonoidalCategory.rightUnitor_tensor_hom

Modification history