Theorem CategoryTheory.MonoidalCategory.leftUnitor_tensor_hom'

Modification history