Theorem CategoryTheory.CartesianMonoidalCategory.lift_map

Modification history