Theorem CategoryTheory.CartesianMonoidalCategory.lift_snd_comp_fst_comp

Modification history