Theorem CategoryTheory.ChosenFiniteProducts.braiding_eq_braiding

Modification history