Theorem CategoryTheory.CartesianMonoidalCategory.lift_rightUnitor_hom

Modification history