Theorem CategoryTheory.ChosenFiniteProducts.braiding_inv_snd

Modification history