Theorem CategoryTheory.ChosenFiniteProducts.braiding_hom_fst

Modification history