Theorem CategoryTheory.CartesianMonoidalCategory.lift_lift_associator_inv

Modification history