Theorem CategoryTheory.CartesianMonoidalCategory.comp_lift

Modification history