Theorem CategoryTheory.CartesianMonoidalCategory.lift_fst

Modification history