Theorem CategoryTheory.MonoidalCategory.leftUnitor_tensor_hom''

Modification history