Theorem CategoryTheory.CartesianMonoidalCategory.lift_leftUnitor_hom

Modification history