Theorem CategoryTheory.CartesianMonoidalCategory.lift_snd

Modification history