Theorem CategoryTheory.ChosenFiniteProducts.braiding_hom_snd

Modification history