Theorem CategoryTheory.CartesianMonoidalCategory.lift_braiding_hom

Modification history