Theorem CategoryTheory.CartesianMonoidalCategory.leftUnitor_hom

Modification history