Theorem CategoryTheory.CartesianMonoidalCategory.lift_lift_associator_hom

Modification history