Theorem CategoryTheory.CartesianMonoidalCategory.lift_snd_fst

Modification history