Theorem CategoryTheory.CartesianMonoidalCategory.lift_fst_snd

Modification history