Theorem CategoryTheory.CartesianMonoidalCategory.lift_whiskerLeft

Modification history