Theorem CategoryTheory.CartesianMonoidalCategory.lift_apply

Modification history