Theorem CategoryTheory.ChosenFiniteProducts.lift_braiding_hom

Modification history