Theorem CategoryTheory.CartesianMonoidalCategory.lift_fst_comp_snd_comp

Modification history