Theorem CategoryTheory.CartesianMonoidalCategory.lift_whiskerRight

Modification history