Theorem CategoryTheory.MonoidalCategory.leftUnitor_tensor_hom

Modification history