Theorem CategoryTheory.ChosenFiniteProducts.lift_braiding_inv

Modification history