Theorem CategoryTheory.CartesianMonoidalCategory.lift_comp_fst_snd

Modification history