Theorem CategoryTheory.CartesianMonoidalCategory.lift_braiding_inv

Modification history